Commutative ring (source code)

= Commutative ring
{wiki}

A commutative ring is a <ring> whose multiplication satisfies $ab=ba$.