Skip to main content

A Problem in Group Theory Solved by Computer Algebra

  • Conference paper
Commutative Algebra, Singularities and Computer Algebra

Part of the book series: NATO Science Series ((NAII,volume 115))

  • 796 Accesses

Abstract

 It is briefly explained how to characterize the class of finite solvable groups by 2-variable identities, a result obtained by T. Bandman, G.-M. Greuel, R Grunewald, B. Kunyavski, E.Plotkin, and the author. The description uses algebraic gemetry (the Hasse-Weil Theorem) and computer algebra (Groebner basis)

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Y. Aubry, M. Perret A Weil theorem for singular curves. Arithmetic, Geometry and Coding Theory. Eds.: R. Pellikaan, M. Perret and S.G. Vladut, Walter de Gruyter, Berlin-New York, (1996), 1–7.

    Chapter  Google Scholar 

  2. B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD Thesis, University of Innsbruck, Austria (1965).

    Google Scholar 

  3. G.-M. Greuel, G. Pfister, H. Schönemann. Singular 2.0. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern (2001), http://www.singular.uni-kl.de

    Google Scholar 

  4. G.-M. Greuel,G. Pfister. Advances and Improvements in the Theory of Standard Bases and Syzygies. Arch. Math. 66, (1996), 163–176.

    Article  MathSciNet  MATH  Google Scholar 

  5. G.-M. Greuel, G. Pfister. Gröbner Bases and Algebraic Geometry. In: B. Buchberger and F. Winkler (ed.): Grobner Bases and Applications. LNS 251, 109–143, CUP 1998.

    Google Scholar 

  6. G.-M. Greuel,G. Pfister. A Singular Introduction to Commutative Algebra. Springer (2002).

    Google Scholar 

  7. G.-M. Greuel,G. Pfister. Computer Algebra and Finite Groups. In: Proc, of the ICMS Beijing, 2002,4-14.

    Google Scholar 

  8. J. Thompson. Non-solvable finite groups all of whose local subgroups are solvable. Bull. Amer. Math. Soc. 74 (1968), 383-437.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media Dordrecht

About this paper

Cite this paper

Pfister, G. (2003). A Problem in Group Theory Solved by Computer Algebra. In: Herzog, J., Vuletescu, V. (eds) Commutative Algebra, Singularities and Computer Algebra. NATO Science Series, vol 115. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-1092-4_13

Download citation

  • DOI: https://doi.org/10.1007/978-94-007-1092-4_13

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-1487-1

  • Online ISBN: 978-94-007-1092-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics