Affines Schema/Morphismus/Modul/Rückzug/Fakt

< Affines Schema < Morphismus < Modul < Rückzug

Es sei ${}\theta \colon R\rightarrow S$ ein Ringhomomorphismus zwischen kommutativen Ringen und ${}\varphi \colon \operatorname {Spek} {\left(S\right)}\rightarrow \operatorname {Spek} {\left(R\right)}$ der zugehörige Schemamorphismus. Es sei ${}M$ ein ${}R$ -Modul.

Dann ist

${}\varphi ^{*}{\widetilde {M}}={\widetilde {M\otimes _{R}S}}\,.$

Einen 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.