#5 ⟨a, b | aba=1⟩

Up:Monoids with two generators and one relation
Prev:#4 ⟨a, b | aab=1⟩
Next:#6 ⟨a, b | aa=a⟩

Properties

Complete 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
  1. ba ⇒ ab
  2. a2b ⇒ 1 
# ab:aba=1 ab
ba=ab
aab=1

Right Cayley graph (truncated)

Other isomorphic instances

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.

42 total

Σ#PresentationMapping
411⟨a, b | aaba=1⟩
526⟨a, b | aaaba=1⟩
528⟨a, b | aabaa=1⟩
531⟨a, b | abaab=1⟩
532⟨a, b | ababa=1⟩
656⟨a, b | aaaaba=1⟩
658⟨a, b | aaabaa=1⟩
7127⟨a, b | aaaaaba=1⟩
7129⟨a, b | aaaabaa=1⟩
7133⟨a, b | aaabaaa=1⟩
7140⟨a, b | aabaaab=1⟩
7141⟨a, b | aabaaba=1⟩
7152⟨a, b | abaaaba=1⟩
7153⟨a, b | abaabab=1⟩
7155⟨a, b | ababaab=1⟩
7156⟨a, b | abababa=1⟩
8271⟨a, b | aaaaaaba=1⟩
8273⟨a, b | aaaaabaa=1⟩
8277⟨a, b | aaaabaaa=1⟩
8305⟨a, b | aababaab=1⟩
8325⟨a, b | abaabaab=1⟩
8326⟨a, b | abaababa=1⟩
9597⟨a, b | aaaaaaaba=1⟩
9599⟨a, b | aaaaaabaa=1⟩
9603⟨a, b | aaaaabaaa=1⟩
9611⟨a, b | aaaabaaaa=1⟩
9626⟨a, b | aaabaaaab=1⟩
9627⟨a, b | aaabaaaba=1⟩
9654⟨a, b | aabaaaaba=1⟩
9656⟨a, b | aabaaabaa=1⟩
9705⟨a, b | abaababab=1⟩
9711⟨a, b | ababaabab=1⟩
9713⟨a, b | abababaab=1⟩
9714⟨a, b | ababababa=1⟩
101277⟨a, b | aaaaaaaaba=1⟩
101279⟨a, b | aaaaaaabaa=1⟩
101283⟨a, b | aaaaaabaaa=1⟩
101291⟨a, b | aaaaabaaaa=1⟩
101397⟨a, b | aabaaabaab=1⟩
101403⟨a, b | aabaabaaab=1⟩
101404⟨a, b | aabaabaaba=1⟩
101484⟨a, b | abaaabaaba=1⟩