Степень трансцендентности - Transcendence degree

В абстрактная алгебра, то степень трансцендентности из расширение поля L /K есть некая довольно грубая мера «размера» пристройки. В частности, он определяется как самый большой мощность из алгебраически независимый подмножество из L над K.

Подмножество S из L это основа трансцендентности из L /K если он алгебраически независим над K и если к тому же L является алгебраическое расширение поля K(S) (поле, полученное присоединением элементов S к K). Можно показать, что каждое расширение поля имеет основу трансцендентности и что все базы трансцендентности имеют одинаковую мощность; эта мощность равна степени трансцендентности расширения и обозначается trdegK L или trdeg (L /K).

Если нет поля K указано, степень трансцендентности поля L его степень относительно основное поле того же самого характеристика, т.е. Q если L имеет характеристику 0 и Fп если L характерен п.

Расширение поля L /K является чисто трансцендентный если есть подмножество S из L которая алгебраически независима над K и такой, что L = K(S).

Примеры

  • Расширение является алгебраическим тогда и только тогда, когда его степень трансцендентности равна 0; в пустой набор здесь служит основой трансцендентности.
  • Поле рациональных функций в п переменные K(Икс1,...,Иксп) является чисто трансцендентным расширением со степенью трансцендентности п над K; мы можем, например, взять {Икс1,...,Иксп} как основу трансцендентности.
  • В более общем смысле, степень трансцендентности функциональное поле L из п-размерный алгебраическое многообразие над наземным полем K является п.
  • Q(√2, е ) имеет степень трансцендентности 1 над Q потому что √2 алгебраический пока е является трансцендентный.
  • Степень трансцендентности C или же р над Q это мощность континуума. (Это следует из того, что любой элемент имеет только счетное число алгебраических элементов над ним в Q, поскольку Q само счетно.)
  • Степень трансцендентности Q(е, π ) над Q равно 1 или 2; точный ответ неизвестен, поскольку неизвестно, е и π алгебраически независимы.

Аналогия с размерностями векторного пространства

Есть аналогия с теорией векторное пространство размеры. Аналогия сопоставляет алгебраически независимые множества с линейно независимые множества; наборы S такой, что L алгебраичен над K(S) с охватывающие наборы; основы трансцендентности с базы; и степень трансцендентности с измерением. Тот факт, что базы трансцендентности всегда существуют (например, тот факт, что базы всегда существуют в линейной алгебре), требует аксиома выбора. Доказательство того, что любые две базы имеют одинаковую мощность, в каждом случае зависит от лемма обмена.[1]

Эту аналогию можно сделать более формальной, если заметить, что линейная независимость в векторных пространствах и алгебраическая независимость в расширениях полей образуют примеры матроиды, называемые линейными матроидами и алгебраическими матроидами соответственно. Таким образом, степень трансцендентности - это функция ранга алгебраического матроида. Каждый линейный матроид изоморфен алгебраическому матроиду, но не наоборот.[2]

Факты

Если M/L является расширением поля и L /K является еще одним расширением поля, то степень трансцендентности M/K равна сумме степеней трансцендентности M/L и L/K. Это доказывается показом того, что основа трансцендентности M/K можно получить, взяв союз основы трансцендентности M/L и один из L /K.

Приложения

Базы трансцендентности - полезный инструмент для доказательства различных утверждений о существовании гомоморфизмов полей. Вот пример: Учитывая алгебраически замкнутый поле L, а подполе K и поле автоморфизм ж из Kсуществует полевой автоморфизм L который расширяет ж (т.е. чье ограничение на K является ж). Доказательство начинается с базиса трансцендентности S из L/K. Элементы K(S) являются частными полиномами от элементов S с коэффициентами в K; поэтому автоморфизм ж может быть расширен до одного из K(S), отправив каждый элемент S себе. Поле L это алгебраическое замыкание из K(S) и алгебраические замыкания единственны с точностью до изоморфизма; это означает, что автоморфизм может быть продолжен с K(S) к L.

В качестве другого приложения мы показываем, что существует (много) подходящих подполей поле комплексных чисел C которые (как поля) изоморфны C. Для доказательства возьмем основу трансцендентности S из C/Q. S - бесконечное (даже несчетное) множество, поэтому существует (много) отображений ж: S → S которые инъективный но нет сюръективный. Любое такое отображение можно продолжить до гомоморфизма полей Q(S) → Q(S), что не является сюръективным. Такой гомоморфизм полей, в свою очередь, может быть расширен до алгебраического замыкания C, и полученные гомоморфизмы полей C → C не сюръективны.

Степень трансцендентности может дать интуитивное понимание размера поля. Например, теорема из Сигель заявляет, что если Икс компактное связное комплексное многообразие размерности п и K(Икс) обозначает поле (определенное глобально) мероморфные функции на нем, затем trdegC(K(Икс)) ≤ п.

Рекомендации

  1. ^ J.S. Милн, Теория полей и Галуа, стр.100-101.
  2. ^ Джоши, К. Д. (1997), Прикладные дискретные конструкции, New Age International, стр. 909, г. ISBN  9788122408263.