Skip to main content
Springer Nature Link
Log in

Computational methods in constructive Galois theory

  • Conference paper
  • First Online:
Trends in Computer Algebra

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 296))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Literature

  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. BUCHBERGER, B.: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems. Aequationes Math. 4, 374–383 (1970)

    Article  Google Scholar 

  3. CONWAY, J.H. et al.: Atlas of finite groups. Oxford: Clarendon Press 1985

    Google Scholar 

  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. 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 1984

    Google Scholar 

  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. HÄFNER, F.: Realisierung der Mathieugruppen M24 und M23 als Galoisgruppen. Diplomarbeit, Karlsruhe 1987

    Google Scholar 

  8. HILBERT, D.: Über die Irreduzibilität ganzer rationaler Funktionen mit ganzzahligen Koeffizienten. J. reine angew. Math. 110, 104–129 (1892)

    Google Scholar 

  9. HOYDEN-SIEDERSLEBEN, G. and MATZAT, B.H.: Realisierung sporadischer einfacher Gruppen als Galoisgruppen über Kreisteilungskörpern. J. Algebra 101, 273–285 (1986)

    Article  Google Scholar 

  10. HURWITZ, A.: Über Riemann'sche Flächen mit gegebenen Verzweigungspunkten. Math. Ann. 39, 1–61 (1891)

    Article  Google Scholar 

  11. MALLE, G.: Polynomials for primitive nonsolvable permutation groups of degree d≤15. J. Symb. Comp. 4 (1987)

    Google Scholar 

  12. MALLE, G.: Polynomials with Galois groups Aut(M22), M22 and PSL3(ℚ)·22 over ℚ (to appear)

    Google Scholar 

  13. MALLE, G. and MATZAT, B.H.: Realisierung von Gruppen PSL2(Fp) als Galoisgruppen über ℚ. Math. Ann. 272, 549–565 (1985)

    Article  Google Scholar 

  14. MATZAT, B.H.: Konstruktion von Zahl-und Funktionenkörpern mit vorgegebener Galoisgruppe. J. reine angew. Math. 349, 179–220 (1984)

    Google Scholar 

  15. MATZAT, B.H.: Zwei Aspekte konstruktiver Galoistheorie. J. Algebra 96, 499–531 (1985)

    Article  Google Scholar 

  16. MATZAT, B.H.: Topologische Automorphismen in der konstruktiven Galoistheorie. J. reine angew. Math. 371, 16–45 (1986)

    Google Scholar 

  17. MATZAT, B.H.: Konstruktive Galoistheorie. Lecture Notes in Mathematics 1284 (1987)

    Google Scholar 

  18. MATZAT, B.H.: Rationality criteria for Galois extensions (to appear)

    Google Scholar 

  19. MATZAT, B.H.: Zöpfe und Galoissche Gruppen (in preparation)

    Google Scholar 

  20. MATZAT, B.H. and ZEH-MARSCHKE, A.: Realisierung der Mathieugruppen M11 und M12 als Galoisgruppen über ℚ. J. Number Theory 23, 195–202 (1986)

    Article  Google Scholar 

  21. MATZAT, B.H. and ZEH-MARSCHKE, A.: Polynome mit der Galoisgruppe M11 über ℚ. J. Symb. Comp. 4, 93–97 (1987)

    Google Scholar 

  22. PRZYWARA, B.: Die Operation der Hurwitzschen Zopfgruppe auf den Erzeugendensystemklassen endlicher Gruppen. Diplomarbeit, Karlsruhe (in preparation)

    Google Scholar 

  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. SHIH, K.-Y.: On the construction of Galois extensions of function fields and number fields. Math. Ann. 207, 99–120 (1974)

    Google Scholar 

  25. THOMPSON, J.G.: Some finite groups which appear as Gal(L/K), where (μn). J. Algebra 89, 437–499 (1984)

    Google Scholar 

  26. TRINKS, W.: Über B. Buchbergers Verfahren, Systeme algebraischer Gleichungen zu lösen. J. Number Theory 10, 475–488 (1978)

    Google Scholar 

  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. WEBER, W.: Lehrbuch der Algebra III. Braunschweig: Vieweg 1908

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, TU Berlin, Straße des 17. Juni 135, D-1000, Berlin 12

    B. Heinrich Matzat

Authors
  1. B. Heinrich Matzat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rainer Janßen

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Matzat, B.H. (1988). Computational methods in constructive Galois theory. In: Janßen, R. (eds) Trends in Computer Algebra. Lecture Notes in Computer Science, vol 296. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18928-9_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-18928-9_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18928-2

  • Online ISBN: 978-3-540-38850-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics