Ringhomomorphismus/Kommutativ/Faktorisierung/Fakt

Aus Wikiversity

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.