Faktorieller Bereich/Quotientenkörper/Gruppenhomomorphismus/Fakt

Aus Wikiversity

Sei ein faktorieller Bereich mit Quotientenkörper . Es sei , , ein System von paarweise nicht assoziierten Primelementen von und sei die Einheitengruppe von

Dann ist (wobei die nach Fakt eindeutige Einheit bezeichnet)

ein Gruppenisomorphismus mit der Umkehrabbildung