Spezielle Quotientensingularität/Endlich/Definition

Spezielle Quotientensingularität

Es sei ${}K$ ein Körper und ${}G\subseteq \operatorname {SL} _{n}\!{\left(K\right)}$ eine endliche Untergruppe. Dann nennt man den Invariantenring ${}K[X_{1},\ldots ,X_{n}]^{G}$ (bzw. sein Spektrum) eine spezielle Quotientensingularität.