Anello di Cohen-Macaulay
Da Wikipedia, l'enciclopedia encyclopedia
In matematica, in particolare in algebra commutativa, un anello di Cohen-Macaulay è un anello commutativo unitario noetheriano tale che, per ogni ideale massimale , la profondità e la dimensione di Krull della localizzazione sono uguali. La classe degli anelli di Cohen-Macaulay contiene al suo interno tutti gli anelli regolari e gli anelli di Gorenstein.
Prendono nome da Francis Sowerby Macaulay e Irving Cohen, che dimostrarono il teorema di unmixedness rispettivamente per gli anelli di polinomi (Macaulay, 1916) e gli anelli di serie formali (Cohen, 1946).