Алгебра - Варден Б.Л.
Скачать (прямая ссылка):
зависит от ии ... , и„, то ш алгебраически зависит от и 1( ... , ип.
Доказательство. Если ии — алгебраический элемент над полем Р (и1г ..., о3), то он будет алгебраическим и над Р (иъ ... ..., ип, ..., и5), а это поле алгебраично над Р(Н], и„).
Поэтому в силу § 41 элемент ии алгебраичен над Р(Ы], ип), что и требовалось доказать.
В силу этих основных теорем об алгебраической зависимости справедливы и следствия из них, аналогичные сформулированным в § 20; в частности, справедлива теорема о замене.
Аналогом понятия линейной независимости может служить понятие алгебраической независимости: элементы иъ ... , ип называются алгебраически независимыми над основным полем Р, если ни один из них не является алгебраически зависимым от остальных. Имеет место
Теорема. Элементы ии ..., иг алгебраически независимы тогда и только тогда, когда из
!{иъ ..., иг) = 0,
где / — многочлен с коэффициентами из Р, следует равенство нулю всех коэффициентов многочлена /.
Доказательство. Если / (нь ..., иг) = 0 имеет своим следствием равенство нулю многочлена /, то, очевидно, ни один из элементов щ не может быть алгебраически зависимым от остальных и). Пусть, наоборот, элементы ии ..., иг алгебраически независимы. Если
[ (^1> ? • •» ^г) ~ 0
и если многочлен / расположен по степеням элемента ип то коэффициенты ф(ии ..., иг^) этого многочлена оказываются тождественно равными нулю. Расположим эти коэффициенты-многочлены по степеням элемента иг-г и точно так же установим, что и их коэффициенты тождественно равны нулю; продолжая таким образом, мы в конце концов установим, что коэффициенты многочлена / равны нулю.
Согласно этой теореме элементы иъ ..., иг при условии, что они алгебраически независимы, не связываются никаким алгебраическим уравнением. По этой причине их называют независимыми трансцендентными элементами.
Если иъ ..., иг алгебраически независимы и гъ ..., гг — переменные над полем Р, то каждому многочлену / (гх, ..., гг) с коэффициентами из Р можно взаимно однозначно сопоставить многочлен 1(иь ..., иг). Поэтому Р [гь ..., гг\д^Р[иъ ..., иг]. Из существования этого изоморфизма колец многочленов следует
256
весконёчнЫё расширения полей
[гл. х
существование изоморфизма полей частных:
Р (^1, . . •, 2Г) (и.1, . . ., иг).
Таким образом, независимые трансцендентные элементы иъ ... ..., иг совпадают в смысле алгебраических свойств с обычными независимыми переменными.
Понятия алгебраической зависимости и независимости могут быть введены и для бесконечных множеств. Элемент V называется (алгебраически) зависимым от множества ЭЛ (над основным полем Р), если он алгебраичен над полем Р (ЗЛ), т. е. удовлетворяет некоторому уравнению, коэффициентами которого являются рациональные функции от элементов множества ЭЛ с коэффициентами из поля Рг). В этом случае упомянутое уравнение с помощью умножения на произведение знаменателей коэффициентов можно сделать целым рациональным уравнением с элементами из ЭЛ. В такое уравнение входит лишь конечное число элементов иъ ..., ип множества ЭЛ, поэтому:
Если элемент V зависит от ЭЛ, то V зависит от конечного числа элементов иъ ..., ип из ЭЛ.
Выберем конечное множество {«!, ..., ип) так, чтобы ни один из его элементов не был лишним; тогда в силу основной теоремы 2 каждый элемент ы,- зависит от у и от остальных «у.
Основная теорема 3 без оговорок переносится на случай бесконечных множеств:
Если и зависит от ЭЛ и каждый элемент из ЭЛ зависит от Л, то и зависит от Л.
Множество Л называется (алгебраически) зависимым от множества ЭЛ, если все элементы из Л зависят от ЭЛ. Если Л зависит от ЭЛ, а ЭЛ зависит от ?, то Л зависит от ?.
Если два множества Э.Л и 9} зависят друг от друга, то они называются эквивалентными (над Р). Отношение эквивалентности, введенное таким путем, является рефлексивным, симметричным и транзитивным.
Множество ЭЛ называется алгебраически независимым (над Р), если ни один из его элементов не зависит алгебраически от остальных. В этом случае говорят также, что множество ЭЛ «состоит из независимых трансцендентных элементов».
Если множество ЭЛ алгебраически независимо, то соотношение между элементами ЭЛ вида
/ (^1, • • •, иг) О,
где / — многочлен с коэффициентами из Р, может выполняться лишь тогда, когда / тождественно равен нулю:
..., хг) = 0 (для переменных х().
х) Элемент зависит от пустого множества, если он алгебраичен над Р,
СТЕПЕНЬ ТРАНСЦЕНДЕНТНОСТИ
257
Если построить кольцо многочленов Р[9Е] от стольких переменных Х{, сколько элементов в 2)? (неважно, конечно или бесконечно это множество) и каждому многочлену /(лу, хг) сопоставить элемент поля /(иъ ..., иг), то, очевидно, получится некоторый гомоморфизм кольца многочленов на кольцо Р [ЭЛ] элементов поля ..., иг). Если ЭЛ алгебраически независимо, то раз-
личные многочлены переходят в различные элементы поля; следовательно, в этом случае получается изоморфизм
рго^рда.
Из изоморфизма колец многочленов вновь следует изоморфизм полей частных. Тем самым доказана теорема:
Поле Р (ЭЛ), получающееся присоединением алгебраически независимого множества ЭЛ к полю Р, изоморфно полю рациональных функций от множества переменных X равномощного множеству ЭЛ, т. е. полю частных кольца многочленов Р [ЕС].
