Zahlbereich/Nenneraufnahme/Element/Endlich erzeugt/Aufgabe

Es sei $R$ ein Zahlbereich und  $f\in R$,   $f\ne 0$.  Zeige, dass die Einheitengruppe $R_f^{\times }$ der Nenneraufnahme $R_f$ eine endlich erzeugte Gruppe ist.

Eine Lösung erstellen