Real Numbers under Multiplication form Monoid

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Proof

Taking the monoid axioms in turn:


S0: Closure

Real Multiplication is Closed.

$\Box$


S1: Associativity

Real Multiplication is Associative.

$\Box$


S2: Identity

Real Multiplication Identity is $1$.

$\Box$


Hence the result.

$\blacksquare$


Sources