Noether's problem for some 2-groups

Ming-chang Kang,Ivo M. Michailov,Jian Zhou
2010-01-01
Abstract:Let G be a finite group and k be a field. Let G act on the rational function field k(x_g:g∈ G) by k-automorphisms defined by g· x_h=x_gh for any g,h∈ G. Noether's problem asks whether the fixed field k(G)=k(x_g:g∈ G)^G is rational (i.e. purely transcendental) over k. We will prove that, if G is a group of order 2^n (n≥ 4) and of exponent 2^e such that (i) e≥ n-2 and (ii) ζ_2^e-1∈ k, then k(G) is k-rational.13A50,14E08,14M20,12F12
What problem does this paper attempt to address?