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.
Couvre la définition des morphismes entre les variétés algébriques affines et la construction de morphismes en utilisant des homomorphismes algébriques.
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.
