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 le sens catégorique de la construction dun quotient de groupe par un sous-groupe normal, en le montrant comme un exemple spécifique dune construction plus générale.