Definition:Commutative Monoid

Definition

A monoid whose operation is commutative is a commutative monoid.

Also known as

A commutative monoid is also known as an abelian monoid.

Also see

• Definition:Commutative Magma
• Definition:Commutative Semigroup
• Definition:Abelian Group

Sources

• 1982: P.M. Cohn: Algebra Volume 1 (2nd ed.) ... (previous) ... (next): $\S 3.1$: Monoids
• 1999: J.C. Rosales and P.A. García-Sánchez: Finitely Generated Commutative Monoids ... (previous) ... (next): Chapter $1$: Basic Definitions and Results