Para cualquier algebraicamente cerrado campo de K de los característicos 0, le propone considerar el subgrupo μp∞ p- potencia raíces de la unidad, de manera equivalente, el p-primaria torsión subgrupo de K×. Este grupo es la unión de sus subgrupos finitos
μpn pnth raíces de la unidad, cada uno de los cuales es un cylic grupo de orden pn,
ya que por el criterio de la derivada del polinomio tpn−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∈Z+, pn- torsión subgrupo es cíclico de orden pn. De hecho, podemos elegir un generador de σn de cada pedido pn-subgrupo cíclico de tal manera que σpn+1=σn. La elección de los generadores induce un isomorfismo de nuestro grupo μp∞lim→Z/pnZ, donde el mapa de Z/pnZ→Z/pn+1Z envía 1p.
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" σ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.