Rational Numbers under Addition form Monoid

From ProofWiki
Jump to navigation Jump to search

Theorem

The set of rational numbers under addition $\struct {\Q, +}$ forms a monoid.


Proof

Follows directly from Rational Numbers under Addition form Infinite Abelian Group.

By definition, an abelian group is a group.

Also by definition, a group is a monoid.

Hence the result.

$\blacksquare$


Sources