Covers quotients in abelian groups and the concept of free abelian groups, showing that every abelian group is isomorphic to a quotient of a free abelian group.
Explores compositions of applications and injectivity conditions in linear algebra, including restriction of applications and combinatorial proof of injections.