Multiplicative Group of Rationals is Normal Subgroup of Reals

Theorem
Let $$\left({\mathbb{Q}^*, \times}\right)$$ be the Multiplicative Group of Rational Numbers.

Let $$\left({\mathbb{R}^*, \times}\right)$$ be the Multiplicative Group of Real Numbers.

Then $$\left({\mathbb{Q}^*, \times}\right)$$ is a normal subgroup of $$\left({\mathbb{R}^*, \times}\right)$$.

Proof
From the definition of real numbers, it is clear that $$\mathbb{Q}$$ is a subset of $$\mathbb{R}$$.

As $$\left({\mathbb{R}^*, \times}\right)$$ is a group, and $$\left({\mathbb{Q}^*, \times}\right)$$ is a group, it follows from the definition of subgroup that $$\left({\mathbb{Q}^*, \times}\right)$$ is a subgroup of $$\left({\mathbb{R}^*, \times}\right)$$.

As $$\left({\mathbb{R}^*, \times}\right)$$ is abelian, it follows from All Subgroups of Abelian Group are Normal that $$\left({\mathbb{Q}^*, \times}\right)$$ is normal in $$\left({\mathbb{R}^*, \times}\right)$$.