Automatic semigroup acts

Erzsébet R. Dombi, Miklós Hartmann

Research output: Contribution to journalArticle

95 Downloads (Pure)

Abstract

To give a general framework for the theory of automatic groups and semigroups, we introduce the notion of automaticity for semigroup acts. We investigate their basic properties and discuss how the property of being automatic behaves under changing the generators of the acting semigroup and under changing the generators of the semigroup act. In particular, we prove that under some conditions on the acting semigroup, the automaticity of the act is invariant under changing the generators. Since automatic semigroups can be seen as a special case of automatic semigroup acts, our result generalizes and extends the corresponding result on automatic semigroups, where the semigroup S satisfies S=SSS=SS. We also give a geometric approach in terms of the fellow traveller property and discuss the solvability of the equality problem in automatic semigroup acts. Our notion gives rise to a variety of definitions of automaticity depending on the set chosen as a semigroup act and we discuss future research directions.
Original languageEnglish
Pages (from-to)286–307
Number of pages22
JournalJournal of Algebra
Volume435
Early online date20 Apr 2015
DOIs
Publication statusPublished - 1 Aug 2015

Keywords

  • semigroup acts
  • automaticity
  • change of generators

Cite this