Free Commutative Monoid on One Element is Isomorphic to Positive Integers under Addition

Theorem
Let $X = \set x$ be a singleton.

Let $M$ be the free commutative monoid on $X$.

Then $M$ is isomorphic to the additive monoid of natural numbers.

Proof
By definition, the free commutative monoid $M$ on $\set x$ is:
 * $M = \set {e, x, x^2, x^3, \ldots}$

where $e$ denotes the null sequence of elements of $X$.

Let $\phi$ denote the mapping from $M$ to $\N$ as:
 * $\forall a \in M: \map \phi a = \begin{cases}

0 & : a = e \\ n & : a = x^n \end{cases}$

By definition of $\phi$:
 * $\phi$ is injective: $\map \phi a = \map \phi b \implies a = b$
 * $\phi$ is surjective: $\forall a \in \N: \exists b \in M: \map \phi b = a$
 * $\phi$ is a monoid homomorphism: $\map \phi {a b} = \map \phi {a + b} = \map \phi a + \map \phi b$

Hence the result, by definition of isomorphism.