Kählermodul/Basiswechsel/Endlich erzeugt/Fakt

< Kählermodul < Basiswechsel < Endlich erzeugt

Es sei ${}R$ ein kommutativer Ring und ${}A$ eine kommutative endliche erzeugte ${}R$ -Algebra. Es sei ${}R\rightarrow R'$ ein Ringhomomorphismus und sei ${}A'=A\otimes _{R}R'$ .

Dann ist

${}\Omega _{A'{|}R'}\cong \Omega _{A{|}R}\otimes _{A}A'\,.$

Zum Beweis, Alternativen Beweis erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.