Normality is polynomial-closed

This article gives the statement, and possibly proof, of a commutative unital ring property (i.e., normal ring) satisfying a commutative unital ring metaproperty (i.e., polynomial-closed property of commutative unital rings)
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
Get more facts about normal ring|Get more facts about polynomial-closed property of commutative unital rings

This article gives the statement, and possibly proof, of a integral domain property (i.e., normal domain) satisfying a integral domain metaproperty (i.e., polynomial-closed property of integral domains)
View all integral domain metaproperty satisfactions | View all integral domain metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for integral domain properties
Get more facts about normal domain|Get more facts about polynomial-closed property of integral domains

Statement

For commutative unital rings

The polynomial ring over a normal ring is also a normal ring.

For integral domains

The polynomial ring over a normal domain is also a normal domain.

Facts used

Polynomial ring over integrally closed subring is integrally closed in polynomial ring

Proof

The proof follows directly from fact (1).