Ringhomomorphismus/Kommutativ/Faktorisierung/Fakt
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.