An algorithmic approach to fundamental groups and covers of combinatorial cell complexes. (English) Zbl 0942.57002
This paper describes a practical algorithmic approach to the computation of fundamental groups, first homology groups and of deck groups of two dimensional cell complexes. Some of the algorithms have been implemented in GAP using the GRAPE package.
Reviewer: Jonathan Hodgson (Philadelphia)
MSC:
| 57M20 | Two-dimensional complexes (manifolds) (MSC2010) |
| 68W30 | Symbolic computation and algebraic computation |
| 57M05 | Fundamental group, presentations, free differential calculus |
| 57M10 | Covering spaces and low-dimensional topology |
| 57-04 | Software, source code, etc. for problems pertaining to manifolds and cell complexes |
References:
| [1] | Aschbacher, M., Combinatorial cell complexes, Adv. Stud. Pure Math., 24, 1-80 (1996) · Zbl 0884.05097 |
| [2] | Aschbacher, M.; Kleidman, P. B., On a conjecture of Quillen and a lemma of Robinson, Archiv. Math., 55, 209-217 (1990) · Zbl 0723.20012 |
| [3] | Aschbacher, M.; Segev, Y., The uniqueness of groups of type \(J_4\), Inv. Math., 105, 589-607 (1991) · Zbl 0735.20006 |
| [4] | Aschbacher, M.; Segev, Y., Extending morphisms of groups and graphs, Ann. Math., 135, 297-323 (1992) · Zbl 0778.20009 |
| [5] | Aschbacher, M.; Segev, Y., Locally connected simplicial maps, Isr. J. Math., 77, 285-303 (1992) · Zbl 0793.57011 |
| [6] | Aschbacher, M.; Smith, S. D., On Quillen’s conjecture for the \(p\) -group complex, Ann. Math., 137, 473-529 (1993) · Zbl 0782.20039 |
| [7] | Brouwer, A. E.; Cohen, A. M.; Neumaier, A., Distance-regular Graphs (1989), Springer: Springer Berlin and New York · Zbl 0747.05073 |
| [8] | Godsil, C. D.; Jurišić, A.; Schade, T., Distance regular antipodal covers of strongly regular graphs. Combinatorics and Optimization Research Report CORR91-02 (1990), University of Waterloo |
| [9] | Havas, G.; Majewski, B. S., Integer matrix diagonalization, J. Symb. Comput., 24, 399-408 (1997) · Zbl 0880.68066 |
| [10] | Ivanov, A. A.; Shpectorov, S. V., The \(P\) -geometry for \(M_{23}\) has no non-trivial 2-coverings, Eur. J. Comb., 11, 373-379 (1990) · Zbl 0712.51009 |
| [11] | Kantor, W. M., Some geometries that are almost buildings, Eur. J. Comb., 2, 239-247 (1981) · Zbl 0514.51006 |
| [12] | Kantor, W. M., Some exceptional 2-adic buildings, J. Algebra, 92, 208-233 (1985) · Zbl 0562.51006 |
| [13] | Kantor, W. M., Some locally finite flag transitive buildings, Eur. J. Comb., 8, 429-436 (1987) · Zbl 0645.51013 |
| [14] | E. H. Lo; E. H. Lo |
| [15] | Maunder, C. R.F, Algebraic Topology (1980), Cambridge University Press: Cambridge University Press Cambridge · Zbl 0435.55001 |
| [16] | Meixner, T., Some polar towers, Eur. J. Comb., 12, 397-415 (1991) · Zbl 0753.05016 |
| [17] | Neubüser, J., An elementary introduction to coset table methods in computational group theory, (Campbell, C. M.; Robertson, E. F., Groups—St Andrews 1981, LMS Lecture Notes 71 (1982), Cambridge University Press), 1-45 · Zbl 0489.20003 |
| [18] | Pasini, A., Diagram Geometries (1994), Oxford University Press · Zbl 0813.51002 |
| [19] | Quillen, D., Homotopy properties of the poset of nontrivial \(p\) -subgroups of a group, Adv. Math., 28, 101-128 (1978) · Zbl 0388.55007 |
| [20] | Reidemeister, K., Einführung in die kombinatorische Topologie (1951), Friedr. Vieweg & Sohn: Friedr. Vieweg & Sohn Braunschweig · Zbl 0042.17702 |
| [21] | Ronan, M. A., Coverings of automorphisms of chamber systems, Eur. J. Comb., 1, 259-269 (1980) · Zbl 0553.51004 |
| [22] | Ronan, M. A., On triangle geometries, J. Comb. Theory, Ser. A, 37, 294-319 (1984) · Zbl 0568.51002 |
| [23] | Schönert, M., GAP—Groups, Algorithms and Programming, \(4^{ th }\) edn (1994), Lehrstuhl D für Mathematik: Lehrstuhl D für Mathematik RWTH Aachen |
| [24] | Seifert, H.; Threlfall, W., Lehrbuch der Topologie (1934), Chelsea: Chelsea New York · JFM 60.0496.05 |
| [25] | Seifert, H.; Threlfall, W., A Textbook of Topology (1980), Academic Press: Academic Press London · Zbl 0469.55001 |
| [26] | Sims, C. C., Computation with Finitely Presented Groups (1994), Cambridge University Press · Zbl 0828.20001 |
| [27] | Soicher, L. H., In GRAPE: a System for Computing with Graphs and Groups, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, 11, 287-291 (1993) · Zbl 0833.05071 |
| [28] | Surowski, D. B., Covers of simplicial complexes and applications to geometry, Geom. Ded., 16, 35-62 (1984) · Zbl 0553.51008 |
| [29] | Tits, J., A local approach to buildings, (Davis, et al., The Geometric Vein, The Coxeter Festschrift (1981), Springer: Springer Berlin and New York), 519-547 · Zbl 0496.51001 |
| [30] | Tits, J., Ensembles ordonnés, immeubles et sommes amalgamées, Bull. Soc. Math. Belg., 38, 367-387 (1986) · Zbl 0626.20027 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
