依数学家弗朗西斯·索尔比·麦考利（）与欧文·索尔·科恩（） 命名，麦考利（1916年）证明了多项式环的纯粹性定理，科恩（1946年）则证明了幂级数环的情形；事实上所有Cohen-Macaulay环都具纯粹性。
形式定义.若交换局部环formula_1 满足 formula_2，其中 depth 表深度而 dim 表克鲁尔维数，则称之为Cohen-Macaulay环。此性质在局部化之下不变。一般而言，若交换环 formula_3 对所有素理想的局部化皆为Cohen-Macaul