English

Noether's problem for p_groups with a cyclic subgroup of index p^2

Algebraic Geometry 2010-06-11 v2 Rings and Algebras

Abstract

Let KK be any field and GG be a finite group. Let GG act on the rational function field K(xg:gG)K(x_g:g\in G) by KK-automorphisms defined by gxh=xghg\cdot x_h=x_{gh} for any g,hGg,h\in G. Noether's problem asks whether the fixed field K(G)=K(xg:gG)GK(G)=K(x_g:g\in G)^G is rational (=purely transcendental) over KK. We will prove that if GG is a non-abelian pp-group of order pnp^n (n3n\ge 3) containing a cyclic subgroup of index p2p^2 and KK is any field containing a primitive pn2p^{n-2}-th root of unity, then K(G)K(G) is rational over KK. As a corollary, if GG is a non-abelian pp-group of order p3p^3 and KK is a field containing a primitive pp-th root of unity, then K(G)K(G) is rational.

Keywords

Cite

@article{arxiv.0911.1162,
  title  = {Noether's problem for p_groups with a cyclic subgroup of index p^2},
  author = {Ming-chang Kang},
  journal= {arXiv preprint arXiv:0911.1162},
  year   = {2010}
}