1: \begin{abstract}

2:    Let $K$ be a field, $G$ a finite group.

3:    Let $G$ act on the function field $L = K(x_{\sigma} : \sigma \in G)$ by $\tau \cdot x_{\sigma} = x_{\tau\sigma}$ for any $\sigma, \tau \in G$.

4:    Denote the fixed field of the action by $K(G) = L^{G} = \left\{ \frac{f}{g} \in L : \sigma(\frac{f}{g}) = \frac{f}{g}, \forall \sigma \in G \right\}$.

5:    Noether's problem asks whether $K(G)$ is rational (purely transcendental) over $K$.

6:    

7:    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}[\zeta_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$.

8: %   But it is still an open question whether there exists prime pair $p, q$ such that $\mathbb{C}(C_p \rtimes C_q)$ is not rational over $\mathbb{C}$.

9:    

10: %   In this paper, we show that, under some conditions, $K(C_m \rtimes C_n)$ is rational over $K$.

11:    In this paper, we give another criteria to determine whether $K(C_m \rtimes C_n)$ is rational over $K$.

12:    In particular, if $p, q$ are prime numbers and there exists $x \in \mathbb{Z}[\zeta_q]$ such that the norm $N_{\mathbb{Q}(\zeta_q)/\mathbb{Q}}(x) = p$, then $\mathbb{C}(C_{p} \rtimes C_{q})$ is rational over $\mathbb{C}$.

13:    

14:    \bigskip \bigskip \bigskip

15:    \emph{Keywords:} Noether's problem; Rationality problem; Semidirect product group; Monomial action.

16: \end{abstract}

17: