Homomorphismus in einen Quotientenraum. Es seien G eine Gruppe und N ein Normalteiler von G. Versieht man die Menge der Nebenklassen G/N von G bezüglich N mit der Multiplikation (aN) · (bN) = (a · b)N, so wird G/N mit dieser Multiplikation zu einer Gruppe. Weiterhin ist die Abbildung f : G → G/N, definiert durch f(a) = aN, ein Gruppenhomomorphismus, den man den kanonischen Homomorphismus, manchmal auch den kanonischen Epimorphismus, nennt.