Cohen-Macaulay is polynomial-closed
This article gives the statement, and possibly proof, of a commutative unital ring property satisfying a commutative unital ring metaproperty
View all commutative unital ring metaproperty satisfactions | View all commutative unital ring metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for commutative unital ring properties
|
Statement
Property-theoretic statement
The property of commutative unital rings of being Cohen-Macaulay satisfies the metaproperty of commutative unital rings of being polynomial-closed.
Verbal statement
The polynomial ring in one variable over a Cohen-Macaulay ring, is again Cohen-Macaulay.