Предыдущая страница реферата | 7  8  9  10  11  12  13  14  15  16  17 | Следующая страница реферата



найдем среди полей Sa, Sb, Sg то, которое содержит два других поля (наибольшее); в этом поле содержатся a, b и g и в нем закон ассоциативности выполнен. Тем же способом проверяются все остальные правила вычислений с элементами объединения.

Доказательство основной теоремы распадается на две части: построение поля W и доказательство единственности.  

Построение поля W.. Лемма 1 свидетельствует о том, что для построения алгебраически замкнутого расширения W поля P достаточно построить такое алгебраическое расширение поля Р, чтобы каждый многочлен из Р[x] разлагался над этим расширением на линейные множители.

Будем считать, что поле Р, а потому и кольцо многочленов P[x], вполне упорядочены. Каждому многочлену f(x) сопоставим столько новых символов a1 ,..., an какова его степень.

Далее, каждому многочлену f(x) сопоставим два вполне упорядоченных поля Рf, Sf, которые определяются следующим рекуррентным способом.

1. Поле Рf является объединением поля Р и всех полей Sg для g<f.

2. Поле Рf вполне упорядочивается так, чтобы Р и все поля Sg при g<f были отрезками в Рf

3. Поле Sf получается из Рf присоединением всех корней многочлена f с помощью символов a1 ,..., an в соответствии с леммой 3.

Нужно доказать, что таким способом действительно однозначно определяются вполне упорядоченные поля Рf , Sf, если только уже определены все предыдущие Рg, Sg перечисленным выше требованиям.

Если выполнено требование 3, то прежде всего Рf— отрезок в Sf. Из этого и из требования 2 следует, что поле Р и каждое поле Sg (g<f) являются отрезками в Sf. Предположим, что рассматриваемые требования выполнены для всех предыдущих индексов f, так что

       Р — отрезок в Sh       при h<f,

Sg — отрезок в Sh       при g<h<f.

Отсюда следует, что поле Р и поля Sh (h<f) составляют множество того типа, о котором говорит лемма 4. Следовательно, объединение этих полей снова является полем, которое в соответствии с требованием 1 мы должны обозначить через Рf. Структура вполне упорядоченного поля на Рf однозначно определяется требованием 2, потому что любые два элемента а, b из Рf, принадлежат одному из полей Р или Sg и поэтому связаны отношением a<b или а>b, которое должно сохраняться в Рf. Эго отношение порядка является одним и тем же во всех полях Р или Sg, которые содержат как а, так и b, потому что все эти поля являются отрезками друг друга. Итак, отношение порядка определено. То, что оно определяет вполне упорядоченное множество, очевидно, так как каждое непустое множество x в Рf содержит по меньшей мере один элемент из Р или из некоторого поля Sg, а потому и первый элемент из x Ç Р или из x Ç Sg. Этот элемент одновременно является и первым элементом в x.

Таким образом, поле Рf вполне упорядочивается с помощью требовании 1 и 2. Так как поле Sf, однозначно определяется требованием 3, поля Рf и Sf построены.

В силу условия 3 многочлен f(x) полностью разлагается на линейные множители в поле Sf. Далее, с помощью трансфинитной индукции показывается, что Sf является алгебраическим над Р. Действительно, предположим, что все поля Sg (g<f) уже алгебраические. Тогда и их объединение с полем Р, т.е. поле Рf, алгебраическое. Далее, поле Sf в силу условия 3 алгебраично над Рf, а потому алгебраично и над Р.

Составим теперь объединение W всех полей Sf ; согласно лемме 4 оно является полем. Это поле алгебраично над Р и над ним разлагаются все многочлены f (так как каждый многочлен f разлагается уже над Sf). Следовательно, поле W алгебраически замкнуто (лемма 1).

Единственность поля W. Пусть W и W'— два поля, являющиеся алгебраическими и алгебраически замкнутыми расширениями поля Р. Докажем эквивалентность этих полей. Для этого будем считать, что оба поля вполне упорядочены. Построим для каждого отрезка  из W (само поле W также считается одним из таких отрезков) подмножество ¢ в W' и некоторый изоморфизм

P(Â) @ Р(¢).

Последний должен удовлетворять следующим рекуррентным соотношениям.

1. Изоморфизм P(Â) @ Р(¢) должен оставлять каждый элемент поля Р на месте.

2. Изоморфизм P(Â) @ Р(¢) при ÁÌ Â должен быть продолжением изоморфизма Р(Á) @Р(Á').

3. Если Â обладает последним элементом a, так что Â = ÁÈ{a}, и если а — корень неразложимого в Р (Á) многочлена f(x), то элемент а' должен быть первым корнем соответствующего в силу Р(Á) @Р(Á'), многочлена f¢(x) во вполне упорядоченном поле W'.

Нужно показать, что этими тремя требованиями действительно определяется изоморфизм P(Â) @ Р(¢), если только он уже определен для всех предыдущих отрезков ÁÌ Â. Здесь необходимо различать два случая.

Первый случай. Множество  не имеет последнего элемента. Тогда каждый элемент а принадлежит некоторому предыдущему отрезку Á; поэтому  является объединением отрезков Á, а потому Р(Â) — объединением полей Р(Á) для ÁÌ Â. Так как каждый из изоморфизмов Р(Á) @Р(Á') является продолжением всех предыдущих, то каждому элементу a при всех этих изоморфизмах сопоставляется лишь один элемент a'. Поэтому существует одно и только одно отображение P(Â) → Р(¢), продолжающее все предыдущие изоморфизмы Р(Á)→ Р(Á'), а именно —отображение a®a'. Очевидно, оно является изоморфизмом и удовлетворяет требованиям 1 и 2.

Второй случай. Множество  имеет последний элемент а; следовательно,  =ÁÈ{а}. Вследствие требования 3 элемент а', сопоставляемый элементу а, однозначно определен. Так как а' над полем Р(Á') (в смысле рассматриваемого изоморфизма) удовлетворяет «тому же» неразложимому уравнению, что и а над Р(Á), то изоморфизм Р(Á)→Р(Á') (и в том случае, когда Á пусто, т. е. тождественный изоморфизм Р®Р) продолжается до изоморфизма Р(Á, a) ®Р(Á', a¢), при котором а переходит в а'. Каждым из приведенных выше требований этот изоморфизм определен однозначно, потому что каждая рациональная функция j(а) с коэффициентами из  обязательно переходит в функцию j'(а') с соответствующими коэффициентами из Á'. То, что так определенный изоморфизм P(Â) ® Р(¢) удовлетворяет требованиям 1 и 2, очевидно.

Рекомендуем скачать другие рефераты по теме: рефераты без регистрации, реферат влияние.

Предыдущая страница реферата | 7  8  9  10  11  12  13  14  15  16  17 | Следующая страница реферата

Поделитесь этой записью или добавьте в закладки