Spezielle Quotientensingularität/Endlich/Definition

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