Invariantentheorie/Kommutative K-Algebra/Relative Invariante zu Charakter/Textabschnitt
Es sei ein Körper und eine kommutative -Algebra, auf der eine Gruppe als Gruppe von -Algebraautomorphismen operiere. Es sei
ein Charakter auf . Dann nennt man
die -relativen Invarianten oder Semiinvarianten bezüglich .
Der Invariantenring ist also die Menge der Invarianten relativ zum trivialen Charakter. Die -relativen Invarianten sind ein -Untermodul von . Wenn nämlich invariant und -invariant ist, so ist