Polynomring/Polynom/Endliche Erweiterung/Spur/Beispiel
Es sei ein Körper und ein normiertes Polynom vom Grad . Wir betrachten die endliche freie Ringerweiterung
![{\displaystyle {}f\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16a5db7d7199527ef09bf17a9af1e694311b1b07)
![{\displaystyle {}K[Y]\subseteq K[Y][X]/(f(X)-Y)\cong K[X]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb98d192bca438a50b144aef76e9c8c939a83173)
mit der -Basis . Wir sind damit in der Situation von Fakt mit und
![{\displaystyle {}K[Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca635803831cdd4feb95b62017442a6795185cc4)
![{\displaystyle {}R=K[Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a48718ba322d69542980f57c7c0911227bafa4ef)
Für die Ableitung nach gilt . Der Faserring über dem -Punkt wird durch beschrieben. Die passende geometrische Vorstellung zur Spektrumsabbildung dieser Ringerweiterung ist die Projektion des Graphen zu auf die -Achse. Eine Nullstelle der Ableitung ist ein Verzweigungspunkt dieser Projektion.
![{\displaystyle {}K[X]/(f(X)-b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eefd27140a95a018182d19c1aeb0717514016030)
