Subsemigroups of virtually free groups : finite Malcev presentations and testing for freeness
Abstract
This paper shows that, given a finite subset X of a finitely generated virtually free group F, the freeness of the subsemigroup of F generated by X can be tested algorithmically. (A group is virtually free if it contains a free subgroup of finite index.) It is then shown that every finitely generated subsemigroup, of F has a finite Malcev presentation (a type of semigroup presentation which can be used to define any semigroup that embeds in a group), and that such a presentation can be effectively found from any finite generating set.
Citation
Cain , AJ , Robertson , E F & Ruskuc , N 2006 , ' Subsemigroups of virtually free groups : finite Malcev presentations and testing for freeness ' , Mathematical Proceedings of the Cambridge Philosophical Society , vol. 141 , no. 1 , pp. 57-66 . https://doi.org/10.1017/S0305004106009236
Publication
Mathematical Proceedings of the Cambridge Philosophical Society
Status
Peer reviewed
ISSN
0305-0041Type
Journal article
Rights
(c)2006 Cambridge Philosophical Society
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.