Semigroups with one defining relation whose elementary theories are solvable
From MaRDI portal
(Redirected from Publication:800486)
A semigroup with one defining relation has a decidable elementary theory iff it is either monogenic or generated by two elements a,b and defined by one of the following relations: (I) \(ab=ba\), (II) \(ab=b^ k\), \(k=1,2,...\), (III) \(ba=b^ k\), \(k=1,2,...\), (IV) \(ab=aba\), (V) \(ba=aba\), (VI) \(ab=bab^ 2\), (VII) \(ba=b^ 2ab\), (VIII) \(a=bab\), (IX) \(a^ 2=b^ 2\).
Recommendations
- Elementary theories of completely simple semigroups
- Some one-relator semigroup presentations with solvable word problems
- Semigroups presented by one relation and satisfying the Church-Rosser property
- scientific article; zbMATH DE number 3872110
- scientific article; zbMATH DE number 679820
- The word problem for one-relator semigroups
- scientific article; zbMATH DE number 4089806
- Problems of equality and divisibility in semigroups with a single defining relation
- scientific article; zbMATH DE number 3946109
- Finite solvable groups in which semi-normality is a transitive relation.
Cites work
Cited in
(8)- Automatic presentations for semigroups.
- Semigroups presented by one relation and satisfying the Church-Rosser property
- The word problem for one-relation monoids: a survey
- Correction to: ``The word problem for one-relation monoids: a survey
- scientific article; zbMATH DE number 3946109 (Why is no real title available?)
- Elementary theories of completely simple semigroups
- Isomorphism problem for semigroups with one defining relation
- Decidability of elementary theories of lattices of subsemigroups
This page was built for publication: Semigroups with one defining relation whose elementary theories are solvable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800486)
