This lecture explores the concept of free abelian groups as a specific case of the direct sum of groups, providing an important left adjoint functor from the category of abelian groups to the category of sets. The free abelian group functor is widely applicable in various areas of pure mathematics.