体k上の有理関数体L
に
σ:f(x1、x2、x3)→f(xσ(1)、xσ(2)、xσ(3))
τ1:f(x1、x2、x3)→f(-x1、x2、x3)
τ2:f(x1、x2、x3)→f(x1、-x2、x3)
τ3:f(x1、x2、x3)→f(x1、x2、-x3)
で作用させると
σ、τ1、τ2、τ3がつくる群GはAut(L)の部分群となる
このときGの不変体を求めよ

よろしくおねがいします。ムズイ