Computation with finitely presented groups

Contents\0......Page 9
Preface\0......Page 13
Introduction\0......Page 17
1.1 Set-theoretic preliminaries\0......Page 22
1.2 Monoids\0......Page 24
1.3 Groups\0......Page 31
1.4 Presentations\0......Page 34
1.5 Computability\0......Page 42
1.6 Procedure descriptions\0......Page 45
1.7 The integers\0......Page 49
1.8 Backtrack searches\0......Page 51
1.9 Historical notes\0......Page 56
2.1 Orderings of free monoids\0......Page 59
2.2 Canonical forms\0......Page 67
2.3 A test for confluence\0......Page 73
2.4 Rewriting strategies\0......Page 82
2.5 The Knuth-Bendix procedure\0......Page 84
2.6 A second version\0......Page 92
2.7 Some useful heuristics\0......Page 99
2.8 Right congruences\0......Page 104
3 Automata and rational languages\0......Page 112
3.1 Languages\0......Page 113
3.2 Automata\0......Page 116
3.3 Automata, continued\0......Page 124
3.4 The subset construction\0......Page 127
3.5 Index automata\0......Page 128
3.6 Trim automata\0......Page 136
3.7 Minimal automata\0......Page 142
3.8 Standard automata\0......Page 146
3.9 Additional constructions\0......Page 157
3.10 More rewriting applications\0......Page 163
4.1 Niladic rewriting systems\0......Page 167
4.2 Subgroups and their languages\0......Page 175
4.3 Important cosets\0......Page 178
4.4 Coset automata\0......Page 187
4.5 Basic coset enumeration\0......Page 191
4.6 The coincidence procedure\0......Page 203
4.7 Standardization in place\0......Page 208
4.8 Computation with subgroups\0......Page 212
4.9 Standard coset tables\0......Page 219
*4.10 Other methods\0......Page 226
*4.11 General nladic systems\0......Page 228
5.1 The general case\0......Page 233
5.2 The HLT strategy\0......Page 243
5.3 The Felsch strategy\0......Page 0
5.4 Standardizing strategies\0......Page 248
5.5 Ten versions\0......Page 255
5.6 Low-index subgroups\0......Page 261
5.7 Other applications\0......Page 267
5.8 A comparison with the Knuth-Bendix procedure\0......Page 276
5.9 Historical notes\0......Page 280
6.1 Presentations of subgroups\0......Page 284
6.2 Examples of extended coset enumeration\0......Page 292
6.3 An extended HLT enumeration procedure\0......Page 299
6.4 Simplifying presentations\0......Page 306
6.5 Historical notes\0......Page 310
*7 Generalized automata\0......Page 312
*7.1 Definitions\0......Page 313
*7.2 Generalized coset automata\0......Page 317
*7.3 Basic operations\0......Page 324
*7.4 Some examples\0......Page 330
8 Abelian groups\0......Page 335
8.1 Free abelian groups\0......Page 336
8.2 Elementary matrices\0......Page 346
8.3 Finitely generated abelian groups\0......Page 348
8.4 Modular techniques\0......Page 355
8.5 The Kannan-Bachem algorithm\0......Page 365
8.6 Lattice reduction\0......Page 376
8.7 The modified LLL algorithm\0......Page 388
8.8 A comparison\0......Page 394
8.9 Historical notes\0......Page 397
9 Polycyclic groups\0......Page 399
9.1 Commutator subgroups\0......Page 400
9.2 Solvable and nilpotent groups\0......Page 402
9.3 Polycyclic groups\0......Page 406
9.4 Polycyclic presentations\0......Page 410
9.5 Subgroups\0......Page 422
9.6 Homomorphisms\0......Page 430
9.7 Conjugacy in nilpotent groups\0......Page 433
9.8 Cyclic extensions\0......Page 435
9.9 Consistency, the nilpotent case\0......Page 446
9.10 Free nilpotent groups\0......Page 452
9.11 p-Groups\0......Page 461
10 Module bases\0......Page 464
10.1 Ideals in Z[X]\0......Page 465
10.2 Modules over Z[X]\0......Page 471
10.3 Modules over 96[X, Y]\0......Page 483
10.4 The total degree ordering\0......Page 487
10.5 The Grobner basis approach\0......Page 498
10.6 Grobner bases\0......Page 504
10.7 Rings of Laurent polynomials\0......Page 511
10.8 Group rings\0......Page 523
10.9 Historical notes\0......Page 528
11.1 Describing quotient groups\0......Page 530
11.2 Abelian quotients\0......Page 533
11.3 Extensions of modules\0......Page 540
11.4 Class 2 quotients\0......Page 551
11.5 Other nilpotent quotients\0......Page 561
11.6 Metabelian quotients\0......Page 572
11.7 Enforcing exponent laws\0......Page 577
11.8 Verifying polycyclicity\0......Page 584
11.9 Historical notes\0......Page 585
Appendix: Implementation issues\0......Page 586
Bibliography\0......Page 597
Index\0......Page 613