Kurs:Invariantentheorie (Osnabrück 2012-2013)/Polynomring/Gruppenoperation/Direkter Summand/Endlich erzeugt/Fakt/Faktreferenznummer