This lecture introduces the concept of abelian groups and explores the lemma stating that a group is abelian if and only if its group multiplication is a group homomorphism. The proof involves demonstrating the structure of a group with multiplication defined component-wise. Various examples and implications of this lemma are discussed.