Couvre les quotients dans les groupes abeliens et le concept de groupes abeliens libres, montrant que chaque groupe abelien est isomorphe à un quotient d'un groupe abelien libre.
Explore les définitions invariantes dans les ensembles, les groupes et les automorphismes, y compris les groupes p-divisibles et les groupes abeliens libres.