Couvre les lemmas utiles pour les groupes p, y compris les propriétés de divisibilité et l'existence d'éléments spécifiques dans les groupes abeliens finis.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
Explore la relation entre p-torsion et p-divisibilité dans la théorie de groupe, mettant en évidence les implications de p-divisibilité dans les séquences exactes des groupes abeliens.