Homepage › Solution manuals › David A. Cox › Galois Theory › Exercise 5.2.2
Exercise 5.2.2
Prove that an algebraic extension is normal if and only if for every , the minimal polynomial of over splits completely over .
Answers
Proof. Let a normal extension. Let . Its minimal polynomial is irreducible, thus this polynomial splits completely over by definition of a normal extension.
Conversely, suppose that every is such that its minimal polynomial splits completely over .
Let any irreducible polynomial, and a root of in . Then is the minimal polynomial of over . So splits completely over by hypothesis. Hence every irreducible polynomial which has a root in splits completely over . So the extension is normal. □