Endlich erzeugte kommutative Algebren/R noethersch/A über R endlich erzeugt/A endlich über B/B ist endlich erzeugt/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein noetherscher kommutativer Ring und eine endlich erzeugte -Algebra. Es sei eine -Unteralgebra, über der endlich (als -Modul) sei.

Dann ist auch eine endlich erzeugte -Algebra.