×

General formulas for solving solvable sextic equations. (English) Zbl 0990.11067

It is shown that there is a common formula for finding the roots of all irreducible sextic polynomials \(f(X)\in \mathbb{Q}[X]\) with Galois group \(\text{Gal}(f)\) over \(\mathbb{Q}\) a transitive solvable subgroup of the symmetric group \(S_6\). The author gives an algorithm for the determination of the Galois group of an irreducible sextic polynomial over \(\mathbb{Q}\) and for determination of the roots by radicals, if it is solvable by radicals. Moreover, once the roots \(r_i\) are calculated, he gives a procedure for numbering them so that the Galois group acts via \(\tau(r_i)= r_{\tau(i)}\), for \(\tau\in \text{Gal}(f)\subset S_6\). There are sixteen non-isomorphic transitive subgroups of \(S_6\), up to conjugation, twelve of these groups are solvable and two of these are maximal solvable groups: \(G_{72}\) and \(G_{48}\).
The author explicitly computes in the Appendix the polynomials \(f_{10}\) and \(f_{15}\) of degree 10 and 15 that are Galois resolvents attached to the groups \(G_{72}\) and \(G_{48}\), and the discriminant of a general polynomial \(f(X)\in \mathbb{Q}[X]\) of degree 6. He gives explicit criteria for the determination of the Galois group of an irreducible polynomial \(f(X)\in \mathbb{Q}[X]\) of degree 6, in terms of factorization properties of \(f_{15}\) or \(f_{10}\) and to determine if the discriminant of \(f\) is a rational square. Explicit formulas for finding the roots of an irreducible, sextic polynomial \(f(X)\in \mathbb{Q}[X]\) with solvable Galois group are given in each of the three cases: \(\text{Gal}(f) \subset G_{72}\) and \(\text{Gal}(f) \nsubseteq G_{48}\); \(\text{Gal}(f) \subset G_{48}\), \(\text{Gal}(f) \nsubseteq G_{72}\); \(\text{Gal}(f) \subset G_{72}\cap G_{48}\). Two concrete examples are presented.
Results for quintic polynomials have been obtained by D. Dummit [Math. Comput. 57, 387-401 (1991; Zbl 0729.12008)].

MSC:

11R32 Galois theory
12F10 Separable extensions, Galois theory
12E10 Special polynomials in general fields

Citations:

Zbl 0729.12008
Full Text: DOI

References:

[1] Berwick, W. E.H., On soluble sextic equations, Proc. London Math. Soc. (2), 29, 1-28 (1927) · JFM 54.0125.03
[2] Butler, G.; McKay, J., The transitive groups of degree up to eleven, Comm. Algebra, 30, 863-911 (1983) · Zbl 0518.20003
[3] Casperson, D.; McKay, J., Symmetric functions, \(m\)-sets, and Galois groups, Math. Comp., 63, 749-757 (1994) · Zbl 0839.05094
[4] Cayley, A., On the substitution groups for two,…,eight letters, Coll. Math. Papers, 13, 125-130 (1897)
[5] Cole, F. N., Note on the substitution groups of six, seven, and eight letters, Bull. New York Math. Soc. (2), 184-190 (1893) · JFM 25.0205.04
[6] Dummit, D. S., Solving solvable quintics, Math. Comp., 57, 387-401 (1991) · Zbl 0729.12008
[7] Girstmair, K., On the computation of resolvents and Galois groups, Manuscripta Math., 43, 289-307 (1983) · Zbl 0525.12019
[8] Girstmair, K., On invariant polynomials and their applications in field theory, Math. Comp., 48, 781-797 (1987) · Zbl 0637.12012
[9] Girstmair, K., Specht modules and resolvents of algebraic equations, J. Algebra, 137, 12-43 (1991) · Zbl 0729.12002
[10] Landau, S., \(2+3:\) Four different view, Math. Intelligencer, 20, 55-60 (1998) · Zbl 0922.11115
[11] Landau, S.; Miller, G., Solvability by radicals is in polynomial time, J. Comput. System Sci., 30, 179-208 (1985) · Zbl 0586.12002
[12] Lefton, P., Galois resolvents of permutation groups, Amer. Math. Monthly, 84, 642-644 (1977) · Zbl 0374.12013
[13] Valibouze, A., Fonctions symmetriques et changements de bases, (Davenport, J. H., EUROCAL ’87. EUROCAL ’87, Lecture Notes in Computer Science, 378 (1987), Springer-Verlag: Springer-Verlag New York/Berlin), 323-332 · Zbl 1209.33001
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.