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