Расширение алгебраического поля
В абстрактной алгебре нормальное расширение — это расширение алгебраического поля L / K , для которого каждый неприводимый многочлен над K , имеющий корень в L , распадается на линейные множители в L. Это одно из условий того, что алгебраическое расширение является расширением Галуа . Бурбаки называет такое расширение квази-расширением Галуа . Для конечных расширений нормальное расширение идентично полю разложения .
Определение
Пусть — алгебраическое расширение (т. е. L — алгебраическое расширение K ), такое что (т. е. L содержится в алгебраическом замыкании K ) . Тогда следующие условия, любое из которых можно рассматривать как определение нормального расширения , эквивалентны: ![{\displaystyle L/K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L\subseteq {\overline {K}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждое вложение L в над K индуцирует автоморфизм L .
![{\displaystyle {\overline {K}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- L — поле расщепления семейства полиномов в .
![{\displaystyle K[X]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Каждый неприводимый многочлен, имеющий корень в L , распадается на линейные множители в L.
![{\displaystyle K[X]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Другие объекты недвижимости
Пусть L — расширение поля K. Затем:
- Если L — нормальное расширение K и если E — промежуточное расширение (т. е. L ⊇ E ⊇ K ) , то L — нормальное расширение E.
- Если E и F — нормальные расширения K , содержащиеся в L , то композит EF и E ∩ F также являются нормальными расширениями K.
Эквивалентные условия нормальности
Пусть будет алгебраическим. Поле L является нормальным расширением тогда и только тогда, когда выполняется любое из приведенных ниже эквивалентных условий.![{\displaystyle L/K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Минимальный многочлен над K каждого элемента в L распадается в L ;
- Существует набор полиномов, каждый из которых расщепляется по L , такой, что если это поля, то S имеет полином, который не расщепляется в F ;
![{\displaystyle S\subseteq K[x]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K\subseteq F\subsetneq L}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Все гомоморфизмы , фиксирующие все элементы из K , имеют один и тот же образ;
![{\displaystyle L\to {\bar {K}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Группа автоморфизмов L, фиксирующих все элементы K , действует транзитивно на множестве гомоморфизмов , фиксирующих все элементы K.
![{\displaystyle {\text{Aut}}(L/K),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L\to {\bar {K}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Примеры и контрпримеры
Например, является нормальным расширением так как является полем разложения С С другой стороны, не является нормальным расширением так как неприводимый многочлен имеет в нем один корень (а именно ), но не все из них (он не имеет недействительные кубические корни из 2). Напомним, что поле алгебраических чисел является алгебраическим замыканием и, следовательно, содержит пусть примитивный кубический корень из единицы. Тогда, поскольку
карта
является вложением, ограничением которого является тождество. Однако это не автоморфизм![{\displaystyle \mathbb {Q} ({\sqrt {2}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x^{2}-2.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x^{3}-2}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\sqrt[{3}]{2}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mathbb {Q} }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ омега }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}})=\left.\left\{a+b{\sqrt[{3}]{2}}+c{\sqrt [{3}]{4}}\in {\overline {\mathbb {Q} }}\,\,\right|\,\,a,b,c\in \mathbb {Q} \right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{cases}\sigma :\mathbb {Q} ({\sqrt[{3}]{2}})\longrightarrow {\overline {\mathbb {Q} }}\\a+b{ \sqrt[{3}]{2}}+c{\sqrt[{3}]{4}}\longmapsto a+b\omega {\sqrt[{3}]{2}}+c\omega ^{ 2}{\sqrt[{3}]{4}}\end{cases}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mathbb {Q} }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ сигма }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Для любого простого числа расширение нормально степени. Это поле разложения. Здесь обозначается любой примитивный корень из единицы . Поле представляет собой нормальное замыкание (см. ниже)![{\ displaystyle p,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{p}]{2}},\zeta _{p})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p (p-1).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x^{p}-2.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \zeta _{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}},\zeta _{3})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {Q} ({\sqrt[{3}]{2}}).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Нормальное закрытие
Если K — поле и L — алгебраическое расширение K , то существует некоторое алгебраическое расширение M поля L такое, что M — нормальное расширение K. Более того, с точностью до изоморфизма существует только одно такое расширение, которое является минимальным, то есть единственным подполем M , которое содержит L и которое является нормальным расширением K , является само M. Это расширение называется нормальным замыканием расширения L поля K.
Если L — конечное расширение K , то его нормальное замыкание также является конечным расширением.
Смотрите также
Цитаты
Рекомендации
- Ланг, Серж (2002), Алгебра , Тексты для аспирантов по математике , том. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN. 978-0-387-95385-4, МР 1878556
- Джейкобсон, Натан (1989), Основная алгебра II (2-е изд.), WH Freeman, ISBN 0-7167-1933-9, МР 1009787