Kommutativer Ring/Gruppenoperation/Invariantenring/Restekörper/Aufgabe

Es sei ${}G$ eine endliche Gruppe, die auf einem kommutativen Ring ${}R$ als Gruppe von Ringautomorphismen operiere mit dem Invariantenring ${}S=R^{G}$ . Es sei ${}{\mathfrak {p}}\in \operatorname {Spek} {\left(S\right)}$ ein Primideal. Zeige, dass es eine natürliche Operation von ${}G$ auf dem Faserring ${}{\left(R/{\mathfrak {p}}R\right)}_{S\setminus {\mathfrak {p}}}$ gibt. Zeige, dass der zugehörige Invariantenring den Restekörper

{}\kappa ({\mathfrak {p}})

enthält. Zeige durch ein Beispiel, dass dabei der Restekörper echt kleiner sein kann.

Eine Lösung erstellen

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.