Para cualquier algebraicamente cerrado campo de $K$ de los característicos $0$, le propone considerar el subgrupo $\mu_{p^{\infty}}$ $p$- potencia raíces de la unidad, de manera equivalente, el $p$-primaria torsión subgrupo de $K^{\times}$. Este grupo es la unión de sus subgrupos finitos
$\mu_{p^n}$ $p^n$th raíces de la unidad, cada uno de los cuales es un cylic grupo de orden $p^n$,
ya que por el criterio de la derivada del polinomio $t^{p^n} -1$ tiene claras raíces en cualquier algebraicamente cerrado de campo de carácter diferente de $p$.
Es fácil ver que hay isomorfismo exactamente un grupo abelian todos cuyos elementos son de $p$-potencia de torsión y tal que para cada una de las $n \in \mathbb{Z}^+$, $p^n$- torsión subgrupo es cíclico de orden $p^n$. De hecho, podemos elegir un generador de $\sigma_n$ de cada pedido $p^n$-subgrupo cíclico de tal manera que $\sigma_{n+1}^p = \sigma_n$. La elección de los generadores induce un isomorfismo de nuestro grupo $\mu_{p^{\infty}}$$\varinjlim \mathbb{Z}/p^n \mathbb{Z}$, donde el mapa de $\mathbb{Z}/p^n \mathbb{Z} \rightarrow \mathbb{Z}/p^{n+1} \mathbb{Z}$ envía $1$$p$.
Si usted no sabe lo que es un directo de límite, esta es una buena oportunidad para aprender, pero por otro lado no es necesario aquí. La asignación de un "compatible con la secuencia de los generadores" $\sigma_n$ en un grupo de un archivo de secuencia de los generadores en otro grupo induce un isomorfismo entre ellos.
Por el camino, el único abelian grupo en cuestión es bastante famoso: se llama la Prufer p-grupo.