在交换代数中，Cohen-Macaulay环是对应到一类代数几何性质（例如局部等维性）的交换环。此概念依数学家弗朗西斯·索尔比·麦考利（）与欧文·索尔·科恩（） 命名，麦考利（1916年）证明了多项式环的纯粹性定理，科恩（1946年）则证明了幂级数环的情形；事实上所有Cohen-Macaulay环都具纯粹性。
形式定义.若交换局部环 formula_1 满足 formula_2，其中 depth 表深度而 dim 表克鲁尔维数，则称之为Cohen-Macaulay环。此性质在局