#1671 ⟨a, b | aba=ab, bab=b⟩

Up:Monoids with two generators and two relations
Prev:#1669 ⟨a, b | aba=ab, baa=b⟩
Next:#1672 ⟨a, b | aba=ab, bba=a⟩

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. ba ⇒ b
  2. b2 ⇒ b 
# ab:aba=ab,bab=b ab
ba=b
bb=b

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.

14 total

Σ#PresentationMapping
91673⟨a, b | aba=ab, bba=b⟩φ(a) = a, φ(b) = b
105261⟨a, b | aba=ab, baab=b⟩φ(a) = a, φ(b) = b
105263⟨a, b | aba=ab, baba=b⟩φ(a) = a, φ(b) = b
105267⟨a, b | aba=ab, bbaa=b⟩φ(a) = a, φ(b) = b
1112573⟨a, b | abba=ab, baab=b⟩φ(a) = a, φ(b) = b
1112575⟨a, b | abba=ab, baba=b⟩φ(a) = a, φ(b) = b
1112577⟨a, b | abba=ab, babb=b⟩φ(a) = a, φ(b) = b
1112579⟨a, b | abba=ab, bbaa=b⟩φ(a) = a, φ(b) = b
1112581⟨a, b | abba=ab, bbab=b⟩φ(a) = a, φ(b) = b
1112583⟨a, b | abba=ab, bbba=b⟩φ(a) = a, φ(b) = b
1115876⟨a, b | aba=ab, baaab=b⟩φ(a) = a, φ(b) = b
1115878⟨a, b | aba=ab, baaba=b⟩φ(a) = a, φ(b) = b
1115882⟨a, b | aba=ab, babaa=b⟩φ(a) = a, φ(b) = b
1115890⟨a, b | aba=ab, bbaaa=b⟩φ(a) = a, φ(b) = b