Es sei K {\displaystyle {}K} ein Körper und G ⊆ GL n ( K ) {\displaystyle {}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}} eine endliche Untergruppe. Dann nennt man den Invariantenring K [ X 1 , … , X n ] G {\displaystyle {}K[X_{1},\ldots ,X_{n}]^{G}} (bzw. sein Spektrum) eine Quotientensingularität.
![{\displaystyle {}K[X_{1},\ldots ,X_{n}]^{G}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/99f10fe79f6a7ca46fbadf51f5d0967e76203fc3)