Definition 4.7
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 4 Gruppe/Lineare Darstellung/Operation auf Polynomring/Definition