|
Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10023/1561
| Title: | Subsemigroups of virtually free groups : finite Malcev presentations and testing for freeness |
| Authors: | Cain, AJ
Robertson, Edmund Frederick
Ruskuc, Nikola |
| Keywords: | Context-free languages
QA Mathematics |
| Issue Date: | Jul-2006 |
| Citation: | Cain , A J , 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 . |
| 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. |
| Version: | Publisher PDF |
| Status: | Peer reviewed |
| URI: | http://hdl.handle.net/10023/1561 |
| DOI: | http://dx.doi.org/10.1017/S0305004106009236 |
| ISSN: | 0305-0041 |
| Type: | Journal article |
| Rights: | (c)2006 Cambridge Philosophical Society |
| Appears in Collections: | University of St Andrews Research
Applied Mathematics Research
Pure Mathematics Research
|
This item is protected by original copyright
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
