Rational Numbers under Addition form Infinite Abelian Group

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\Q$ be the set of rational numbers.

The structure $\struct {\Q, +}$ is a countably infinite abelian group.


Proof

The rational numbers are, by definition, the field of quotients of the integral domain $\struct {\Z, +, \times}$ of integers.

Hence by definition, $\struct {\Q, +, \times}$ is a field.

The fact that $\struct {\Q, +}$ forms an abelian group follows directly from the definition of a field.


From Rational Numbers are Countably Infinite, we have that $\struct {\Q, +}$ is countably infinite.

$\blacksquare$


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Rational_Numbers_under_Addition_form_Infinite_Abelian_Group&oldid=573614"