#699 ⟨a, b | abaaabaab=1⟩

Up:Monoids with two generators and one relation
Prev:#696 ⟨a, b | abaaaaaba=1⟩
Next:#700 ⟨a, b | abaaababa=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. a2c2 ⇒ (ca)2
  2. cac2 ⇒ a
  3. a2b ⇒ c
  4. ac2ab ⇒ 1
  5. ba ⇒ c6ab
  6. bc ⇒ c4b 
# ab:abaaabaab=1 reversed:ac/b aab=c frequency:3/0
aacc=caca
cacc=a
aab=c
accab=1
ba=ccccccab
bc=ccccb

Right Cayley graph (truncated)

Left Cayley graph (truncated)

Other anti-isomorphic instances

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

1 total

Σ#PresentationMapping
9703⟨a, b | abaabaaab=1⟩φ(a) = a, φ(b) = b