Table of Contents

Group Theoretical Preliminaries. History of Computational Group Theory (CGT) and Its Place Within Computational Algebra. Methods of Representing Groups on a Computer. Base and Strong Generating Set Methods in Finite Permutation and Matrix Groups. Coset Enumeration. Computation in Finite Nilpotent and Solvable Groups. Representation Theory, Character Theory, and Cohomology. Algorithms Based on the Normal Structure of Finite Groups. Libraries and Databases of Groups. The Matrix Group Recognition Project. Special Techniques for Computing with Very Large Groups and Their Representations. Quotient Algorithms for Finitely Presented Groups. Rewriting Systems and the Knuth-Bendix Completion Process. Automatic Groups (Methods Involving Finite State Automata)

About the Author

Derek F. Holt, Bettina Eick, Eamonn A. O'Brien

Reviews

"This is a book I am very happy to have, both for the choice of content and the quality of exposition. Its subject is a very complete and up-to-date review of computational group theory. …All together, the book contains of a huge amount of information. …I think every mathematician will want this book on his shelf."
-Mathematics of Computation"It will be an indispensable source for any user in this field." – G. Kowol, in Monatshefte fur Math, 2007, Vol. 151, No. 3