Максимальный идеал

В математике , точнее в теории колец , максимальный идеал — это идеал , который является максимальным (относительно включения множества ) среди всех собственных идеалов. ^[1]^[2] Другими словами, I — максимальный идеал кольца R , нет других идеалов если между I и R .

Максимальные идеалы важны, поскольку факторы колец по максимальным идеалам являются простыми кольцами , а в частном случае с единицей коммутативных колец они также являются полями .

В некоммутативной теории колец максимальный правый идеал определяется аналогично как максимальный элемент в частично упорядоченном множестве собственных правых идеалов, и аналогично максимальный левый идеал определяется как максимальный элемент частично упорядоченного множества собственных левых идеалов. односторонний максимальный идеал A не обязательно является двусторонним, фактор R / A не обязательно является кольцом, но является простым модулем над R. Поскольку Если R имеет единственный максимальный правый идеал, то R известен как локальное кольцо , а максимальный правый идеал также является единственным максимальным левым и единственным максимальным двусторонним идеалом кольца и фактически является радикалом Джекобсона J( R ).

Кольцо может иметь единственный максимальный двусторонний идеал и при этом не иметь уникальных максимальных односторонних идеалов: например, в кольце квадратных матриц 2 на 2 над полем нулевой идеал является максимальным двусторонним идеалом. идеал, но существует много максимальных правых идеалов.

Определение [ править ]

Существуют и другие эквивалентные способы выражения определения максимальных односторонних и максимальных двусторонних идеалов. Учитывая кольцо R и собственный идеал I кольца R (то есть I ≠ R ), я является максимальным идеалом кольца R , если выполняется любое из следующих эквивалентных условий:

Не существует другого собственного идеала J кольца R такого, что I ⊊ J .
Для любого идеала J для которого I ⊆ J , либо J = I , либо J = R. ,
Факторкольцо R / I является простым кольцом.

Аналогичный список имеется и для односторонних идеалов, для которых будут даны только правые варианты. Для правого идеала A кольца R следующие условия эквивалентны тому, что A является максимальным правым идеалом кольца R :

Не существует другого собственного правого идеала B кольца R такого, что A ⊊ B .
Для любого правого идеала B такого, что ⊆ B , либо B = A , либо B = R. A
Фактормодуль R / A является простым правым R -модулем.

Максимальные правые/левые/двусторонние идеалы — это понятие, двойственное понятию минимальных идеалов .

Примеры [ править ]

Если F — поле, то единственный максимальный идеал — это {0}.
В кольце целых чисел Z максимальные идеалы — это главные идеалы , порожденные простым числом.
В более общем смысле, все ненулевые простые идеалы максимальны в области главных идеалов .
Идеал $(2,x)$ является максимальным идеалом в кольце $\mathbb {Z} [x]$ . Как правило, максимальные идеалы $\mathbb {Z} [x]$ имеют форму $(p,f(x))$ где $p$ является простым числом и $f(x)$ является полиномом по $\mathbb {Z} [x]$ который неприводим по модулю $p$ .
Каждый простой идеал является максимальным идеалом в булевом кольце, т. е. кольце, состоящем только из идемпотентных элементов. Действительно, каждый простой идеал максимален в коммутативном кольце. $R$ всякий раз, когда существует целое число $n>1$ такой, что $x^{n}=x$ для любого $x\in R$ .
Максимальные идеалы кольца полиномов $\mathbb {C} [x]$ являются главными идеалами, порожденными $x-c$ для некоторых $c\in \mathbb {C}$ .
В более общем смысле, максимальные идеалы кольца полиномов K [ x ₁ , ..., x _n ] над алгебраически замкнутым полем K - это идеалы вида ( x ₁ - a ₁ , ..., x _n - a _n ) . Этот результат известен как слабый Nullstellensatz .

Свойства [ править ]

Важный идеал кольца, называемый радикалом Джекобсона, можно определить с помощью максимальных правых (или максимальных левых) идеалов.
Если R — коммутативное кольцо с единицей с идеалом m , то k = R / m — поле тогда и только тогда, когда m — максимальный идеал. В этом случае R / m называется полем вычетов . Этот факт может не соответствовать действительности в неединичных кольцах. Например, $4\mathbb {Z}$ является максимальным идеалом в $2\mathbb {Z}$ , но $2\mathbb {Z} /4\mathbb {Z}$ это не поле.
Если L — максимальный левый идеал, то R / L — простой левый R -модуль. Обратно, в кольцах с единицей любой простой левый R таким образом возникает -модуль. Между прочим, это показывает, что совокупность представителей простых левых R -модулей на самом деле является множеством, поскольку ей можно поставить в соответствие часть множества максимальных левых идеалов R .
Теорема Крулла (1929 г.): каждое ненулевое кольцо с единицей имеет максимальный идеал. Результат также верен, если «идеал» заменить на «правый идеал» или «левый идеал». В более общем смысле верно, что каждый ненулевой конечно порожденный модуль имеет максимальный подмодуль. Предположим, что I — идеал, не являющийся R (соответственно, A — правый идеал, не являющийся R ). Тогда R / I — кольцо с единицей (соответственно R / A — конечно порожденный модуль), и поэтому приведенные выше теоремы можно применить к фактору и заключить, что существует максимальный идеал (соответственно максимальный правый идеал) кольца R содержащий I (соответственно A ).
Теорема Крулла может не работать для колец без единицы. Радикальное кольцо , т. е. кольцо, в котором радикалом Джекобсона является все кольцо, не имеет простых модулей и, следовательно, не имеет максимальных правых или левых идеалов. См. обычные идеалы , чтобы узнать возможные способы обойти эту проблему.
В коммутативном кольце с единицей каждый максимальный идеал является простым идеалом . Обратное не всегда верно: например, в любой неполевой области целостности нулевой идеал является простым идеалом, который не является максимальным. Коммутативные кольца, в которых простые идеалы максимальны, известны как нульмерные кольца , где используемая размерность — это размерность Крулля .
Максимальный идеал некоммутативного кольца может не быть простым в коммутативном смысле. Например, пусть $M_{n\times n}(\mathbb {Z} )$ быть кольцом всех $n\times n$ матрицы над $\mathbb {Z}$ . Это кольцо имеет максимальный идеал $M_{n\times n}(p\mathbb {Z} )$ для любого простого числа $p$ , но это не простой идеал, поскольку (в случае $n=2$ ) $A={\text{diag}}(1,p)$ и $B={\text{diag}}(p,1)$ не в $M_{n\times n}(p\mathbb {Z} )$ , но $AB=pI_{2}\in M_{n\times n}(p\mathbb {Z} )$ . Однако максимальные идеалы некоммутативных колец просты в обобщенном смысле, приведенном ниже.

Обобщение [ править ]

Для R -модуля A M максимальным подмодулем модуля A является подмодуль M ≠ A, тому свойству, что для любого другого подмодуля из N M ⊆ N ⊆ A следует N = M или N = A. удовлетворяющий Эквивалентно, M является максимальным подмодулем тогда и только тогда, когда фактор-модуль A / M является простым модулем . Максимальные правые идеалы кольца R являются в точности максимальными подмодулями модуля R _R .

В отличие от колец с единицей, ненулевой модуль не обязательно имеет максимальные подмодули. Однако, как отмечалось выше, конечно порожденные ненулевые модули имеют максимальные подмодули, а также проективные модули имеют максимальные подмодули.

можно определить Как и в случае с кольцами, радикал модуля с помощью максимальных подмодулей. определив максимальный подбимодуль M бимодуля Более того, максимальные идеалы можно обобщить , B как собственный подбимодуль M , который не содержится ни в одном другом собственном подбимодуле M . Тогда максимальные идеалы R являются в точности максимальными подбимодулями бимодуля _R R _R .

См. также [ править ]

Главный идеал

Ссылки [ править ]

^ Даммит, Дэвид С.; Фут, Ричард М. (2004). Абстрактная алгебра (3-е изд.). Джон Уайли и сыновья . ISBN 0-471-43334-9 .
^ Ланг, Серж (2002). Алгебра . Тексты для аспирантов по математике . Спрингер . ISBN 0-387-95385-Х .

Андерсон, Фрэнк В.; Фуллер, Кент Р. (1992), Кольца и категории модулей , Тексты для выпускников по математике, том. 13 (2-е изд.), Нью-Йорк: Springer-Verlag, стр. x+376, doi : 10.1007/978-1-4612-4418-9 , ISBN 0-387-97845-3 , МР 1245487
Лам, Тай (2001), Первый курс по некоммутативным кольцам , Тексты для выпускников по математике, том. 131 (2-е изд.), Нью-Йорк: Springer-Verlag, стр. xx+385, doi : 10.1007/978-1-4419-8616-0 , ISBN. 0-387-95183-0 , МР 1838439

[1] Даммит, Дэвид С.; Фут, Ричард М. (2004). Абстрактная алгебра (3-е изд.). Джон Уайли и сыновья . ISBN 0-471-43334-9 .

[2] Ланг, Серж (2002). Алгебра . Тексты для аспирантов по математике . Спрингер . ISBN 0-387-95385-Х .

[1]

[2]