Complex Numbers under Multiplication form Monoid

From ProofWiki
Jump to navigation Jump to search

Theorem

The set of complex numbers under multiplication $\struct {\R, \times}$ forms a monoid.


Proof

Taking the monoid axioms in turn:


S0: Closure

Complex Multiplication is Closed.

$\Box$


S1: Associativity

Complex Multiplication is Associative.

$\Box$


S2: Identity

Complex Multiplication Identity is $1$.

$\Box$


Hence the result.

$\blacksquare$


Sources