Подмодуль

- подмножество модуля, являющееся подгруппой его аддитивной группы и замкнутое относительно умножения на элементы основного кольца. В частности, левый (правый) идеал кольца R является П. Левого (правого) R-модуля R. П., отличный от всего модуля, наз. Собственным. Множество П. Данного модуля, упорядоченное по включению, является полной дедекиндовой решеткой (см. Вполне приводимый модуль). Если j - гомоморфизм модуля Ав модуль В, то множество оказывается П. Модуля Аи наз. Ядром гомоморфизма j. Каждый П. Служит ядром некоторого гомоморфизма. П. Наз. Большим (или существенным), если он имеет ненулевое пересечение с любым другим ненулевым П. Напр., целые числа образуют большой П. Группы рациональных чисел. Каждый модуль является большим П.

Своей инъективной оболочки (см. Инъективный модуль). Подмодуль Амодуля Вназ. Малым (или несущественным), если для любого подмодуля равенство А+А'=В влечет А'=В. Малым оказывается, напр., всякий собственный П. Цепного модуля. Малый П. Образуют необратимые элементы локального кольца. Сумма всех малых П. Совпадает с пересечением всех максимальных П. Левый идеал Iпринадлежит радикалу Джекобсона тогда и только тогда, когда IM мал в Мдля всякого конечно порожденного левого модуля М. Элементы малого П. Являются необразующими, т. Е. Любая система образующих модуля остается таковой после удаления любого из этих элементов (это, конечно, не означает, что их можно удалить все сразу!). Радикал Джекобсона кольца эндоморфизмов модуля совпадает с множеством эндоморфизмов, имеющих малый образ.

Лит.:[1] Каш Ф., Модули и кольца, пер. С нем., М., 1981. [2] Фейс К., Алгебра. Кольца, модули и категории, пер. С англ., т. 1-2, М., 1977 - 79. Л. А. Скорняков.