English

Noether's problem for p-groups of order p^{5}

Algebraic Geometry 2014-05-27 v2 Group Theory

Abstract

Let kk be any field, p>3p>3 be any prime number and GG be a nonabelian pp-group of order p5p^{5}. Consider the action of GG on the rational function field k(xh:hG)k(x_{h}:h\in G) by gxh=xghg\cdot x_{h}=x_{gh} for all g,hGg,h\in G. Let ee be the exponent of GG. Noether's problem asks whether the fixed field k(G)=k(xh:hG)Gk(G)=k(x_{h}:h\in G)^{G} is rational (i.e., purely transcendental) over kk. In this paper, we will prove that if GG does not belong to the isoclinic family Φ10\Phi_{10} in James's classification \cite{Jam1980} and kk contains a primitive eeth root of unity, then k(G)k(G) is rational over kk. As a corollary, if k=Ck=\textbf{C} is the field of complex numbers, then C(G)\textbf{C}(G) is rational over C\textbf{C} if and only if GG is not in the family Φ10\Phi_{10}. This refines a recent result of Hoshi, Kang and Kunyavskii (\cite{HKK2012}, Theorem 1.12).

Keywords

Cite

@article{arxiv.1309.0413,
  title  = {Noether's problem for p-groups of order p^{5}},
  author = {Yin Chen},
  journal= {arXiv preprint arXiv:1309.0413},
  year   = {2014}
}

Comments

This paper has been withdrawn by the author due to a crucial Lemma 3.3

R2 v1 2026-06-22T01:19:06.789Z