Степень расширения поля

В математике , а точнее в теории поля , степень расширения поля является грубой мерой «размера» расширения поля . Это понятие играет важную роль во многих разделах математики, включая алгебру и теорию чисел , да и вообще в любой области, где поля занимают видное место.

Определение и обозначения

Предположим, что E / F — расширение поля . Тогда E можно рассматривать как векторное пространство над F (полем скаляров). Размерность этого векторного пространства называется степенью расширения поля и обозначается [ E : F ].

Степень может быть конечной или бесконечной, причем поле называется соответственно конечным или бесконечным расширением . Расширение E / F также иногда называют просто конечным, если оно является конечным расширением; это не следует путать с тем, что сами поля являются конечными полями (полями с конечным числом элементов).

Эту степень не следует путать со степенью трансцендентности поля; например, поле Q ( X ) рациональных функций имеет бесконечную степень над Q , но степень трансцендентности равна только 1.

Формула мультипликативности для степеней

Учитывая три поля, расположенные в башне , скажем, K — подполе L , которое, в свою очередь, является подполем M , существует простое соотношение между степенями трех расширений L / K , M / L и M / K :

$[M:K]=[M:L]\cdot [L:K].$

Другими словами, степень, идущая от «нижнего» поля к «верхнему», представляет собой просто произведение степеней, идущих от «низа» к «середине», а затем от «середины» к «верху». Это вполне аналогично теореме Лагранжа в теории групп , которая связывает порядок группы с порядком и индексом подгруппы — действительно, теория Галуа показывает, что эта аналогия — нечто большее, чем просто совпадение.

Формула справедлива как для расширений конечной, так и для бесконечной степени. В бесконечном случае произведение интерпретируется в смысле произведения кардинальных чисел . В частности, это означает, что если M / K конечно, то и M / L , и L / K конечны.

Если M / K конечно, то формула накладывает строгие ограничения на типы полей, которые могут возникнуть между M и K , посредством простых арифметических соображений. Например, если степень [ M : K ] является простым числом p , то для любого промежуточного поля L может произойти одно из двух: либо [ M : L ] = p и [ L : K ] = 1, в котором случай L равен K или [ M : L ] = 1 и [ L : K ] = p , и в этом случае L равен M . ) нет Поэтому промежуточных полей (кроме самих М и К .

Доказательство формулы мультипликативности в конечном случае.

Предположим, что K , L и M образуют башню полей, как в приведенной выше формуле степени, и что оба d = [ L : K ] и e = [ M : L ] конечны. Это означает, что мы можем выбрать базис { u ₁ , ..., u _d } для L над K и базис { w ₁ , ..., w _e } для M над L . Мы покажем, что элементы um _w n _, для m в пределах 1, 2,..., d и n в пределах 1, 2, ..., e , образуют основу для M / K ; поскольку их ровно de , это доказывает, что размерность M / K равна de , что и является искомым результатом.

Сначала мы проверяем, что они охватывают M / K . Если x — любой элемент M , то, поскольку w _n образуют базис M над L , мы можем найти элементы a _n в L такие, что

$x=\sum _{n=1}^{e}a_{n}w_{n}=a_{1}w_{1}+\cdots +a_{e}w_{e}.$

, поскольку um _для образуют базис L над K , мы можем найти элементы bm _{, в n} Тогда K такие, что n каждого

$a_{n}=\sum _{m=1}^{d}b_{m,n}u_{m}=b_{1,n}u_{1}+\cdots +b_{d,n}u_{d}.$

Тогда, используя дистрибутивный закон и ассоциативность умножения в M, имеем

$x=\sum _{n=1}^{e}\left(\sum _{m=1}^{d}b_{m,n}u_{m}\right)w_{n}=\sum _{n=1}^{e}\sum _{m=1}^{d}b_{m,n}(u_{m}w_{n}),$

который показывает, что x является линейной комбинацией um _w с коэффициентами _n из K ; другими словами, они M над K. охватывают

что они линейно независимы над K. Во-вторых, мы должны проверить , Итак, предположим, что

$0=\sum _{n=1}^{e}\sum _{m=1}^{d}b_{m,n}(u_{m}w_{n})$

для некоторых коэффициентов b _{m , n} в K . Снова используя дистрибутивность и ассоциативность, мы можем сгруппировать термины как

$0=\sum _{n=1}^{e}\left(\sum _{m=1}^{d}b_{m,n}u_{m}\right)w_{n},$

и мы видим, что члены в круглых скобках должны быть равны нулю, поскольку они являются элементами L , а w _n линейно независимы над L . То есть,

$0=\sum _{m=1}^{d}b_{m,n}u_{m}$

для каждого н . Тогда, поскольку коэффициенты bm _{, bm n} находятся в K , а коэффициенты линейно _um независимы над K иметь, что , _{n , мы должны =} 0 для всех m и всех n . что элементы um _{Это показывает ,} w _n линейно независимы над K . На этом доказательство завершается.

Доказательство формулы в бесконечном случае

В этом случае мы начинаем с базисов uα _A и wβ _L из L / K и M / B. α берется из набора индексов , а β из набора индексов где соответственно , Используя аргумент, полностью аналогичный приведенному выше, мы находим, что произведения u _α w _β образуют базис для M / K . Они индексируются декартовым произведением A × B которого по определению , мощность равна произведению A и B. мощностей

Примеры

• Комплексные числа являются расширением поля действительных чисел степени [ C : R нет нетривиальных полей . ] = 2, и поэтому между ними
• Расширение поля Q ( √ 2 , √ 3 ), полученное присоединением √ 2 и √ 3 к полю Q рациональных чисел , имеет степень 4, то есть [ Q ( √ 2 , √ 3 ): Q ] = 4. Промежуточное поле Q ( √ 2 ) имеет степень 2 над Q ; из формулы мультипликативности заключаем, что [ Q ( √ 2 , √ 3 ): Q ( √ 2 )] = 4/2 = 2.
• Конечное поле (поле Галуа) GF (125) = GF (5 ³ ) имеет степень 3 над своим подполем GF (5). В более общем смысле, если p — простое число и n , m — положительные целые числа, где n делит m , то [ GF ( p ^м ): ГФ ( п ^н )] знак равно м / п .
• Расширение поля C ( T )/ C , где C ( T ) — поле рациональных функций над C , имеет бесконечную степень (действительно, это чисто трансцендентное расширение). В этом можно убедиться, заметив, что элементы 1, T , T ² и т. д. линейно независимы над C .
• Расширение поля C ( T ² ) также имеет бесконечную степень над C . Однако если мы рассмотрим C ( T ² ) как подполе C ( T ), то фактически [ C ( T ): C ( T ² )] = 2. В более общем смысле, если X и Y — алгебраические кривые над полем K , а F : X → Y — сюръективный морфизм между ними степени d , то функциональные поля K ( X ) и K ( Y ) являются оба имеют бесконечную степень над K , но степень [ K ( X ): K ( Y )] оказывается равной d .

Обобщение

Учитывая два тела E и F, где F содержится в E , а умножение и сложение F являются ограничением операций в E , мы можем рассматривать E как векторное пространство над F двумя способами: если скаляры действуют слева, давая размерность [ E : F ] _l и заставляя их действовать справа, давая размерность [ E : F ] _r . Эти два измерения не обязательно должны совпадать. Однако оба измерения удовлетворяют формуле умножения для башен разделительных колец; приведенное выше доказательство применимо к скалярам левого действия без изменений.

Ссылки

• стр. 215, Джейкобсон, Н. (1985). Основная алгебра I. WH Фриман и компания. ISBN  0-7167-1480-9 . Доказательство формулы мультипликативности.
• страница 465, Джейкобсон, Н. (1989). Основная алгебра II . WH Фриман и компания. ISBN  0-7167-1933-9 . Кратко обсуждается бесконечномерный случай.