Non-Zero Rational Numbers under Multiplication form Infinite Abelian Group

Theorem
Let $\Q_{\ne 0}$ be the set of rational numbers without zero, i.e. $\Q_{\ne 0} = \Q \setminus \left\{{0}\right\}$.

The structure $\left({\Q_{\ne 0}, \times}\right)$ is an infinite abelian group.

Proof
From the definition of rational numbers, the structure $\left({\Q, + \times}\right)$ is constructed as the quotient field of the integral domain $\left({\Z, +, \times}\right)$ of integers.

Hence from Multiplicative Group of Field is Abelian Group, $\left({\Q_{\ne 0}, \times}\right)$ is an abelian group.

From Rational Numbers are Countably Infinite, we have that $\left({\Q_{\ne 0}, \times}\right)$ is countably infinite.

Also see

 * Strictly Positive Rational Numbers under Multiplication form Countably Infinite Abelian Group