English

On Noether's problem for cyclic groups of prime order

Number Theory 2014-04-07 v2 Algebraic Geometry

Abstract

Let kk be a field and GG be a finite group acting on the rational function field k(xggG)k(x_g\,|\,g\in G) by kk-automorphisms h(xg)=xhgh(x_g)=x_{hg} for any g,hGg,h\in G. Noether's problem asks whether the invariant field k(G)=k(xggG)Gk(G)=k(x_g\,|\,g\in G)^G is rational (i.e. purely transcendental) over kk. In 1974, Lenstra gave a necessary and sufficient condition to this problem for abelian groups GG. However, even for the cyclic group CpC_p of prime order pp, it is unknown whether there exist infinitely many primes pp such that Q(Cp)\mathbb{Q}(C_p) is rational over Q\mathbb{Q}. Only known 1717 primes pp for which Q(Cp)\mathbb{Q}(C_p) is rational over Q\mathbb{Q} are p43p\leq 43 and p=61,67,71p=61,67,71. We show that for primes p<20000p< 20000, Q(Cp)\mathbb{Q}(C_p) is not (stably) rational over Q\mathbb{Q} except for affirmative 1717 primes and undetermined 4646 primes. Under the GRH, the generalized Riemann hypothesis, we also confirm that Q(Cp)\mathbb{Q}(C_p) is not (stably) rational over Q\mathbb{Q} for undetermined 2828 primes pp out of 4646.

Keywords

Cite

@article{arxiv.1402.3678,
  title  = {On Noether's problem for cyclic groups of prime order},
  author = {Akinari Hoshi},
  journal= {arXiv preprint arXiv:1402.3678},
  year   = {2014}
}

Comments

21 pages, Added remark 3.2 is added

R2 v1 2026-06-22T03:08:54.192Z