Körper/Polynomring/Maximale Ideale/Erzeugendenzahl/Fakt

Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}K[X_{1},\ldots ,X_{n}]}$ der Polynomring über ${\displaystyle {}K}$.

Dann wird jedes maximale Ideal in ${\displaystyle {}K[X_{1},\ldots ,X_{n}]}$ von ${\displaystyle {}n}$ Elementen erzeugt.