×

Galois groups over function fields of positive characteristic. (English) Zbl 1205.11117

Let \(p\) be a prime, \(F_p\) the field with \(p\) elements and \(K=F_p(t)\) the field of rational functions in a variable \(t\). An additive polynomial \(f\in K[x]\) is a polynomial of the form \(f(x)=\sum_{i=0}^na_ix^{p^i}\). The zeros of \(f\) form a vector space over \(F_p\) and hence for any \(g|f\), the Galois group of \(g\) is contained in \(\text{GL}_n(F_p)\). This observation is used to bound the Galois group of a polynomial from above. Knowledge on the action of the Frobenius automorphism and on transitivity is used to obtain a lower bound.
As a result the authors find polynomials with Galois groups \(M_{24}, M_{23}\), \(\text{PSL}_3(3)\), \(\text{PSL}_2(7)\), \(\text{PSL}_3(2)\) and \(D_4\) over \(F_2(t)\) and \(M_{11}\) over \(F_3(t)\). For some of those polynomials, the roots can be analyzed using Taylor series or Puiseux series. This is done for the polynomials \(\text{Fano}(x)=x^7+tx+1\in F_2(t)[x]\), \(\text{Mathieu}(x)=x^{24}+x+t\in F_2(t)[x]\) and \(s_{11}(x)=x^{11}+tx^2-1 \in F_3(t)[x]\) that have Galois groups \(\text{PSL}_3(2)\), \(M_{24}\) and \(M_{11}\) over \(F_3(t)\), respectively. The polynomial \(\text{Fano}(x)\) is shown to be closely related to the polynomial \(x^7+tx^3+1\) that by a theorem of Serre has Galois group \(\text{PSL}_3(2)\).

MSC:

11R32 Galois theory
11R58 Arithmetic theory of algebraic function fields

References:

[1] Shreeram Abhyankar, Coverings of algebraic curves, Amer. J. Math. 79 (1957), 825 – 856. · Zbl 0087.03603 · doi:10.2307/2372438
[2] Shreeram S. Abhyankar, Galois theory on the line in nonzero characteristic, Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 68 – 133. · Zbl 0760.12002
[3] Shreeram S. Abhyankar, Mathieu group coverings in characteristic two, C. R. Acad. Sci. Paris Sér. I Math. 316 (1993), no. 3, 267 – 271 (English, with English and French summaries). · Zbl 0837.12001 · doi:10.2307/2161167
[4] Shreeram S. Abhyankar, Resolution of singularities and modular Galois theory, Bull. Amer. Math. Soc. (N.S.) 38 (2001), no. 2, 131 – 169. · Zbl 0999.12003
[5] Shreeram S. Abhyankar and Ikkwon Yie, Small degree coverings of the affine line in characteristic two, Discrete Math. 133 (1994), no. 1-3, 1 – 23. · Zbl 0833.14018 · doi:10.1016/0012-365X(94)90013-2
[6] B. H. Matzat, J. McKay, and K. Yokoyama , Algorithmic methods in Galois theory, Elsevier Ltd, Oxford, 2000. J. Symbolic Comput. 30 (2000), no. 6. · Zbl 0960.00041
[7] “Atlas of Finite Group Representations”, brauer.maths.qmul.ac.uk/Atlas/v3.
[8] David Casperson and John McKay, Symmetric functions, \?-sets, and Galois groups, Math. Comp. 63 (1994), no. 208, 749 – 757. · Zbl 0839.05094
[9] Conway, J., McKay, J., “\( M_{24}\) is the Galois group over \( F_2(t)\) of \( x^{24} + x + t\)”, Mathematical Abstracts, Amer. Math. Soc., 93T-12-69, p. 391, 1993.
[10] F. J. MacWilliams and N. J. A. Sloane, The theory of error-correcting codes. I, North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. North-Holland Mathematical Library, Vol. 16. F. J. MacWilliams and N. J. A. Sloane, The theory of error-correcting codes. II, North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. North-Holland Mathematical Library, Vol. 16. · Zbl 0369.94008
[11] B. L. van der Waerden, Algebra. Vol 1, Translated by Fred Blum and John R. Schulenberger, Frederick Ungar Publishing Co., New York, 1970. B. L. van der Waerden, Algebra. Vol. 2, Translated by John R. Schulenberger, Frederick Ungar Publishing Co., New York, 1970.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.