# Integers under Multiplication form Semigroup

## Theorem

The set of integers under multiplication $\struct {\Z, \times}$ is a semigroup.

## Proof

### Closure

$\Box$

### Associativity

$\Box$

The criteria for $\struct {\Z, \times}$ to be a semigroup are seen to be satisfied.

$\blacksquare$