Kategorie:Theorie der Differentialoperatoren auf Invariantenringen/Definitionen