# Subset of Abelian Group Generated by Product of Element with Inverse Element is Subgroup/Examples/Non-Zero Integers in Non-Zero Reals under Multiplication

## Examples of Use of Subset of Abelian Group Generated by Product of Element with Inverse Element is Subgroup

Let $\struct {\Z_{\ne 0}, \times}$ denote the algebraic structure formed by the set of non-zero integers under multiplication.

Let $\struct {\R_{\ne 0}, \times}$ denote the algebraic structure formed by the set of non-zero real numbers under multiplication.

Let $H$ denote the set:

$H := \set {x \times y^{-1}: x, y \in \Z_{\ne 0} }$

Then $H$ is the subgroup of $\struct {\R_{\ne 0}, \times}$ which is the set of non-zero rational numbers under multiplication:

$H = \struct {\Q_{\ne 0}, \times}$

## Proof

$\forall a, b \in \Z_{\ne 0}: a \times b \in \Z_{\ne 0}$
$H$ is a subgroup of $\struct {\R_{\ne 0}, \times}$

The elements of $H$ are all the numbers of the form:

$x = \dfrac p q$

where $p, q \in \Z_{\ne 0}$

and thus by definition rational numbers.

Hence the result.

We also note that Non-Zero Rational Numbers under Multiplication form Abelian Group for further confirmation.

$\blacksquare$