Когерентное кольцо

Алгебраическая структура

В математике (левое) когерентное кольцо — это кольцо , в котором каждый конечно порождённый левый идеал конечно представлен .

Многие теоремы о конечно порождённых модулях над нётеровыми кольцами можно распространить на конечно представимые модули над когерентными кольцами.

Каждое лево-нётерово кольцо является лево-когерентным. Кольцо многочленов от бесконечного числа переменных над лево-нётеровым кольцом является примером лево-когерентного кольца, которое не является лево-нётеровым.

Кольцо является левокогерентным тогда и только тогда, когда каждое прямое произведение плоских правых модулей является плоским (Chase 1960), (Anderson & Fuller 1992, стр. 229). Сравните это с: Кольцо является левонётеровым тогда и только тогда, когда каждая прямая сумма инъективных левых модулей является инъективной.

Ссылки

Взято с "https://en.wikipedia.org/w/index.php?title=Coherent_ring&oldid=1068314336"