#4173 ⟨a, b | aabbabaab=ba⟩

Up:Monoid enumeration
Prev:#4172 ⟨a, b | aabbabaab=ab⟩
Next:#4174 ⟨a, b | aabbabaab=bb⟩

Contents

  1. Properties
  2. Rewriting system
  3. Other submonoids of anti-isomorphic group

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. acdc ⇒ d2 [10]
2. a(dc)2 ⇒ cd [14]
3. acdad ⇒ da [9]
4. adcdad ⇒ ca [13]
5. acdab ⇒ d [5]
6. adcdab ⇒ c [11]
7. ba ⇒ d [3]
8. bc ⇒ d2cdab [12]
9. bd ⇒ dcdab [8]
# ab:aabbabaab=ba reversed:acd/b abba=c,ba=d morph:4/0,2/0
acdc=dd
adcdc=cd
acdad=da
adcdad=ca
acdab=d
adcdab=c
ba=d
bc=ddcdab
bd=dcdab

Other submonoids of anti-isomorphic group

1 unique, 1 total

Σ#PresentationProperties
114870⟨a, b | abbabaab=baa⟩Can Inf