Integritätsbereich/Endliche Gruppe/Charakter/Generisch trivial/Aufgabe

Aus Wikiversity

Es sei ein Körper und eine integre -Algebra, auf dem eine endliche Gruppe als Gruppe von -Algebraautomorphismen operiere. Es sei

ein Charakter und der zugehörige -Modul der Semiinvarianten. Es sei vorausgesetzt. Zeige, dass es einen -Modulhomomorphismus derart gibt, dass nach Nenneraufnahme an einem Element , , ein Isomorphismus

wird.