×

On the Galois group of a reciprocal even octic polynomial. (English) Zbl 07841625

An ongoing research problem in Galois theory is to determine conditions for \(\mathrm{Gal}(f)\), the Galois group of a given polynomial \(f(x)\). Of recent interest are irreducible polynomials of the form \(f(x)=g(x^k)\) for some integer \(k \ge 2\).
Let \(F\) be a field of characteristic zero. Complete characterisations of \(\mathrm{Gal}(f)\) using only the coefficients of \(f(x) \in F[x]\) have been determined for the cases where
\(k=2\) and \(g(x)=x^2+ax+b\). [L.-C. Kappe and B. Warren, Am. Math. Mon. 96, No. 2, 133–137 (1989; Zbl 0702.11075)]
\(k=3\) and \(g(x)=x^2+ax+b\). [C. Awtrey and P. Jakes, Can. Math. Bull. 63, No. 3, 670–676 (2020; Zbl 1458.11173)]
\(k=2\) and \(g(x)=x^3+ax^2+bx+c\). [C. Awtrey, J. R. Beuerle and H. N. Griesbach, Missouri J. Math. Sci. 33, No. 2, 163–180 (2021; Zbl 1486.12004)]
\(k=2\) and \(g(x)=x^4+ax^2+b\). [C. Awtrey and F. Patane, J. Algebra Appl. (to appear)]

The paper under review extends the known literature by considering the case where \(k=2\) and \(g(x)=x^4+ax^3+bx^2+ax+1\). The authors showed that \(\mathrm{Gal}(f)\) identified as a transitive subgroup of \(S_8\) up to conjugacy belongs to one of six possible groups. By a detailed analysis of three distinct quartic subfields defined by \(f(x)\), they provid elementary characterisations for each possible group that only involves testing whether few elements in \(F\) obtained from the coefficients of \(f(x)\) are perfect squares. As an application, the authors give one-parameter families of polynomials for each of the six possible Galois groups.

MSC:

12F10 Separable extensions, Galois theory
11Y40 Algebraic number theory computations
12-08 Computational methods for problems pertaining to field theory

Software:

GAP
Full Text: DOI

References:

[1] Altmann, A., Awtrey, C., Cryan, S., Shannon, K., Touchette, M. (2020). Galois groups of doubly even octic polynomials. J. Algebra Appl.19(1):2050014, 15. DOI: . · Zbl 1467.11126
[2] Awtrey, C., Jakes, P. (2020). Galois groups of even sextic polynomials. Can. Math. Bull.63(3):670-676. DOI: . · Zbl 1458.11173
[3] Awtrey, C., Patane, F. An elementary characterization of the Galois group of a doubly even octic polynomial. Preprint, available from http://math.samford.edu/∼cawtrey/deo.pdf.
[4] Butler, G., McKay, J. (1983). The transitive groups of degree up to eleven. Commun. Algebra11(8):863-911. DOI: . · Zbl 0518.20003
[5] Chen, M. H. W., Chin, A. Y. M., Tan, T. S.Galois groups of certain even octic polynomials. J. Algebra Appl., to appear. · Zbl 07766206
[6] Dickson, L. E. (1908). The Galois group of a reciprocal quartic equation. Amer. Math. Monthly15(4):71-78. DOI: . · JFM 39.0130.01
[7] The GAP Group. (2018). GAP - Groups, Algorithms, and Programming, Version 4.8.10. Available from http://www.gap-system.org.
[8] Harrington, J., Jones, L. (2017). The irreducibility of power compositional sextic polynomials and their Galois groups. Math. Scand.120(2):181-194. DOI: . · Zbl 1414.12001
[9] Ide, J., Jones, L. (2014). Infinite families of A_4-sextic polynomials. Can. Math. Bull.57(3):538-545. DOI: . · Zbl 1372.12001
[10] Jones, L. (2022). Monogenic reciprocal trinomials and their Galois groups. J. Algebra Appl.21(2):Paper No. 2250026, 11. DOI: . · Zbl 1500.11075
[11] Jones, L., Phillips, T. (2018). An infinite family of ninth degree dihedral polynomials. Bull. Aust. Math. Soc.97(1):47-53. DOI: . · Zbl 1379.12005
[12] Spearman, B. K., Williams, K. S. (2008). The simplest D_4-octics. Int. J. Algebra2(1-4):79-89. · Zbl 1144.11074
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.