Polynomring/Maximales Ideal/Punktideal nach Körpererweiterung/Aufgabe/Lösung


Der Restklassenkörper

ist nach Fakt eine endliche Körpererweiterung von . Unter dem Restklassenhomomorphismus

geht auf ein Element . Diesen kann man zu einem -Algebrahomomorphismus

erweitern. Dessen Kern ist das Punktideal

Da das Diagramm

kommutiert, ist

.