\begin{definition}[Definition:Multiplicative Group of Rational Numbers]
The '''multiplicative group of rational numbers''' $\struct {\Q_{\ne 0}, \times}$ is the set of rational numbers without zero under the operation of multiplication.
\end{definition}