Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It can be easily shown that, the Prüfer $p$-group $\mathbb Z(p^\infty)$ is isomorphic to multiplicative group $$R_p=\{e^{2\pi ik/p^n}|k\in\mathbb Z,n\geq0\}$$ Now I want to prove that:

$$\frac{\mathbb Q}{\mathbb Z}\cong\sum_p \mathbb Z(p^\infty)$$

What I did is to consider the following map: $$\frac{\overbrace{p_1^{a_1}p_2^{a_2}...}^{k_i}}{p_i^{a_i}}+\mathbb Z\to \big(e^{2\pi ik_1/p_1^{a_1}},e^{2\pi ik_2/p_2^{a_2}},...\big)$$ Do you know another map? :-) Thanks.

share|cite|improve this question
Your question is equivalent to asking for automorphisms of $\mathbb Q/\mathbb Z$. Can you give examples of these? – Mariano Suárez-Alvarez Oct 13 '12 at 6:46
@MarianoSuárez-Alvarez: Honestly, I didin't think about this point of view. You say my map is not a practical map? – Babak S. Oct 13 '12 at 7:04
Your map looks fine: the point was that once you have one isomorphism between $G$ and $H$, asking for another is equivalent to asking for automorphisms of either $G$ or $H$, because given one of those we just compose it on to the isomorphism we already have to get a new one. Hence the question: can you think of any automorphisms of $\mathbb{Q}/\mathbb{Z}$? – Kevin Carlson Oct 13 '12 at 7:49
Look up profinite completions and Pontryagin duality. – darko Oct 13 '12 at 8:04
Thanks @MarianoSuárez-Alvarez. – Babak S. Oct 13 '12 at 9:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.