Noether's Problem on Semidirect Product Groups

Abstract

Let $K$ be a field, $G$ a finite group. Let $G$ act on the function field $L = K(x_σ : σ\in G)$ by $τ\cdot x_σ = x_{τσ}$ for any $σ, τ\in G$. Denote the fixed field of the action by $K(G) = L^{G} = \left\{ \frac{f}{g} \in L : σ(\frac{f}{g}) = \frac{f}{g}, \forall σ\in G \right\}$. Noether's problem asks whether $K(G)$ is rational (purely transcendental) over $K$. It is known that if $G = C_m \rtimes C_n$ is a semidirect product of cyclic groups $C_m$ and $C_n$ with $\mathbb{Z}[ζ_n]$ a unique factorization domain, and $K$ contains an $e$th primitive root of unity, where $e$ is the exponent of $G$, then $K(G)$ is rational over $K$. In this paper, we give another criteria to determine whether $K(C_m \rtimes C_n)$ is rational over $K$. In particular, if $p, q$ are prime numbers and there exists $x \in \mathbb{Z}[ζ_q]$ such that the norm $N_{\mathbb{Q}(ζ_q)/\mathbb{Q}}(x) = p$, then $\mathbb{C}(C_{p} \rtimes C_{q})$ is rational over $\mathbb{C}$.