Fixring/K-Algebra-Homomorphismen/Bemerkung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine kommutative -Algebra über einem Körper und es sei eine Gruppe, die als Gruppe von -Algebraautomorphismen operiere. Zu jedem sei also

ein -Algebrahomomorphismus. Dann ist und der Fixring ist selbst eine -Algebra. Zu einer linearen Operation von auf einem -Vektorraum ist die zugehörige Operation von auf dem Polynomring eine Operation als Gruppe von -Automorphismen.