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