MathNugget
Junior Member
- Joined
- Feb 1, 2024
- Messages
- 195
Reference for radical extensions: https://en.wikipedia.org/wiki/Radical_extension#:~:text=Solvability by radicals,-Radical extensions occur&text=In fact a solution in,a radical extension of K.
Short summary: a field extension K/k is simple radical if K=k[α], and αn=a, for some a∈k and an n∈Q (probably definition works over a bigger field, but let's make the problem easier).
A (general) radical extension is a set of simple radical extensions F1⊂F2⊂F3..., with each Fi−1⊂Fi simple radical...
Well, we first break the polynomial up a little: f(x)=3x6−5x5+x2=x2(3x4−5x3+1). As x2 provides nothing to the extension, I am left with a 4th degree polynomial. According to the internet, Abel–Ruffini theorem says "if the degree of the polynomial is less or equal to 4, it's definitely solvable by radicals". I guess this completes the proof? the field extension is now generated by some radicals...
Short summary: a field extension K/k is simple radical if K=k[α], and αn=a, for some a∈k and an n∈Q (probably definition works over a bigger field, but let's make the problem easier).
A (general) radical extension is a set of simple radical extensions F1⊂F2⊂F3..., with each Fi−1⊂Fi simple radical...
Well, we first break the polynomial up a little: f(x)=3x6−5x5+x2=x2(3x4−5x3+1). As x2 provides nothing to the extension, I am left with a 4th degree polynomial. According to the internet, Abel–Ruffini theorem says "if the degree of the polynomial is less or equal to 4, it's definitely solvable by radicals". I guess this completes the proof? the field extension is now generated by some radicals...
Last edited: