Normal extension: Difference between revisions
Jump to navigation
Jump to search
imported>Richard Pinch (New entry, just a placeholder, needs more work) |
imported>Richard Pinch (added anchor Normal closure) |
||
| Line 1: | Line 1: | ||
In [[algebra]], a '''normal extension''' of [[field (mathematics)|fields]] is a [[field extension]] ''E''/''F'' which contains all the roots of an irreducible polynomial if it contains one such root. | In [[algebra]], a '''normal extension''' of [[field (mathematics)|fields]] is a [[field extension]] ''E''/''F'' which contains all the roots of an irreducible polynomial if it contains one such root. | ||
A '''normal closure''' is a normal extension ''N''/''F'' with the property that no subfield of ''N'' is a normal extension of ''F''. Given any finite degree extension ''E''/''F'' there is a minimal finite degree normal extension ''N'' containing ''E'': this will be "the" normal closure of ''E'' over ''F''; any two normal closures are ''L''-isomorphic. | |||
Revision as of 11:57, 20 December 2008
In algebra, a normal extension of fields is a field extension E/F which contains all the roots of an irreducible polynomial if it contains one such root.
A normal closure is a normal extension N/F with the property that no subfield of N is a normal extension of F. Given any finite degree extension E/F there is a minimal finite degree normal extension N containing E: this will be "the" normal closure of E over F; any two normal closures are L-isomorphic.