#1615 ⟨a, b | aaabaabaa=a⟩

Up:Monoids with two generators and one relation
Prev:#1614 ⟨a, b | aaabaaabb=b⟩
Next:#1616 ⟨a, b | aaabaabaa=b⟩

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. c2bc ⇒ cbc2
  2. (cb)2c2 ⇒ c
  3. acbc ⇒ abc2
  4. abcbc2 ⇒ a
  5. ca ⇒ ac
  6. c2ba ⇒ cbac
  7. (cb)2a ⇒ a(bc)2
  8. a2 ⇒ c
  9. acba ⇒ abac
  10. abcba ⇒ c(bc)4 
# ab:aaabaabaa=a bc/a aa=c frequency:2/0
ccbc=cbcc
cbcbcc=c
acbc=abcc
abcbcc=a
ca=ac
ccba=cbac
cbcba=abcbc
aa=c
acba=abac
abcba=cbcbcbcbc

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other isomorphic instances

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

1 total

Σ#PresentationMapping
101665⟨a, b | aabaaaaba=a⟩φ(a) = a, φ(b) = b