English

Noether's problems for groups of order 243

Algebraic Geometry 2014-03-10 v2

Abstract

Let kk be any field, 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 hxg=xhgh\cdot x_g=x_{hg} for any g,hGg,h\in G. Denote by k(G)=k(xg:gG)Gk(G)=k(x_g:g\in G)^G the fixed field. Noether's problem asks, under what situations, the fixed field k(G)k(G) will be rational (= purely transcendental) over kk. According to the data base of GAP there are 1010 isoclinism families for groups of order 243243. It is known that there are precisely 33 groups GG of order 243243 (they consist of the isoclinism family Φ10\Phi_{10}) such that the unramified Brauer group of C(G)\bm{C}(G) over C\bm{C} is non-trivial. Thus C(G)\bm{C}(G) is not rational over C\bm{C}. We will prove that, if ζ9k\zeta_9 \in k, then k(G)k(G) is rational over kk for groups of order 243243 other than these 33 groups, except possibly for groups belonging to the isoclinism family Φ7\Phi_7.

Keywords

Cite

@article{arxiv.1403.0318,
  title  = {Noether's problems for groups of order 243},
  author = {Huah Chu and Akinari Hoshi and Shou-Jen Hu and Ming-chang Kang},
  journal= {arXiv preprint arXiv:1403.0318},
  year   = {2014}
}

Comments

arXiv admin note: text overlap with arXiv:1201.5555 by other authors

R2 v1 2026-06-22T03:18:47.873Z