Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.
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.
