Polynomring/Restklassenringe/Tensorprodukt/Beispiel

Zu einem kommutativen Ring und endlich erzeugten -Algebren und ist

Dies wird ähnlich wie die Isomorphie in Beispiel begründet.