English

Noether's problem for p-groups with three generators

Algebraic Geometry 2013-04-23 v2

Abstract

Let pp be an odd prime and GG be a nonabelian group of order pnp^{n} with the presentation <α,β,γαpa=βpb=γpc=1,[α,γ]=1,[γ,β]=αpr,[α,β]=γpe>,<\alpha,\beta,\gamma\mid \alpha^{p^{a}}=\beta^{p^{b}}=\gamma^{p^{c}}=1, [\alpha,\gamma]=1,[\gamma,\beta]=\alpha^{p^{r}},[\alpha,\beta]=\gamma^{p^{e}}>, where n>abc1n>a\geq b\geq c\geq 1. Let kk be a field containing a primitive pap^{a}-th root of unity and GG act 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. In this note, we prove that the fixed field k(G)=k(xh:hG)Gk(G)=k(x_{h}:h\in G)^{G} is rational over kk. As a corollary, we prove that if kk contains a primitive p4p^{4}-th root of unity and GG is a nonabelian group of order p5p^{5} generated by three elements, then k(G)k(G) is rational over kk.

Keywords

Cite

@article{arxiv.1301.4038,
  title  = {Noether's problem for p-groups with three generators},
  author = {Yin Chen},
  journal= {arXiv preprint arXiv:1301.4038},
  year   = {2013}
}

Comments

This paper has been withdrawn by the author due to a crucial error in Corollary 2.2

R2 v1 2026-06-21T23:11:05.630Z