Research@StAndrews
 
The University of St Andrews

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
This item has been viewed 13 times in the last year. View Statistics

Files in This Item:

File Description SizeFormat
Robertson2006-MathProcCambPhilSoc141-Subsemigroups.pdf126.43 kBAdobe PDFView/Open
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:Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research
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.

 

DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: Digital-Repository@st-andrews.ac.uk | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)