Integer Multiples under Multiplication form Semigroup

From ProofWiki
Jump to navigation Jump to search


Let $n \Z$ be the set of integer multiples of $n$.

Then $\struct {n \Z, \times}$ is a semigroup.

If $\size n > 1$ then $\struct {n \Z, \times}$ has no identity.



Let $p, q \in n \Z$.

Then for some $p', q' \in \Z$:

$p = n p'$
$q = n q'$


$p q = \paren {n p'} \paren {n q'}$

By the commutativity and associativity of integer multiplication:

$p q = n \paren {n \paren {p' q'} }$

Hence $p q \in n \Z$ and $n \Z$ is closed under $\times$.



By definition $n \Z \subseteq \Z$.

Hence $\times$ is associative on $n \Z$ as a direct results of Restriction of Associative Operation is Associative.


Identity Element

If $\size n = 1$ then $\paren {n \Z, \times}$ is a monoid from Integers under Multiplication form Countably Infinite Commutative Monoid.

If $n \ne 1$ then $\left({n \Z, \times}\right)$ is a semigroup but not a monoid as it is without an identity as $1 \notin n \Z$.