TY - JOUR
T1 - The manifestation of group ends in the todd-coxeter coset enumeration procedure
AU - Piggott, Adam
PY - 2007/2
Y1 - 2007/2
N2 - The issue of recognizing group properties, such as the cardinality of the group, directly from the dynamics of an incomplete coset enumeration is discussed. In particular, it is shown that the property of having two ends is recognizable in such a way. Further, sufficient conditions are given for termination of a coset enumeration with the declaration that the group under consideration has infinitely-many ends.
AB - The issue of recognizing group properties, such as the cardinality of the group, directly from the dynamics of an incomplete coset enumeration is discussed. In particular, it is shown that the property of having two ends is recognizable in such a way. Further, sufficient conditions are given for termination of a coset enumeration with the declaration that the group under consideration has infinitely-many ends.
KW - Coset enumeration
KW - Finitely presented groups
KW - Group ends
UR - http://www.scopus.com/inward/record.url?scp=33847666904&partnerID=8YFLogxK
U2 - 10.1142/S0218196707003561
DO - 10.1142/S0218196707003561
M3 - Article
SN - 0218-1967
VL - 17
SP - 203
EP - 220
JO - International Journal of Algebra and Computation
JF - International Journal of Algebra and Computation
IS - 1
ER -