Monoid/Semipositive Graduierung/Potenzreihenring/Aufgabe

Aus Wikiversity

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.