Monoid/Semipositive Graduierung/Potenzreihenring/Aufgabe
Es sei ein kommutatives Monoid und sei ein Monoidhomomorphismus mit der Eigenschaft, dass zu jedem das Urbild endlich sei. Es sei ein kommutativer Ring. Zeige, dass
mit naheliegenden Verknüpfungen eine kommutative -Algebra ist, die den Monoidring enthält.