Cette séance de cours introduit le concept de groupes abeliens et explore le lemma indiquant qu'un groupe est abelien si et seulement si sa multiplication de groupe est un homomorphisme de groupe. La preuve consiste à démontrer la structure d'un groupe dont le composant est défini par multiplication. Différents exemples et implications de ce lemma sont discutés.