×

Specht modules and resolvents of algebraic equations. (English) Zbl 0729.12002

K sei ein Körper der Charakteristik 0 und H sei eine Untergruppe der symmetrischen Gruppe \(S_ n\), die in natürlicher Weise auf den Polynomring \(K[X_ 1,...,X_ n]\) operiert. Ein Polynom h in \(K[X_ 1,...,X_ n]\), dessen Stabilisator H ist, heiße ein H-Polynom.
Das Polynom \(f(Z)=Z^ n+a_ 1Z^{n-1}+...a_ n\) habe n verschiedene Nullstellen \(\alpha_ 1,...,\alpha_ n\). Das Polynom \(h_ P=\prod (Z- \tau \circ P)\), wo \(\tau\) ein vollständiges Vertretersystem der Nebenklassen von \(S_ n\) bzgl. H durchläuft, hat Koeffizienten in K. Für explizite Berechnungen von Galoisgruppen ist es wichtig zu wissen, wann \(h_ P\) nur einfache Nullstellen hat. In dieser Hinsicht gibt Verf. etliche Kriterien, von denen die folgenden hervorgehoben werden können.
Für eine Untergruppe H von \(S_ n\) bezeichne d den kleinst-möglichen Grad eines H-Polynoms. Es wird bewiesen, daß ein H-Polynom h vom Grad d existiert derart, daß \(h_ P\) für jedes über K irreduzible Polynom mit \(S_ n\) als Galoisgruppe nur einfache Nullstellen besitzt. Das gleiche gilt, falls H eine transitive auflösbare Untergruppe von gerader Ordnung und n eine Primzahl ist. Ferner werden Beispiel von Körpern K und Gruppen H gegeben, für die \(h_ P\) für unendlich viele Polynome stets mehrfache Wurzeln hat. Die Beweise beruhen u.a. auf der Darstellungstheorie für Permutationsgruppen.

MSC:

12E12 Equations in general fields
12E05 Polynomials in general fields (irreducibility, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Bruen, A. A.; Jensen, C. U.; Yui, N., Polynomials with Frobenius groups of prime degree as Galois groups II, J. Number Theory, 24, 305-359 (1986) · Zbl 0598.12009
[2] Butler, G.; McKay, J., The transitive groups of degree up to 11, Commun. Algebra, 11, 863-911 (1983) · Zbl 0518.20003
[3] Conway, J. H., (Atlas of Finite Groups (1985), Clarendon Press: Clarendon Press Oxford)
[4] (Enzyklopädie der Mathematischen Wissenschaften, Vol. I (1898), Teubner: Teubner Leipzig), Part 1
[5] Erbach, D. W.; Fischer, J.; McKay, J., Polynomials with PSL(2, 7) as Galois group, J. Number Theory, 11, 69-75 (1979) · Zbl 0405.12011
[6] Girstmair, K., Linear dependence of zeros of polynomials and construction of primitive elements, Manuscripta Math., 39, 81-97 (1982) · Zbl 0514.12010
[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 application in field theory, Math. Comput., 48, 781-797 (1987) · Zbl 0637.12012
[9] Girstmair, K., Über die praktische Auflösung von Gleichungen höheren Grades, Math. Semesterber., 24, 231-245 (1987) · Zbl 0633.12011
[10] Huppert, B., Endliche Gruppen I (1967), Springer-Verlag: Springer-Verlag Berlin/Heidelberg · Zbl 0217.07201
[11] James, G.; Kerber, A., The Representation Theory of the Symmetric Group (1981), Addison-Wesley: Addison-Wesley Reading, MA
[12] Jordan, C., Traité des substitutions et des équations algébriques (1870), Gauthier-Villars: Gauthier-Villars Paris · JFM 02.0280.02
[13] Kantor, W. M., \(k\)-homogeneous groups, Math. Z., 124, 261-265 (1972) · Zbl 0232.20003
[14] Krull, W., (Elementare und klassische Algebra, Vol. II (1959), De Gruyter: De Gruyter Berlin) · Zbl 0095.24801
[15] Littlewood, D. E., The Theory of Group Characters and Matrix Representations of Groups (1950), Clarendon Press: Clarendon Press Oxford · Zbl 0038.16504
[16] Matzat, B. H., Konstruktive Galoistheorie (1987), Springer-Verlag: Springer-Verlag Berlin/Heidelberg · Zbl 0634.12011
[17] McClintock, E., Analysis of quintic equations, Amer. J. Math., 8, 45-84 (1886) · JFM 17.0070.04
[18] Neumann, P. E., Transitive permutation groups of prime degree III, (Proc. London Math. Soc. (3), 31 (1975)), 482-494 · Zbl 0324.20004
[19] Peel, M. H., Specht modules and symmetric groups, J. Algebra, 36, 88-97 (1975) · Zbl 0313.20005
[20] Royle, G. F., The transitive groups of degree 12, J. Symbolic Comput., 4, 255-268 (1987) · Zbl 0683.20002
[21] Runge, C., Über die auflösbaren Gleichungen von der Form \(x^5 + ux + v = 0\), Acta Math. (Uppsala), 7, 173-186 (1885) · JFM 17.0069.02
[22] Soicher, L., The computation of Galois groups, prépublication (1981), Université Laval: Université Laval Québec
[23] Soicher, L.; McKay, J., Computing Galois groups over the rationals, J. Number Theory, 20, 273-281 (1985) · Zbl 0579.12006
[24] Specht, W., Die irreduziblen Darstellungen der symmetrischen Gruppe, Math. Z., 39, 696-711 (1935) · JFM 61.0109.02
[25] Stauduhar, R. P., The determination of Galois groups, Math. Comp., 27, 981-996 (1973) · Zbl 0282.12004
[26] Weber, H., (Lehrbuch der Algebra, Vol. I (1898), Vieweg: Vieweg Braunschweig) · JFM 29.0064.01
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.