Cette séance de cours explore le concept de groupes abéliens libres comme un cas spécifique de la somme directe des groupes, fournissant un important foncteur adjoint gauche de la catégorie des groupes abéliens à la catégorie des ensembles. Le groupe libre abélien functor est largement applicable dans divers domaines des mathématiques pures.