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.
