でも、kが複素数体だと不変体はC[x_1,x_2,x_3]になってしまうんだな。
だから、問題がおかしいんじゃないかと思ったんだけど。