Tensorprodukt/Kommutative Ringe/Ring und Ringhomomorphismen/Fakt
Es sei ein kommutativer Ring und seien kommutative -Algebren.
Dann ist das Tensorprodukt
eine kommutative -Algebra und es gibt -Algebrahomomorphismen
und
Es sei ein kommutativer Ring und seien kommutative -Algebren.
Dann ist das Tensorprodukt
eine kommutative -Algebra und es gibt -Algebrahomomorphismen
und