#2036 ⟨a, b | abaabaab=ba⟩

Up:Monoids with two generators and one relation
Prev:#2035 ⟨a, b | abaabaab=ab⟩
Next:#2037 ⟨a, b | abaabaab=bb⟩

Quick links

  1. Properties
  2. Rewriting system
  3. Other submonoids of same group

Properties

Rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
#RuleProof
1. ac3 ⇒ ca [5]
2. a2b ⇒ c [2]
3. ba ⇒ c6ab [7]
4. bc ⇒ c9b [8]
# ab:abaabaab=ba reversed:ac/b aab=c morph:3/0
accc=ca
aab=c
ba=ccccccab
bc=cccccccccb

Other submonoids of same group

2 unique, 2 total

Σ#PresentationDescriptionRelated
699⟨a, b | aaab=ba⟩Infinite cancellative non-commutative monoid
8474⟨a, b | ababab=ba⟩Infinite cancellative non-commutative monoid