Skalare Operation auf KX,Y/Invariantenring und Quotientenkörper/Beispiel

Es sei ein unendlicher Körper. Wir betrachten auf die Operation von durch skalare Multiplikation. Zu gehört also der durch gegebene -Algebrahomomorphismus. Der Invariantenring dazu ist , also ein Körper. Der Quotientenkörper von ist der Funktionenkörper in zwei Variablen. Sein Invariantenring unter der Operation ist , also der Funktionenkörper in einer Variablen. In dieser Situation gilt also