#1420 ⟨a, b | aabababaab=1⟩

Up:Monoids with two generators and one relation
Prev:#1419 ⟨a, b | aababaabba=1⟩
Next:#1421 ⟨a, b | aababababa=1⟩

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. cb ⇒ bc
  2. bc3 ⇒ 1
  3. ca ⇒ bac4
  4. b2a ⇒ ab2
  5. aba ⇒ c 
# ab:aabababaab=1 bc/a aba=c frequency:3/0
cb=bc
bccc=1
ca=bacccc
bba=abb
aba=c

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.

3 total

Σ#PresentationMapping
101492⟨a, b | abaabaabab=1⟩φ(a) = a, φ(b) = b
101495⟨a, b | abaabababa=1⟩φ(a) = a, φ(b) = b
101508⟨a, b | ababaabaab=1⟩φ(a) = a, φ(b) = b