Kählermodul/Basiswechsel/Endlich erzeugt/Fakt
Es sei ein kommutativer Ring und eine kommutative endliche erzeugte -Algebra. Es sei ein Ringhomomorphismus und sei .
Dann ist
Es sei ein kommutativer Ring und eine kommutative endliche erzeugte -Algebra. Es sei ein Ringhomomorphismus und sei .
Dann ist