Computational methods in constructive Galois theory

  • B. Heinrich Matzat
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 296)


This lecture can be viewed as a complement to my lecture [18] given in Berkeley. It begins with a short survey of the known rationality criteria for Galois extensions over ℂ(t1,...,ts) or, equivalently, for Galois coverings of the projective space ℙS(ℂ). In the subsequent sections some computational problems are discussed, which arise in the application of these theorems: computation of class numbers of generators of finite groups, computation of the braid orbits on classes of generators, construction of polynomials with given ramification structure, determination of Galois groups. The computational methods are examplified by the Mathieu groups M11,...,M24. So polynomials with Galois group M11,M12,M22 over ℚ are constructed and the existence of Galois extensions with Galois group M24 over ℚ is proved.


Finite Group Maximal Subgroup Galois Group Class Number Braid Group 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    BELYI, G.V.: On Galois extensions of a maximal cyclotomic field. Izv. Akad. Nauk SSSR Ser. Mat. 43, 267–276 (1979); Math. USSR Izv. 14, 247–256 (1980)Google Scholar
  2. [2]
    BUCHBERGER, B.: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes Math. 4, 374–383 (1970)CrossRefGoogle Scholar
  3. [3]
    CONWAY, J.H. et al.: Atlas of finite groups. Oxford: Clarendon Press 1985Google Scholar
  4. [4]
    FRIED, M.D.: Fields of definition of function fields and Hurwitz families — Groups as Galois groups. Commun. Algebra 5, 17–82 (1977)Google Scholar
  5. [5]
    FRIED, M.D.: On reduction of the inverse Galois group problem to simple groups. In Aschbacher, M. et al. eds.: Proceedings of the Rutgers group theory year, 1983–1984. Cambridge University Press 1984Google Scholar
  6. [6]
    FRIED, M.D. and BIGGERS, R.: Moduli spaces of covers and the Hurwitz monodromy group. J. reine angew. Math. 335, 87–121 (1982)Google Scholar
  7. [7]
    HÄFNER, F.: Realisierung der Mathieugruppen M24 und M23 als Galoisgruppen. Diplomarbeit, Karlsruhe 1987Google Scholar
  8. [8]
    HILBERT, D.: Über die Irreduzibilität ganzer rationaler Funktionen mit ganzzahligen Koeffizienten. J. reine angew. Math. 110, 104–129 (1892)Google Scholar
  9. [9]
    HOYDEN-SIEDERSLEBEN, G. and MATZAT, B.H.: Realisierung sporadischer einfacher Gruppen als Galoisgruppen über Kreisteilungskörpern. J. Algebra 101, 273–285 (1986)CrossRefGoogle Scholar
  10. [10]
    HURWITZ, A.: Über Riemann'sche Flächen mit gegebenen Verzweigungspunkten. Math. Ann. 39, 1–61 (1891)CrossRefGoogle Scholar
  11. [11]
    MALLE, G.: Polynomials for primitive nonsolvable permutation groups of degree d≤15. J. Symb. Comp. 4 (1987)Google Scholar
  12. [12]
    MALLE, G.: Polynomials with Galois groups Aut(M22), M22 and PSL3(ℚ)·22 over ℚ (to appear)Google Scholar
  13. [13]
    MALLE, G. and MATZAT, B.H.: Realisierung von Gruppen PSL2(Fp) als Galoisgruppen über ℚ. Math. Ann. 272, 549–565 (1985)CrossRefGoogle Scholar
  14. [14]
    MATZAT, B.H.: Konstruktion von Zahl-und Funktionenkörpern mit vorgegebener Galoisgruppe. J. reine angew. Math. 349, 179–220 (1984)Google Scholar
  15. [15]
    MATZAT, B.H.: Zwei Aspekte konstruktiver Galoistheorie. J. Algebra 96, 499–531 (1985)CrossRefGoogle Scholar
  16. [16]
    MATZAT, B.H.: Topologische Automorphismen in der konstruktiven Galoistheorie. J. reine angew. Math. 371, 16–45 (1986)Google Scholar
  17. [17]
    MATZAT, B.H.: Konstruktive Galoistheorie. Lecture Notes in Mathematics 1284 (1987)Google Scholar
  18. [18]
    MATZAT, B.H.: Rationality criteria for Galois extensions (to appear)Google Scholar
  19. [19]
    MATZAT, B.H.: Zöpfe und Galoissche Gruppen (in preparation)Google Scholar
  20. [20]
    MATZAT, B.H. and ZEH-MARSCHKE, A.: Realisierung der Mathieugruppen M11 und M12 als Galoisgruppen über ℚ. J. Number Theory 23, 195–202 (1986)CrossRefGoogle Scholar
  21. [21]
    MATZAT, B.H. and ZEH-MARSCHKE, A.: Polynome mit der Galoisgruppe M11 über ℚ. J. Symb. Comp. 4, 93–97 (1987)Google Scholar
  22. [22]
    PRZYWARA, B.: Die Operation der Hurwitzschen Zopfgruppe auf den Erzeugendensystemklassen endlicher Gruppen. Diplomarbeit, Karlsruhe (in preparation)Google Scholar
  23. [23]
    ŠAFAREVIČ, I.R.: Construction of fields of algebraic numbers with given solvable Galois group. Izv. Akad. Nauk SSSR Ser. Mat. 18, 525–578 (1954); Amer. Math. Soc. Transl. 4, 185–237 (1956)Google Scholar
  24. [24]
    SHIH, K.-Y.: On the construction of Galois extensions of function fields and number fields. Math. Ann. 207, 99–120 (1974)Google Scholar
  25. [25]
    THOMPSON, J.G.: Some finite groups which appear as Gal(L/K), where (μn). J. Algebra 89, 437–499 (1984)Google Scholar
  26. [26]
    TRINKS, W.: Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen. J. Number Theory 10, 475–488 (1978)Google Scholar
  27. [27]
    TRINKS, W.: On improving approximate results of Buchberger's algorithm by Newton's method. ACM SIGSAM Bull. 18, No 3, 7–11 (1984)Google Scholar
  28. [28]
    WEBER, W.: Lehrbuch der Algebra III. Braunschweig: Vieweg 1908Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • B. Heinrich Matzat
    • 1
  1. 1.Fachbereich Mathematik, TU BerlinBerlin 12

Personalised recommendations