Б.Л. Ван дер Варден - Алебра (1127106), страница 102
Текст из файла (страница 102)
+ и а,„ (г, ее Я, п„— целые числа). (1) В частности, каждый элемент г из Я является целым над И, так как г, г', гз, ... принадлежат И-модулю (г). Конечно, и единичный элемент из ч., если он существует, является целым над Я. Если ч. — поле, которое, следовательно, содержит поле частных Р кольца Я, то степени любого целого элемента 1 линейно зависят от конечного множества величин а,, ..., а с коэффициентами из Р, потому что Р содержит не только кольцо И, но и единицу.
Тем самым среди степеней элемента 1 есть лишь конечное множество линейно независимых над Р; поэтому элемент 1 является алгебраическим над Р, и вместо «целый элемент» часто говорят «целым алгебраический элемент». Если Я вЂ” кольцо, в котором имеет место теорема о цепях делителей для левых идеалов, то, согласно 8 134, она имеет место и в подмодулях конечного И-модуля (а„..., а ).
В частности, цепь модулей (1) (1, 1') ы... стабилизируется и, значит, некоторая степень элемента 1 линейно ') Под степенями в »том параграфе подразумеваются только системы с положительнымв показателями, ь 1зн злвмвнты. цвлыв ньд кольцом выражается через более низкие степени: (э=с,(+...+гь,(л-1+п,(+...+Пь 1(ь-1. (2) Обратно, если ( — элемент из ~, который при выбранном подходящим образом числе й представляется в виде (2) с коэффициентами из Я, соответственно из Е, то с помощью (2) можно и более высокие степени элемента 1 выразить через конечное множества элементов й 1ь, ..., (ь-' и тем самым установить, что в соответствии с нашим определением элемент 1 является целым. Мы доказаяи следующее предложение: Если в кольце Я имеет место теорема о цепях делителей для левых иде лов, то для того, чтобы элемент 1 был целым над Я, необходимо и достаточно, чтобы выполнялось равенство вида (2) .
Если ч.— поле, то равенство (2) доставляет новое выражение того факта, что ( алгебраичен над полем Р. Если в Я есть единица, то к множеству степеней элемента 1 можно добавить и 1ь=!, а в равенстве (2) удалить, группу слагаемых п,(+...+ +пь „(ь-'. Вместо (2), таким образом, получается более простое равенство: (ь — гь,1ь-' —...— се=О, характерной особенностью которого является то, что коэффициент при высшей степени элемента ( равен единице.
П р и м е р ы. Целые алгебраические числа — это алгебраические числа, являющиеся целыми над кольцом л, обычных целых чисел, т. е. удовлетворяющие некоторому целочисленному уравнению со старшим коэффициентом 1. Целые алгебраические функции от х„... ..., х„— это функции из некоторого алгебраического расширения поля К(х„..., х„), которые являются целыми над кольцом многочленов К[х„..., х„]; при эзоы К является заранее фиксированным основным полем. Абсолютно целые алгебраические функции от х„..., х„— это функции, которые являются целыми над кольцом целочисленных многочленов .'Е [х,...., х„]. В любом кольце ~ю сумма, разность и про зведение двух целых над Я элементов являются целыми.
Иначе говоря, целые над Я элементы из ь составляют некоторое кольцо (о. Доказательство. Если все степени элемента з выражаются через а„..., а, а все степени элемента 1 выражаются через Ь„..., Ь„линейно, то все степени элементов э+1, э — 8 и э 1 линейно выражаются через а„..., а, Ь„..., Ь„, а,Ь„ а,Ь„..., аыЬ„. Если предположить выполненной теорему о цепях делителей для идеалов кольца (б, то можно доказать трап вити в ность свойства быть целым элементом. ЦЕЛЫЕ АЛГЕБРЛИЧЕСКИЕ ЭЛЕМЕНТЫ ~гл хчп Если (о — кольцо целых элементов коммутативного кольца ч, (над лодкольцом И) и ~ — элемент из ~, целый над (х, то этот элемент ( является целым и над Я (т. е. содержится в с.). Илн, иначе: если элемент ( удовлетворяет равенству (2) с коэффициентами г„целыми над Я, то сам ( является целым над И, До к а з а т е л ь с т в о.
С помощью многократного применения равенства (2) все степени Р'" элемента ( можно выразить линейно через 1, Р, ..., (ь-' с коэффициентами, которые являются либо целыми числами, либо целыми рациональными функциями от произведений степеней коэффициентов г, Для каждого существует конечное множество элементов из ч., через которые г, линейно выражается с коэффициентами из Я и .'Е, следовательно, все произведения степеней элементов г, выражаются через конечное множество произведений элементов из указанных выше конечных множеств.
Умножим эти произведении, которых всего конечное число, на й (э, ..., (ь-' и добавим к полученному множеству еще 1, Р, ..., 1"-', тогда получится конечное множество элементов, через которые уже все степени элемента 1 линейно выражаются с коэффициентами из И и целочисленными коэф. фициентами, Кольцо Я называется целозамкнутым в некотором обвемлюи(ем кольце ч., если каждый целый над Я элемент из ~ принадлежит уже Я. В частности, целостное кольцо Я называется просто целозамкнутылц если оно целозамкнуто в своем поле частных Х.
Как легко видеть, это означает, что каждый элемент ~ из Х, степени 1Р которого выражаются как дроби с некоторым фиксированным знаменателем из (к, принадлежит кольцу Я. Действительно, конечное множество элементов, через которые могут быть выражены все степени некоторого целого числа й может быть приведено к общему знаменателю и, обратно, если все степени элемента 1 представляются в виде дробей со знаменателем з, то они линейно выражаются через элемент э '. Из предыдущей теоремы следует, что в случае коммутативного кольца ~ кольцо Я всех целых над Я элементов из ч.
является целоза.икнутым в ~, если идеалы из С удовлетворяют теореме о целях делителей. Такая же теорема может быть доказана и без предположения о справедливости теоремы о цепях делителей, если считать, что кольцо И целозамкнуто в своем поле частных Р, а ч. является конечным расширением поля Р.
Для доказательства поле '~ расширяется до некоторого расширения Галуа ~' поля Р, а (к— до кольца С' целых элементов поля ~ю'. Если некоторый элемент 1 является целым над Я, а потому и над ~', то таковыми будут и элементы, сопряженные с ( над Р, а также элементарные симметрические функции этих сопряженных элементов, т. е. коэффициенты уравнения, определяющего элемент Е В силу целые элементы В пола з !36! целозамкнутости кольца Я эти коэффициенты принадлежат кольцу Я, так что ! оказывается целым над Я и, следовательно, ! ен Я, Одно достаточное, но не необходимое условие для целозамк- путости целостного кольца дает следующая Теорема.
Целостное кольцо с единицей, в котором имеет л!есто теореми об однозначности разложения на простые множи. тели, целозамкнуто в своем поле частных. Доказательство. Каждый элемент поля частных можно представить дробью а)Ь, в которой а и Ь не имеют общих про- стых множителей. Тогда, если все степени дроби а!Ь можно освободить от знаменателей умножением на некоторый элемент с, то са", а потому и с, должны делиться на Ь" при каждом нату- ральном и, что, однако, возможно лишь тогда, когда Ь вЂ” некото- рый обратимый элемент, и поэтому а/Ь=аЬ ' — элемент из дан- ного целостного кольца. Из этой теоремы следует, что всякое кольцо главных идеалов (в частности, кольцо целых чисел Б), всякое кольцо целочислен- ных многочленов и всякое кольцо многочленов над каким-либо полем И являются целозамкнутыми.
Зада ча 1. Корни из единицы в любом ноле являются целыми йад любым подкольцом. 3 а д а ч а 2. Какие числа из поля гауссовых чисел !() (!) являются целыми 1 1 над Ху решить аналогичный вопрос для поля !)) (р), где р = — — -)- -- рг — З. 2 3 ад а ч а 3. Если целостное кольцо Э) целозамкнуто, то и кольцо много. членов З) (х) целозвмннуто. 5 136. Целые элементы в поле Пусть Я вЂ” целостное кольцо, Р— его поле частных, Š— конечное коммутативное расширение поля Р и Я вЂ” кольцо целых пад Я элементов из л.
Очевидно, что Я является кольцом, содержа!цим кольцо Я. Связь между кольцами Я, чо и полями Р, Х схематически можно изобразить так: Я а!ю и п Р ~ Х. Такие соотношения будут считаться выполненными всюду в данном параграфе. Под словом «целый> здесь постоянно подразумевается «целый над Я>. Примеры. Если % — кольцо обычных целых чисел, то Р— поле обычных рациональных чисел; поле Х является некоторым числовым полем (конечным над Р), а чо — кольцом целых алгебраических чисел поля Х. 488 ЦЕЛЫЕ ХЛГЕБРЛИЧЕСКГ1Г ЭЛЕМЕНГЫ 1ГЛ. ХЧЦ Если Я вЂ” кольцо многочленов: Я = Н 1х„..., х„1, то Р— поле рациональных функций; в этом случае л получается присоединением конечного множества алгебраических функций, а 4о оказывается составленным из целых алгебраических функций поля л.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
