Commutative ring axiom
Axiom requiring multiplication in a ring to be commutative.
The commutative ring axiom asserts that multiplication satisfies
A commutative ring is a ring satisfying this axiom (and usually also the unital axiom). Commutativity is essential for the theory of prime ideals and for geometric results such as the Nullstellensatz.