#2085 ⟨a, b | abbbaaab=aa⟩

Up:Monoids with two generators and one relation
Prev:#2084 ⟨a, b | abbabbba=bb⟩
Next:#2086 ⟨a, b | abbbaaab=ab⟩

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. (ca)3ac ⇒ a2
  2. a3caca2c ⇒ (ca)3a3
  3. a2b ⇒ caca2c
  4. ca2cb ⇒ ac
  5. a4cb ⇒ (ca)3a2c
  6. ab3 ⇒ c 
# ab:abbbaaab=aa ca/b abbb=c frequency:4/0
cacacaac=aa
aaacacaac=cacacaaaa
aab=cacaac
caacb=ac
aaaacb=cacacaaac
abbb=c

Right Cayley graph (truncated)

Left Cayley graph (truncated)