コーエン・マコーレー環
数学において、コーエン・マコーレー環 () は局所のような非特異多様体の代数幾何的な性質のいくつかをもった可換環のタイプである。
名称は純性定理を多項式環に対して証明したと、純性定理を形式的冪級数環に対して証明したによる。すべての Cohen–Macaulay 環は純性定理が成り立つ。
可換ネーター局所環については次の包含関係が成り立つ。