Tensorprodukt/Kommutative Ringe/Ring und Ringhomomorphismen/Fakt

Aus Wikiversity

Es sei ein kommutativer Ring und seien kommutative -Algebren.

Dann ist das Tensorprodukt

eine kommutative -Algebra und es gibt -Algebrahomomorphismen

und