Kommutative Ringtheorie/Algebra von endlichem Typ/Körper/Noethersch/Fakt

Es sei ein noetherscher Ring.

Dann ist jede -Algebra von endlichem Typ ebenfalls noethersch. Insbesondere ist für einen Körper jede -Algebra von endlichem Typ noethersch.