Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-25T10:43:33.969Z Has data issue: false hasContentIssue false

Malcev presentations for subsemigroups of groups — a survey

Published online by Cambridge University Press:  07 May 2010

Alan J. Cain
Affiliation:
School of Mathematics and Statistics, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, United Kingdom
C. M. Campbell
Affiliation:
University of St Andrews, Scotland
M. R. Quick
Affiliation:
University of St Andrews, Scotland
E. F. Robertson
Affiliation:
University of St Andrews, Scotland
G. C. Smith
Affiliation:
University of Bath
Get access

Summary

Abstract

This paper introduces and surveys the theory of Malcev presentations. [Malcev presentations are a species of presentation that can be used to define any semigroup that can be embedded into a group.] In particular, various classes of groups and monoids all of whose finitely generated subsemigroups admit finite Malcev presentations are described; closure and containment results are stated; links with the theory of automatic semigroups are mentioned; and various questions asked. Many of the results stated herein are summarized in tabular form.

Introduction

A Malcev presentation is a presentation of a special type for a semigroup that embeds in a group. Informally, a Malcev presentation defines a semigroup by means of generators, defining relations, and the unwritten rule that the semigroup so defined must be embeddable in a group. This rule of group-embeddability is worth an infinite number of defining relations, in the sense that a semigroup may admit a finite Malcev presentation but no finite ‘ordinary’ presentation. Spehner [31] introduced Malcev presentations, though they are based on Malcev's necessary and sufficient condition for a semigroup to be embeddable into a group [22]. Spehner exhibited an example of a finitely generated submonoid of a free monoid that admitted a finite Malcev presentation but which was not finitely presented. He later showed that all finitely generated submonoids of free monoids have finite Malcev presentations [32]. Until the recent work of Cain, Robertson & Ruškuc [12, 11, 10, 9, 8], Spehner's two articles represented the whole of the literature on Malcev presentations.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2007

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×