#19275 ⟨a, b | aaa=a, abbab=ba⟩

Up:Monoids with two generators and two relations
Prev:#19274 ⟨a, b | aaa=a, abbab=ab⟩
Next:#19276 ⟨a, b | aaa=a, abbab=bb⟩

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. b5a ⇒ ba
  2. bab4 ⇒ ba
  3. aba ⇒ b2ab
  4. ab2a ⇒ bab3
  5. ab3a ⇒ b3ab2
  6. ab4a ⇒ b4a2
  7. ba2b ⇒ b2a2
  8. a3 ⇒ a 
# ab:aaa=a,abbab=ba reversed:b/a
bbbbba=ba
babbbb=ba
aba=bbab
abba=babbb
abbba=bbbabb
abbbba=bbbbaa
baab=bbaa
aaa=a

Right Cayley graph (truncated)

Left Cayley graph (truncated)