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

Степень трансцендентности — максимальное число алгебраически независимых элементов в расширении поля. Степень трансцендентности даёт возможность измерения величины расширения.

Определение

Пусть $L/K$ — расширение поля $K$ до поля $L.$ Рассмотрим всевозможные алгебраически независимые подмножества поля $L$ над полем $K.$ Степень трансцендентности данного расширения определяется как наибольшая мощность среди таких подмножеств.

Обычно обозначается ${\mathrm{t}\mathrm{r}\mathrm{d}\mathrm{e}\mathrm{g}}_{K}L$ или $\mathrm{t}\mathrm{r}\mathrm{d}\mathrm{e}\mathrm{g}(L/K).$

Замечания

Если алгебраически независимых элементов в расширенном поле $L$ нет, то множество их пусто, и степень трансцендентности равна нулю. Таким образом, нулевая степень трансцендентности означает, что данное расширение является алгебраическим. Если же степень трансцендентности не нулевая, то в $L$ существуют «трансцендентные» (не алгебраические по отношению к исходному полю) элементы.

Связанные понятия

Подмножество $S$ из $L$ называется базисом трансцендентности расширения $L/K,$ если:

• элементы $S$ алгебраически независимы над $K;$
• базис полон, то есть $L$ является алгебраическим расширением поля $K(S),$ полученного присоединением элементов $S$ к полю $K.$

Можно показать, что для любого заданного расширения поля базисы трансцендентности существуют (в доказательстве используется аксиома выбора), причём все они имеют одинаковую мощность, равную степени трансцендентности. Базисы трансцендентности — полезный инструмент для доказательства различных теорем существования про гомоморфизмы полей.

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

Примеры

• Для расширения поля рациональных чисел $\mathbb{Q}$ до поля вещественных чисел $ℝ$ степень трансцендентности есть континуум. Это следует из того, что множество алгебраических чисел счётно.
• Поле рациональных функций $n$ переменных $K(x_1\dots x_n)$ над полем $K$ является чисто трансцендентным расширением $K.$ Его степень трансцендентности равна $n,$ а в качестве базиса трансцендентности можно взять $\{x_1,x_2,\dots ,x_n\}.$
• Поле $\mathbb{Q}(\sqrt{2},\pi )$ является расширением поля $\mathbb{Q}$ со степенью трансцендентности 1, потому что $\sqrt{2}$ является алгебраическим числом, а $\pi$ — трансцендентным.
• Поле $\mathbb{Q}(\pi ,e)$ также является расширением поля $\mathbb{Q},$ его степень трансцендентности не определена (либо 1, либо 2), поскольку неизвестно, являются ли константы $\pi$ и $e$ алгебраически независимыми.

Свойства

Если мы имеет двукратное расширение поля: $M\supset L\supset K,$ то степень трансцендентности $M/K$ равна (теоретико-множественной) сумме степеней трансцендентности $L/K$ и $M/L.$ Базис трансцендентности $M/K$ получается объединением базисов трансцендентности для $L/K$ и $M/L.$

Литература

• Бурбаки Н. Алгебра. Многочлены и поля. Упорядоченные группы. М.: Наука, 1965.
• Шаблон:Книга Шаблон:Wayback
• Зарисский О., Самюэль П. Коммутативная алгебра, том 1. М: Иностранная литература, 1963.
• Ленг С. Алгебра. М: Мир, 1967.

Ссылки

• Кузьмин Л. В. Трансцендентное расширение