1: \begin{abstract}

2: {\noindent\bf Abstract}

3: Let $K$ be any field and $G$ be a finite group.

4: Let $G$ act on the rational function field $K(x_g:g\in G)$ by $K$-automorphisms defined by $g\cdot x_h=x_{gh}$

5: for any $g,h\in G$.

6: Noether's problem asks whether the fixed field $K(G)=K(x_g:g\in G)^G$ is rational

7: (=purely transcendental) over $K$.

8: We will prove that if $G$ is a non-abelian $p$-group of order $p^n$ ($n\ge 3$) containing a cyclic subgroup

9: of index $p^2$ and $K$ is any field containing a primitive $p^{n-2}$-th root of unity,

10: then $K(G)$ is rational over $K$.

11: As a corollary, if $G$ is a non-abelian $p$-group of order $p^3$ and $K$ is a field containing

12: a primitive $p$-th root of unity, then $K(G)$ is rational.

13: \end{abstract}

14: