Definición. Si $p$ es un número primo, entonces un p-grupo es un grupo en el que cada elemento tiene orden una potencia de $p$. Comentario: Una de forma aditiva escrito de grupo se llama $bounded$ si sus elementos tienen boundedly finito órdenes. Por supuesto multiplicativo grupos con esta propiedad se dice finito exponente, pero este término es inapropiado en el contexto de aditivo grupos.
Deje $G$ ser un infinito abelian p-grupo de delimitada para, a continuación, probar que $G\cong \mathbb{Z}_{p^{n}}\oplus\mathbb{Z}_{p^{n}}\oplus H$, for some natural number $$ n, y por algún grupo abelian $H$.
