St Andrews Research Repository

St Andrews University Home
View Item 
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  •   St Andrews Research Repository
  • University of St Andrews Research
  • University of St Andrews Research
  • University of St Andrews Research
  • View Item
  • Register / Login
JavaScript is disabled for your browser. Some features of this site may not work without it.

Computing finite semigroups

Thumbnail
View/Open
1510.01868v1 (743.2Kb)
East_2018_Computing_finite_JSC_AAM.pdf (752.4Kb)
Date
05/2019
Author
East, James
Egri-Nagy, Attila
Mitchell, James D.
Péresse, Yann
Keywords
Semigroups
Monoids
Regular semigroups
Subsemigroups
Algorithms
Graphs
Digraphs
Green's relations
QA Mathematics
Algebra and Number Theory
Computational Mathematics
DAS
BDC
Metadata
Show full item record
Abstract
Using a variant of Schreier's Theorem, and the theory of Green's relations, we show how to reduce the computation of an arbitrary subsemigroup of a finite regular semigroup to that of certain associated subgroups. Examples of semigroups to which these results apply include many important classes: transformation semigroups, partial permutation semigroups and inverse semigroups, partition monoids, matrix semigroups, and subsemigroups of finite regular Rees matrix and 0-matrix semigroups over groups. For any subsemigroup of such a semigroup, it is possible to, among other things, efficiently compute its size and Green's relations, test membership, factorize elements over the generators, find the semigroup generated by the given subsemigroup and any collection of additional elements, calculate the partial order of the D-classes, test regularity, and determine the idempotents. This is achieved by representing the given subsemigroup without exhaustively enumerating its elements. It is also possible to compute the Green's classes of an element of such a subsemigroup without determining the global structure of the semigroup.
Citation
East , J , Egri-Nagy , A , Mitchell , J D & Péresse , Y 2019 , ' Computing finite semigroups ' , Journal of Symbolic Computation , vol. 92 , pp. 110-155 . https://doi.org/10.1016/j.jsc.2018.01.002
Publication
Journal of Symbolic Computation
Status
Peer reviewed
DOI
https://doi.org/10.1016/j.jsc.2018.01.002
ISSN
0747-7171
Type
Journal article
Rights
© 2018, Elsevier Ltd. This work has been made available online in accordance with the publisher’s policies. This is the author created accepted version manuscript following peer review and as such may differ slightly from the final published version. The final published version of this work is available at https://doi.org/10.1016/j.jsc.2018.01.002
Collections
  • University of St Andrews Research
URL
http://arxiv.org/abs/1510.01868v1
http://arxiv.org/abs/1510.01868v3
URI
http://hdl.handle.net/10023/9138

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

Advanced Search

Browse

All of RepositoryCommunities & CollectionsBy Issue DateNamesTitlesSubjectsClassificationTypeFunderThis CollectionBy Issue DateNamesTitlesSubjectsClassificationTypeFunder

My Account

Login

Open Access

To find out how you can benefit from open access to research, see our library web pages and Open Access blog. For open access help contact: openaccess@st-andrews.ac.uk.

Accessibility

Read our Accessibility statement.

How to submit research papers

The full text of research papers can be submitted to the repository via Pure, the University's research information system. For help see our guide: How to deposit in Pure.

Electronic thesis deposit

Help with deposit.

Repository help

For repository help contact: Digital-Repository@st-andrews.ac.uk.

Give Feedback

Cookie policy

This site may use cookies. Please see Terms and Conditions.

Usage statistics

COUNTER-compliant statistics on downloads from the repository are available from the IRUS-UK Service. Contact us for information.

© University of St Andrews Library

University of St Andrews is a charity registered in Scotland, No SC013532.

  • Facebook
  • Twitter