Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I am looking for a proof of the following fact:
If $G$ is a finite subgroup of $SL_n(\mathbb{C})$ acting on $\mathbb{A}_{\mathbb{C}}^n$, then the resulting quotient scheme is Gorenstein.
Thanks.
If $G$ is a finite subgroup of $SL_n(\mathbb{C})$ acting on $\mathbb{A}_{\mathbb{C}}^n$, then the resulting scheme is Gorenstein.