#1655 ⟨a, b | aab=bb, bba=b⟩

Up:Monoids with two generators and two relations
Prev:#1654 ⟨a, b | aab=bb, bba=a⟩
Next:#1657 ⟨a, b | aab=bb, bbb=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. b4 ⇒ b
  2. ba ⇒ b3
  3. a2b ⇒ b2 
# ab:aab=bb,bba=b b/a
bbbb=b
ba=bbb
aab=bb

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.

16 total

Σ#PresentationMapping
92046⟨a, b | aab=a, bbab=a⟩φ(a) = b, φ(b) = a
105195⟨a, b | aab=bb, aaba=b⟩φ(a) = a, φ(b) = b
1112528⟨a, b | abab=ab, bbab=a⟩φ(a) = b, φ(b) = a
1112580⟨a, b | abba=ab, bbab=a⟩φ(a) = b, φ(b) = a
1118934⟨a, b | aab=a, bbaabb=a⟩φ(a) = b, φ(b) = a
1118938⟨a, b | aab=a, bbabab=a⟩φ(a) = b, φ(b) = a
1118940⟨a, b | aab=a, bbabba=a⟩φ(a) = b, φ(b) = a
1119476⟨a, b | aab=a, bbaab=aa⟩φ(a) = b, φ(b) = a
1119480⟨a, b | aab=a, bbaba=aa⟩φ(a) = b, φ(b) = a
1119485⟨a, b | aab=a, bbabb=ab⟩φ(a) = b, φ(b) = a
1119934⟨a, b | aab=a, aaab=bba⟩φ(a) = b, φ(b) = a
1119942⟨a, b | aab=a, aaba=bba⟩φ(a) = b, φ(b) = a
1119958⟨a, b | aab=a, abaa=bba⟩φ(a) = b, φ(b) = a
1120016⟨a, b | aab=a, bbaa=aaa⟩φ(a) = b, φ(b) = a
1120025⟨a, b | aab=a, bbab=aab⟩φ(a) = b, φ(b) = a
1120026⟨a, b | aab=a, bbab=aba⟩φ(a) = b, φ(b) = a

Other anti-isomorphic instances

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

8 total

Σ#PresentationMapping
92100⟨a, b | aba=a, babb=a⟩φ(a) = b, φ(b) = a
105199⟨a, b | aab=bb, abaa=b⟩φ(a) = a, φ(b) = b
1112455⟨a, b | aabb=ab, abaa=b⟩φ(a) = a, φ(b) = b
1112479⟨a, b | aabb=ba, babb=a⟩φ(a) = b, φ(b) = a
1112525⟨a, b | abab=ab, babb=a⟩φ(a) = b, φ(b) = a
1112618⟨a, b | baab=ab, babb=a⟩φ(a) = b, φ(b) = a
1119148⟨a, b | aba=a, bababb=a⟩φ(a) = b, φ(b) = a
1120236⟨a, b | aba=a, babb=aba⟩φ(a) = b, φ(b) = a