Ringhomomorphismus/Kommutativ/Faktorisierung/Fakt/Name/Inhalt
Es seien und kommutative Ringe und es sei
ein Ringhomomorphismus. Dann gibt es eine kanonische Faktorisierung
wobei die kanonische Projektion, ein Ringisomorphismus und die kanonische Inklusion des Bildes ist.