Algebren von endlichem Typ über Körper/Homomorphismen/Urbild von maximalem Ideal ist maximal/Fakt

Aus Wikiversity

Es sei ein Körper und seien und zwei -Algebren von endlichem Typ. Es sei ein -Algebrahomomorphismus.

Dann ist für jedes maximale Ideal aus auch das Urbild ein maximales Ideal.