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.
Explore les applications du théorème de Lagrange en théorie des groupes et en arithmétique, en se concentrant sur les sous-groupes, les cosets, les groupes quotients et les homomorphismes.