Somme directe: Lemme 1.2Déplacez-vous en sommes directes de groupes abeliens, montrant leurs propriétés de coproduits et de vérification universelle.
Propriété universelle de G*HCouvre la propriété universelle des produits de groupe et des homomorphismes à travers des quotients, avec des exemples.