Non-Zero Rational Numbers under Multiplication form Infinite Abelian Group

Theorem
Let $$\mathbb{Q}^*$$ be the set of rational numbers without Zero, i.e. $$\mathbb{Q}^* = \mathbb{Q} - \left\{{0}\right\}$$.

The structure $$\left({\mathbb{Q}^*, \times}\right)$$ is an infinite abelian group.

Proof
Taking the group axioms in turn:

G0: Closure
Rational Multiplication is Closed.

G1: Associativity
Rational Multiplication is Associative.

G2: Identity
The identity element of $$\left({\mathbb{Q}^*, \times}\right)$$ is the rational number $$\frac 1 1 = 1$$:

G3: Inverses
The inverse of $$\frac p q \in \left({\mathbb{Q}^*, \times}\right)$$ is $$\frac q p$$:

C: Commutativity
Rational Multiplication is Commutative.

Infinite
Rational Numbers are Countable.