Monoid/Einheit/Ring/Umkehrung/Aufgabe/Lösung
Erscheinungsbild
Wenn eine Einheit in ist, so gibt es ein mit . Dann ist
und somit ist eine Einheit im Monoidring.
Wenn eine Einheit im Monoidring ist, so gibt es eine Element
mit endlichem Träger und mit von verschiedenen Koeffizienten derart, dass
ist. Für die letzte Gleichung müssen alle Exponenten