Zusammen mit den Überlegungen zum kanonischen Homomorphismus zeigen diese Überlegungen, dass die Normalteiler genau die Kerne von Gruppenhomomorphismen sind. Bei einer Gruppe entsprechen also Kongruenzrelationen genau den Normalteilern.