Abelian Group

A Group $(G,\ast )$ is defined as an abelian or commutative group if it satisfies the commutative property of $,i.e.,$ is commutative.

Example

$(\mathbb{Z},+)$ is an Abelian Group. Therefore, it is also a Monoid.