Конечнопорождённый модуль
Материал из Википедии — свободной энциклопедии
Конечнопорождённым модулем M над ассоциативным кольцом A назвается такой модуль, который порождается конечным числом своих элементов. В случае правого модуля это означает, что существует конечное множество элементов таких, что любой элемент из M представим в виде суммы
, где
— какие-то элементы кольца A. Для левого модуля определение выглядит также с точностью до перестановки сомножителей в произведении.