Natural Numbers under Multiplication do not form Group

From ProofWiki
Jump to navigation Jump to search

Theorem

The algebraic structure $\left({\N, \times}\right)$ consisting of the set of natural numbers $\N$ under multiplication $\times$ is not a group.


Proof

Aiming for a contradiction, suppose that $\left({\N, \times}\right)$ is a group.

By the definition of the number $0 \in \N$:

$\forall n \in \N: n \times 0 = 0 = 0 \times n$

Thus $0$ is a zero in the abstract algebraic sense.

From Group with Zero Element is Trivial, $\left({\N, \times}\right)$ is the trivial group.

But $\N$ contains other elements besides $0$.

From this contradiction it follows that $\left({\N, \times}\right)$ is not a group.

$\blacksquare$


Sources