Noether's Problem for Some Semidirect Products
Ming-chang Kang,Jian Zhou
DOI: https://doi.org/10.1016/j.aim.2020.107164
IF: 1.675
2020-01-01
Advances in Mathematics
Abstract:Let k be a field, G be a finite group, k(x(g):g∈G) be the rational function field with the variables x(g) where g∈G. The group G acts on k(x(g):g∈G) by k-automorphisms where h⋅x(g)=x(hg) for all h,g∈G. Let k(G) be the fixed field defined by k(G):=k(x(g):g∈G)G={f∈k(x(g):g∈G):h⋅f=f for all h∈G}. Noether's problem asks whether the fixed field k(G) is rational (= purely transcendental) over k. Let m and n be positive integers and assume that there is an integer t such that t∈(Z/mZ)× is of order n. Define a group Gm,n:=〈σ,τ:σm=τn=1,τ−1στ=σt〉 ≃Cm⋊Cn. Assume furthermore that (i) m is an odd integer, and (ii) for any e|n, the ideal 〈ζe−t,m〉 in Z[ζe] is a principal ideal (where ζe is a primitive e-th root of unity). Theorem. If k is a field with ζm,ζn∈k, then k(Gm,n) is rational over k. Consequently, it may be shown that, for any positive integer n, the set S:={p:p is a prime number such that C(Gp,n) is rational over C} is of positive Dirichlet density; in particular, S is an infinite set.