Show that $\Bbb Q/\Bbb Z $ is an infinite group? How do I show that $\Bbb Q/\Bbb Z $ is an infinite group? I've been thinking that all elements in $\Bbb Q/\Bbb Z $ can be written as $\left[\frac ab\right]$, where a $\in \Bbb Z$ and b $\in \Bbb N \setminus\{0\}$, is this right? Then I've been thinking, that since there exists elements of arbitrary large order(I've already proven this), then it's a infinite group? I'm just not sure whether this is right, or enough proof.
I also have to proof that  $\Bbb Q/\Bbb Z $  is not cyclic. Again, I think it has something to do with the order of the group being arbitrary large, but I'm not sure.
 A: Let $\pi\colon \mathbb{Q} \rightarrow \mathbb{Q}/\mathbb{Z}$ be the canonical homomorphism.
Let $r, s \in [0, 1) \cap \mathbb{Q}$.
Then $|r - s| < 1$.
Hence, if $r \neq s$, $\pi(r) \neq \pi(s)$.
Hence $\pi|[0, 1) \cap \mathbb{Q} \rightarrow \mathbb{Q}/\mathbb{Z}$ is injective.
Hence $\mathbb{Q}/\mathbb{Z}$ is an infinite group.
A: I think we can have the following approaches:


*

*$\mathbb Q$ is a divisible group so every quotient of it is the same. It means that $\frac{\mathbb Q}{\mathbb Z}$ is a divisible group. And a finite group cannot be divisible.

*$\frac{\mathbb Q}{\mathbb Z}$ is a torsion group so we can write it as: $$\frac{\mathbb Q}{\mathbb Z}=\sum_{p\in P}\left(\frac{\mathbb Q}{\mathbb Z}\right)_p$$ where in $P$ is the set of all primes. But $\left(\frac{\mathbb Q}{\mathbb Z}\right)_p\cong\mathbb Z(p^{\infty}),\; \; \forall p\in P$.
A: If you had already shown that $\mathbb {Q} /\mathbb {Z}$ has elements of arbitrarily large order then from this already follows that the group is infinite. One way to reason would be that in a finite group the orders of elements are bounded by the size of the group (by Largange's Theorem), so if the orders are not bounded then the group is not finite. 
Showing that $\mathbb {Q} /\mathbb {Z}$ is not cyclic has little to do with it's size but a lot to do with orders of elements. Since you already showed that $\mathbb {Q} /\mathbb {Z}$ is infinite were it to be cyclic it would be isomorphic to $\mathbb {Z}$. However, in $\mathbb {Z}$ all elements are of infinite order, except for $0$. But (as you have shown) in $\mathbb {Q} /\mathbb {Z}$ there are many elements of various finite orders. Since order of elements is preserved under an isomorphism it is impossible for $\mathbb {Q} /\mathbb {Z}$ to be isomorphic to $\mathbb {Z}$, and so the former is not cyclic. 
