Noether's problem for some subgroups of S₁₄: the modular case

DOI10.1016/J.JALGEBRA.2020.10.019MaRDI QIDQ2215798zbMATH OpenOpenAlexFDO

Authors Hang Fu, Ming-Chang Kang, Baoshan Wang, Jian Zhou

Publication date 14 December 2020

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.05678

zbMATH Keywords

Gaschütz's theoremKuniyoshi's theoremLüroth's problemNoether's problemrationality problem

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50) Rationality questions in algebraic geometry (14E08)

Abstract: Let $G$ be a subgroup of $S_n$, the symmetric group of degree $n$. For any field $k$, $G$ acts naturally on the rational function field $k(x_1,cdots,x_n)$ via $k$-automorphisms defined by $sigmacdot{x}_i:=x_{sigmacdoti}$ for any $sigmainG$ and $1leqileqn$. In this article, we will show that if $G$ is a solvable transitive subgroup of $S_{14}$ and $extchar(k)=7$, then the fixed subfield $k(x_1,cdots,x_{14}{)}^G$ is rational (i.e., purely transcendental) over $k$. In proving the above theorem, we rely on the Kuniyoshi-Gasch"utz Theorem or some ideas in its proof.

Review text

For any field \(k\), the subgroup \(G\) of the symmetric group \(\Sigma_n\) acts on the field of rational functions \(k(x_1,\dots,x_n)\) by permutation of variables. \textit{E. Noether} [Math. Ann. 78, 221--229 (1917; JFM 46.0135.01)] asked when the field of fixed points \(k(x_1,\dots,x_n)^G\) is rational, i.e. isomorphic as a \(k\)-algebra to a field of the form \(k(t_1,\dots, t_n)\). The motivation of this question came from Hilbert's Irreducibility Theorem, which allowed, over a number field \(K\), to use a positive solution of Noether's problem to find ``generic solutions of the inverse Galois problem for the group \(G\) over the field \(K\). It is interesting to note that Noether remarked that instead of a number field, the same conclusion also holds over a general ``Rationalitätsbereich, a term which was not defined in her paper. Today fields which satisfy Hilbert's Irreducibility Theorem are called {\em Hilbertian}, and are known to include all global fields (i.e. including the case of positive characteristic). While Noether's question is known to have a negative answer in general, because of the inverse Galois problem, positive solutions to Noether's problem, in any characteristic, continue to be of interest today. The paper under review proves that the Noether problem has a positive solution in characteristic \(7\) for transitive solvable subgroups of \(\Sigma_{14}\). This result follows up on a rich literature on rationality of subgroups of symmetric groups, for example [\textit{M.-c. Kang} and \textit{B. Wang}, J. Algebra 413, 345--363 (2014; Zbl 1298.13009); \textit{M.-C. Kang} et al., Kyoto J. Math. 55, No. 2, 257--279 (2015; Zbl 1401.13021); \textit{H. Kuniyoshi}, Tohoku Math. J. (2) 6, 101--108 (1954; Zbl 0058.26605); \textit{B. Wang} and \textit{G. Wang}, Commun. Algebra 48, No. 3, 917--929 (2020; Zbl 1470.13011); \textit{B. Wang} and \textit{J. Zhou}, J. Algebra 518, 272--303 (2019; Zbl 1428.12007)]. A substantial ingredient in the proof is the classification of transitive subgroups of \(\Sigma_{14}\), which was obtained in [\textit{G. A. Miller}, Quart. J. 29, 224--249 (1898; JFM 28.0125.03)]. There are \(63\) such subgroups, \(36\) of which are solvable. The authors consider them by certain types, for some of which they obtain stronger results (for example, without restricting to characteristic \(7\)). An important ingredient in the proof is a theorem of Kunioshi and Gaschütz stating that the Noether problem has a positive solution for a \(p\)-group \(G\) in characteristic \(p\).

Recommendations

• Rationality problem for some transitive subgroups of \(S_{14}\)
• Rational invariants for subgroups of S₅ and S₇
• Noether's problem for \(\hat{S}_4\) and \(\hat{S}_5\)
• Noether's problem for some p-groups
• Noether's problem for the groups with a cyclic subgroup of index 4

Cites work

• A note on a result of Kuniyoshi
• A note on monomial automorphisms
• Fixkörper von p-Automorphismengruppen rein-transzendenter Körpererweiterungen von p-Charakteristik
• Generic Galois extensions and problems in field theory
• scientific article; zbMATH DE number 3122459 (Why is no real title available?)
• scientific article; zbMATH DE number 3855248 (Why is no real title available?)
• Invariants of finite Abelian groups
• Invariants of wreath products and subgroups of S₆
• On a Problem of Chevalley
• On purely-transcendency of a certain field
• On Transitive Permutation Groups
• Rational invariants for subgroups of S₅ and S₇
• Rational varieties: algebra, geometry and arithmetic
• Rationality of some projective linear actions
• Rationality problem for some transitive subgroups of \(S_{14}\)
• Rationality problem for transitive subgroups of \(S_8\)
• Rationality problems for relation modules of dihedral groups
• Reduction theorems for Noether’s problem
• Some actions of symmetric groups
• Three-dimensional purely monomial group actions

Cited in

(1)

• Rationality problem for some transitive subgroups of \(S_{14}\)

Describes a project that uses

Uses Software

• GAP

This page was built for publication: Noether's problem for some subgroups of \(S_{14}\): the modular case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2215798)