Permutation Group Algorithms

ISBN-13: 9780521661034 / Angielski / Twarda / 2003 / 274 str.

Akos Seress

Opis

Permutation group algorithms are indispensable in the proofs of many deep results, including the construction and study of sporadic finite simple groups. This work describes the theory behind permutation group algorithms, up to the most recent developments based on the classification of finite simple groups. Rigorous complexity estimates, implementation hints, and advanced exercises are included throughout. The central theme is the description of nearly linear time algorithms, which are extremely fast both in terms of asymptotic analysis and of practical running time. The book fills a significant gap in the symbolic computation literature for readers interested in using computers in group theory.

Recenzje

'… this monograph by Akos Seress, one of the leaders in the field, is a welcome contribution. … the monograph is welcome not only for giving us an encyclopaedic account of the area, but also for its timeliness. A good author of a good book stamps his or her tastes and expertise firmly on the pages. That is what has happened here. In particular, because it should be of lasting value, it is a very appropriate addition to the Cambridge Tracts.' Peter M. Neumann, The Queen's College, Oxford

Spis treści

1. Introduction; 2. Black-box groups; 3. Permutation groups: a complexity overview; 4. Bases and strong generating sets; 5. Further low-level algorithms; 6. A library of nearly linear time algorithms; 7. Solvable permutation groups; 8. Strong generating tests; 9. Backtrack methods; 10. Large-base groups.