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

В математике , точнее в теории колец , максимальный идеал — это идеал , который является максимальным (относительно включения множества ) среди всех собственных идеалов. Другими словами, 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 такого, что A ⊆ B , либо B = A либо B = R. ,
• Фактормодуль 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 .

См. также

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

Ссылки

• Андерсон, Фрэнк В.; Фуллер, Кент Р. (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