English

Noether's problem for abelian extensions of cyclic $p$-groups II

Algebraic Geometry 2013-09-17 v3

Abstract

Let KK be a field and GG be a finite group. Let GG act on the rational function field K(x(g):gG)K(x(g):g\in G) by KK automorphisms defined by gx(h)=x(gh)g\cdot x(h)=x(gh) for any g,hGg,h\in G. Denote by K(G)K(G) the fixed field K(x(g):gG)GK(x(g):g\in G)^G. Noether's problem then asks whether K(G)K(G) is rational (i.e., purely transcendental) over KK. Let pp be any prime and let GG be a pp-group of exponent pep^e. Assume also that {\rm (i)} char K=p>0K = p>0, or {\rm (ii)} char KpK \ne p and KK contains a primitive pep^e-th root of unity. In this paper we prove that if GG is any pp-group of nilpotency class 2, which has the ABC (Abelian-By-Cyclic) property, then K(G)K(G) is rational over KK. We also prove the rationality of K(G)K(G) over KK for two 3-generator pp-groups GG of arbitrary nilpotency class.

Keywords

Cite

@article{arxiv.1304.1890,
  title  = {Noether's problem for abelian extensions of cyclic $p$-groups II},
  author = {Ivo M. Michailov},
  journal= {arXiv preprint arXiv:1304.1890},
  year   = {2013}
}

Comments

In this version I proved Noether's problem for all $p$-groups of nilpotency class 2, which have the ABC (Abelian-By-Cyclic) property. arXiv admin note: text overlap with arXiv:1307.0738; and text overlap with arXiv:0911.1162 by other authors

R2 v1 2026-06-21T23:54:56.568Z