- #1
demonelite123
- 219
- 0
Show that [itex] x^3 + 6x^2 - 12x + 2 [/itex] is irreducible in [itex] \mathbb{Q} [/itex] as well as in [itex] \mathbb{Q}(\sqrt[5]{2})[/itex].
the first part i have no trouble with since it follows straight from Eisenstein's Irreducibility Criterion. For the second part i am pretty confused though. i tried looking at the solution to help me understand it but i wasn't sure what the solution did.
They say that [itex] [\mathbb{Q}(\sqrt[5]{2}): \mathbb{Q}] = 5 [/itex] and i understand that since [itex] \sqrt[5]{2} [/itex] is the root of irreducible [itex] x^5 - 2 [/itex] so the degree of the field extension is 5. They then said that if [itex] x^3 + 6x^2 - 12x + 2 [/itex] was reducible, then it would have a linear factor and then there would be a root in [itex] \mathbb{Q}(\sqrt[5]{2}) [/itex]. Then since this root has degree 3 and since 3 does not divide 5, then [itex] x^3 + 6x^2 - 12x + 2 [/itex] is irreducible in [itex] \mathbb{Q}(\sqrt[5]{2})[/itex].
i do not understand the part about the 3 not dividing the 5. I assume they are using the theorem that says [F:K] = [F:E][E:K] if K is a subfield of E and E is a subfield of F. i suspect that this theorem is being used but i don't know how they are using it exactly. can someone help explain? thanks
the first part i have no trouble with since it follows straight from Eisenstein's Irreducibility Criterion. For the second part i am pretty confused though. i tried looking at the solution to help me understand it but i wasn't sure what the solution did.
They say that [itex] [\mathbb{Q}(\sqrt[5]{2}): \mathbb{Q}] = 5 [/itex] and i understand that since [itex] \sqrt[5]{2} [/itex] is the root of irreducible [itex] x^5 - 2 [/itex] so the degree of the field extension is 5. They then said that if [itex] x^3 + 6x^2 - 12x + 2 [/itex] was reducible, then it would have a linear factor and then there would be a root in [itex] \mathbb{Q}(\sqrt[5]{2}) [/itex]. Then since this root has degree 3 and since 3 does not divide 5, then [itex] x^3 + 6x^2 - 12x + 2 [/itex] is irreducible in [itex] \mathbb{Q}(\sqrt[5]{2})[/itex].
i do not understand the part about the 3 not dividing the 5. I assume they are using the theorem that says [F:K] = [F:E][E:K] if K is a subfield of E and E is a subfield of F. i suspect that this theorem is being used but i don't know how they are using it exactly. can someone help explain? thanks