> [!NOTE] Definition (commutative ring)
> A [[Rings|ring]] is *commutative* if the [[Ring Product|ring product]] is [[Commutativity|commutative]].
>
> [!Example] Example
> The set of [[Integers|integers]] $\mathbb{Z}$ is a ring under integer addition and multiplication.
# Properties
A [[Field (Algebra)|field]] is a commutative ring if each non-zero element is a unit.
An [[Integral Domain|integral domain]] ...