MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the paper:

Kac, Victor; Watanabe, Keiichi, Finite linear groups whose ring of invariants is a complete intersection. Bull. Amer. Math. Soc. (N.S.) 6 (1982), no. 2, 221–223

it is said in Remark 2 on page 222 that for any finite subgroup $G$ of $GL_2(\mathbb{C})$ the ring of invariants $\mathbb{C}[X_1, X_2]^G$ is always a complete intersection ring without any reference.

Can anyone kindly tell me a reference for this result? Thank you.

share|cite|improve this question
I am also considering finite subgroups of $GL_2\mathbb(C)$ which are not contained in $SL_2\mathbb(C)$ – Anjan Gupta Mar 11 '11 at 20:06
Here's a link to the paper: . The remark is wrong, almost certainly a typo. – Graham Leuschke Mar 11 '11 at 20:24
For an explicit example, take $G$ to be the three-element group generated by $\mathrm{diag}(e^{2\pi i/3},e^{2\pi i/3})$. The invariant ring is $\mathbb{C}[x^3,x^2y,xy^2,y^3]$, which is not even Gorenstein. – Graham Leuschke Mar 11 '11 at 20:32
As far as I know, the article of Kac and Watanabe is the state of the art. Just ignore this typo. Or see this section of Neusel's book, and the references there:… – Graham Leuschke Mar 12 '11 at 1:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.