Noether’s Problem for the Groups with a Cyclic Subgroup of Index 4

Ming-Chang Kang,Ivo M. Michailov,Jian Zhou
DOI: https://doi.org/10.1007/s00031-012-9195-4
2012-01-01
Transformation Groups
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. Theorem 1. If G is a group of order 2 n (n ≥ 4) and of exponent 2 e such that (i) e ≥ n − 2 and (ii) \( {\zeta_{{{2^{{e - 1}}}}}} \in k \), then k(G) is k-rational. Theorem 2. Let G be a group of order 4n where n is any positive integer (it is unnecessary to assume that n is a power of 2). Assume that (i) char k ≠ 2, \( {\zeta_n} \in k \), and (ii) G contains an element of order n. Then k(G) is rational over k, except for the case n = 2 m and G ≃ C m ⋊ C 8 where m is an odd integer and the center of G is of even order (note that C m is normal in Cm ⋊ C 8); for the exceptional case, k(G) is rational over k if and only if at least one of −1; 2;−2 belongs to (k ×)2.
What problem does this paper attempt to address?