3
$\begingroup$

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.

  • 0
    @KevinCarlson: Thanks for the details. Now I see clearly what I asked above.2012-10-13

1 Answers 1

2

As pointed out in the comments above, asking for a different map is equivalent to asking for an automorphism of $\mathbb{Q} / \mathbb{Z}$. I show here the construction of a map going the other way.

The $\mathbb{Z}$-module embeddings $\mathbb{Z} [1/p] / \mathbb{Z} \rightarrow \mathbb{Q} / \mathbb{Z}$ induce a map $\alpha : \oplus_{p \in P} \mathbb{Z} [1/p] / \mathbb{Z} \rightarrow \mathbb{Q} / \mathbb{Z}$, where $P$ is the set of prime integers. We show it is an isomorphism.

$\alpha$ is surjective: for any integers $a, p, q$ with $p$ and $q$ relatively prime, there are integers $n$ and $m$ such that $\frac{a}{pq} = \frac{n}{p} + \frac{m}{q}$. Thus, for a rational number $A = \frac{a}{\prod_{p} p^{k_p}}$ with $k_p = 1$ for all but finitely many primes, we can write $A$ as $\sum_{p} A_p$, where $A_p = a_p / p^{k_p}$, for integers $\{ a_p \}_{p \in P}$. Then $\overline{A} \in \mathbb{Q} / \mathbb{Z}$ can be written as $\alpha \left( ( \overline{A_p} )_{p \in P } \right)$.

$\alpha$ is injective: take integers $\{ a_p \}_{p \in P}, \{ k_p \}_{p \in P}$ with all but finitely many $a_p$ equal to $0$, such that $\alpha \left( ( \overline{a_p / p^{k_p} })_{p \in P} \right) = \overline{0}$. Without loss of generality, $a_p$ can be taken such that $\sum_{p \in P} a_p / p^{k_p} = 0$. Clearing the demoninators, we have $\sum_{p \in P} a_p \prod_{q \neq p} q^{k_q} = 0$, from which we can see that $p^{k_p} | a_p \forall p \in P$. Therefore $( \overline{a_p / p^{k_p} })_{p \in P} = 0$.