This lecture covers the concept of abélianization, which aims to show that the fundamental group of commutative spaces is abelian. It explores the classification theorem for non-isomorphic fundamental groups and the process of taking the quotient to obtain abelian groups. Examples and proofs are provided to illustrate the universal property of abélianization.