Rationale Gruppenoperation/G(K)-stabiler endlicher Unterraum/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Körper, ein affines Gruppenschema über und

eine -algebraische Operation von auf einem affinen Schema , wobei eine kommutative -Algebra sei.

Dann liegt jedes in einem endlichdimensionalen -invarianten -Untervektorraum von .

Zum Beweis, Alternativen Beweis erstellen