Максимальный идеал: различия между версиями
Перейти к навигации
Перейти к поиску
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Перенёс предположение, что речь идёт о кольцах с единицей до первого пункта, поскольку он (существование макс. идеалов) также неверен для колец без единицы |
мНет описания правки Метки: через визуальный редактор с мобильного устройства из мобильной версии |
||
Строка 10: | Строка 10: | ||
* Характеристическое свойство максимального идеала: идеал <math>I</math> кольца <math>R</math> максимален тогда и только тогда, когда [[факторкольцо]] <math>R/I</math> является [[Поле (алгебра)|полем]] (в нём каждый ненулевой элемент обратим). |
* Характеристическое свойство максимального идеала: идеал <math>I</math> кольца <math>R</math> максимален тогда и только тогда, когда [[факторкольцо]] <math>R/I</math> является [[Поле (алгебра)|полем]] (в нём каждый ненулевой элемент обратим). |
||
* Если кольцо ''R'' имеет структуру [[банахова алгебра|банаховой алгебры]] над полем [[комплексное число|комплексных чисел]] '''С''', факторкольцо по максимальному идеалу ''R/I'' [[изоморфизм|изоморфно]] '''C'''. В этом случае идеал ''I'' определяет [[гомоморфизм]] кольца ''R'' в поле '''C''', ядром которого является идеал ''I''. <br> Для каждого ''a'' существует единственное число <math>\lambda_a</math>, такое что <math>a-\lambda_a e\in I</math> (''e'' - единица алгебры ''R''). Соответствие <math>a\to \lambda_a</math> и есть тот самый гомоморфизм. |
* Если кольцо ''R'' имеет структуру коммутативной [[банахова алгебра|банаховой алгебры]] над полем [[комплексное число|комплексных чисел]] '''С''', факторкольцо по максимальному идеалу ''R/I'' [[изоморфизм|изоморфно]] '''C'''. В этом случае идеал ''I'' определяет [[гомоморфизм]] кольца ''R'' в поле '''C''', ядром которого является идеал ''I''. <br> Для каждого ''a'' существует единственное число <math>\lambda_a</math>, такое что <math>a-\lambda_a e\in I</math> (''e'' - единица алгебры ''R''). Соответствие <math>a\to \lambda_a</math> и есть тот самый гомоморфизм. |
||
* Из характеристического свойства следует, что всякий максимальный идеал является [[простой идеал|простым]]. |
* Из характеристического свойства следует, что всякий максимальный идеал является [[простой идеал|простым]]. |
Текущая версия от 21:55, 1 июня 2024
Максимальным идеалом коммутативного кольца называется всякий собственный идеал кольца, не содержащийся ни в каком другом собственном идеале.
Свойства
[править | править код]- (Считаем далее, речь идёт о кольцах с единицей.) Множество всех идеалов кольца индуктивно упорядочено по отношению включения, поэтому (Лемма Цорна) во всяком кольце максимальные идеалы существуют, более того, для всякого собственного идеала I кольца R существует максимальный идеал кольца R, который его содержит.
- Если элемент a кольца R не обратим, тогда все элементы кольца, кратные ему, образуют собственный идеал. Поэтому каждый необратимый элемент кольца содержится в некотором максимальном идеале. Если элемент a обратим, всякий идеал, который его содержит, совпадает со всем кольцом, поэтому обратимые элементы не содержатся ни в каком собственном идеале, соответственно и ни в каком максимальном.
- Если все необратимые элементы кольца R образуют идеал, он является максимальным, и притом единственным - других максимальных идеалов в кольце R нет. (Верно и обратное: если в кольце R максимальный идеал единствен, он включает в себя все необратимые элементы кольца.) В этом случае кольцо R называется локальным кольцом.
- Характеристическое свойство максимального идеала: идеал кольца максимален тогда и только тогда, когда факторкольцо является полем (в нём каждый ненулевой элемент обратим).
- Если кольцо R имеет структуру коммутативной банаховой алгебры над полем комплексных чисел С, факторкольцо по максимальному идеалу R/I изоморфно C. В этом случае идеал I определяет гомоморфизм кольца R в поле C, ядром которого является идеал I.
Для каждого a существует единственное число , такое что (e - единица алгебры R). Соответствие и есть тот самый гомоморфизм.
- Из характеристического свойства следует, что всякий максимальный идеал является простым.
Примеры
[править | править код]- В кольце целых чисел Z максимальными идеалами являются все простые идеалы: если p - простое число, тогда идеал (p)=pZ максимален. Например, чётные числа образуют максимальный идеал, а числа, кратные 4 - образуют идеал, но не максимальный - этот идеал содержится в идеале чётных чисел.
- В кольце многочленов k[X,Y], где k - алгебраически замкнутое поле, максимальные идеалы имеют вид .
- Кольцо степенных рядов над полем k - локальное кольцо. Необратимые элементы - те, которые не содержат свободного члена. Они образуют идеал. Он - единственный максимальный идеал в этом кольце.