VERIFYING THAT A GROUP IS VIRTUALLY FREE
1991 ◽
Vol 01
(03)
◽
pp. 339-351
Keyword(s):
This paper is concerned with computation in finitely presented groups. We discuss a procedure for showing that a finite presentation presents a group with a free subgroup of finite index, and we give methods for solving various problems in such groups. Our procedure works by constructing a particular kind of partial groupoid whose universal group is isomorphic to the group presented. When the procedure succeeds, the partial groupoid can be used as an aid to computation in the group.
2013 ◽
Vol 156
(1)
◽
pp. 115-121
2011 ◽
Vol 21
(04)
◽
pp. 547-574
◽
Keyword(s):
2016 ◽
Vol 26
(07)
◽
pp. 1467-1482
◽
1975 ◽
Vol 53
(1)
◽
pp. 32-32
◽
2009 ◽
Vol 01
(01)
◽
pp. 1-12
◽
1991 ◽
Vol 12
(4-5)
◽
pp. 427-438
◽