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

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

Определение и обозначения [ править ]

Предположим, что 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 . Мы покажем, что элементы w _um 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}.

Тогда, поскольку образуют _для базис L над K , мы можем найти элементы bm _{, um 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}),

который показывает, что является линейной комбинацией um w _x 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 . На этом доказательство завершается.

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

В этом случае мы начинаем с базисов и _{, а β} wβ из _uα L / K и M / L соответственно , где α берется из набора индексов A из набора 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 . Кратко обсуждается бесконечномерный случай.