Артинский модуль

В математике , особенно в абстрактной алгебре , артинов модуль — это модуль , который удовлетворяет условию нисходящей цепи на своем частичном подмодулей наборе . Они являются для модулей тем же, чем артиновы кольца для колец , а кольцо артиново тогда и только тогда, когда оно является артиновым модулем над собой (с левым или правым умножением). Обе концепции названы в честь Эмиля Артина .

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

Как и нетеровы модули , артиновы модули обладают следующим свойством наследственности:

Если M артинов R- модуль, то таковы любой подмодуль и любой фактор M — .

Обратное также справедливо :

Если M — любой R -модуль и N — любой артинов подмодуль такой, что M / N артинов, то M артинов.

Как следствие, любой конечно порожденный модуль над артиновым кольцом является артиновым. ^[1] Поскольку артиново кольцо также является нётеровым кольцом , а конечно порождённые модули над нётеровым кольцом нётеровы, ^[1]верно, что для артинова кольца R любой конечно порожденный R -модуль является одновременно нетеровым и артиновым и называется имеющим конечную длину . Отсюда также следует, что любой конечно порожденный артинов модуль является нетеровым даже без предположения, что R артинов. Однако, если R не артиново и M не конечно порождено, существуют контрпримеры .

Левые и правые артиновы кольца, бимодули модули и

Кольцо R можно рассматривать как правый модуль, где действие является естественным, задаваемым умножением кольца справа. R называется правым артиновым, если этот правый модуль R является артиновым модулем. Аналогично делается определение «левого артинова кольца». Для некоммутативных колец это различие необходимо, поскольку кольцо может быть артиновым с одной стороны, но не с другой.

Прилагательные «левый-правый» обычно не нужны для модулей, поскольку модуль M задается как левый или правый R обычно вначале -модуль. Однако возможно, что M может иметь как левую, так и правую R -модульную структуру, и тогда наименование M артиновым неоднозначно, и возникает необходимость выяснить, какая модульная структура является артиновой. Чтобы разделить свойства двух структур, можно злоупотреблять терминологией и называть M лево-артиновым или право-артиновым, тогда как, строго говоря, корректно сказать, что M с его левым R -модульной структурой является артиновым.

Появление модулей с левой и правой структурой не является чем-то необычным: например, сам R имеет структуру левого и правого R -модуля. Фактически это пример бимодуля , может быть и абелева группа M превращена в левый R правый S бимодуль для другого кольца S. и Действительно, любой правый модуль M автоматически является левым модулем над кольцом целых Z и, более того, является Z - R -бимодулем. Например, рассмотрим рациональные числа Q как Z - Q -бимодуль естественным образом. Тогда Q не артинов как левый Z -модуль, но артинов как правый Q -модуль.

Артиново условие также может быть определено на бимодульных структурах: артинов бимодуль — это бимодуль , частично упорядоченное множество подбимодулей которого удовлетворяет условию нисходящей цепи. Поскольку подбимодуль R - S -бимодуля M является тем более левым R -модулем, то если M , рассматриваемый как левый R -модуль, был артиновым, то M автоматически является артиновым бимодулем. Однако может случиться так, что бимодуль будет артиновым, но его левая или правая структуры не будут артиновыми, как покажет следующий пример.

Пример: Хорошо известно, что простое кольцо артиново слева тогда и только тогда, когда оно артиново справа, и в этом случае оно является полупростым кольцом . Пусть R — простое кольцо, не артиново справа. Тогда оно тоже не осталось артинианским. Если рассматривать R как R - R его подбимодули являются в точности идеалами R -бимодуль естественным образом, то . Поскольку R прост, их только два: R и нулевой идеал . Таким образом, бимодуль R артинов как бимодуль, но не артинов как левый или правый R -модуль над собой.

нётеровским состоянием Связь с

В отличие от колец, существуют артиновы модули, которые не являются нётеровыми модулями . Например, рассмотрим p -первичный компонент $\mathbb {Q} /\mathbb {Z}$ , то есть $\mathbb {Z} [1/p]/\mathbb {Z}$ , изоморфная группе p - квазициклической $\mathbb {Z} (p^{\infty })$ , рассматриваемый как $\mathbb {Z}$ -модуль. Цепь $\langle 1/p\rangle \subset \langle 1/p^{2}\rangle \subset \langle 1/p^{3}\rangle \subset \cdots$ не завершается, поэтому $\mathbb {Z} (p^{\infty })$ (и поэтому $\mathbb {Q} /\mathbb {Z}$ ) не нётерово. Однако каждая нисходящая цепочка (без ограничения общности) собственных подмодулей обрывается: Каждая такая цепочка имеет вид $\langle 1/n_{1}\rangle \supseteq \langle 1/n_{2}\rangle \supseteq \langle 1/n_{3}\rangle \supseteq \cdots$ для некоторых целых чисел $n_{1},n_{2},n_{3},\ldots$ и включение $\langle 1/n_{i+1}\rangle \subseteq \langle 1/n_{i}\rangle$ подразумевает, что $n_{i+1}$ должен разделить $n_{i}$ . Так $n_{1},n_{2},n_{3},\ldots$ — убывающая последовательность натуральных чисел. Таким образом, последовательность завершается, делая $\mathbb {Z} (p^{\infty })$ Артиниан.

Обратите внимание, что $\mathbb {Z} [1/p]/\mathbb {Z}$ тоже верный $\mathbb {Z}$ модуль. Итак, это также является примером точного артинова модуля над неартиновым кольцом. Этого не происходит в нётеровском случае; Если M — точный нетеров модуль над A, то A также нетеров.

Над коммутативным кольцом каждый циклический артинов модуль также нетеров, но над некоммутативными кольцами циклические артиновы модули могут иметь несчетную длину , как показано в статье Хартли и хорошо резюмировано в статье Пола Кона, посвященной памяти Хартли.

Другим важным результатом является теорема Акизуки-Хопкинса-Левицкого , которая утверждает, что артиновы и нётеровы условия эквивалентны для модулей над полупримарным кольцом .

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

Примечания [ править ]

^ Перейти обратно: ^а ^б Лам (2001), предложение 1.21, с. 19 .

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

Атья, Миссури ; Макдональд, И.Г. (1969). «Глава 6. Условия цепи; Глава 8. Кольца Артина». Введение в коммутативную алгебру . Вествью Пресс. ISBN 978-0-201-40751-8 .
Кон, премьер-министр (1997). «Циклические артиновы модули без композиционного ряда». Дж. Лондон Математика. Соц . Серия 2. 55 (2): 231–235. дои : 10.1112/S0024610797004912 . МР 1438626 .
Хартли, Б. (1977). «Несчетные артиновы модули и несчетные разрешимые группы, удовлетворяющие Min-n». Учеб. Лондонская математика. Соц . Ряд 3. 35 (1): 55–75. дои : 10.1112/plms/s3-35.1.55 . МР 0442091 .
Лам, Тайвань (2001). «Глава 1. Теория Веддерберна-Артина». Первый курс некоммутативных колец . Спрингер Верлаг. ISBN 978-0-387-95325-0 .

[Lam-19-1] Перейти обратно: ^а ^б Лам (2001), предложение 1.21, с. 19 .

[1]