$ A = \oplus_\mathbb{N} \mathbb{Z}$ olsun. Her $n \geqslant 1$ için $ (e_n)_n$ $\in$ $A$ nın standart tabanı olsun.
$B=\left\langle ne_n=x_n : n \geqslant 1 \right\rangle$
tanımını yapalım.
$A/B$ grubunun bölünür olduğunu kanıtlayın. $A/B$ grubu $\mathbb{Q}$ grubuna izomorf mudur?