#265 ⟨a, b | ab=a, abb=a⟩

Up:Monoids with two generators and two relations
Prev:#259 ⟨a, b | ab=a, aaa=a⟩
Next:#267 ⟨a, b | ab=a, baa=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. ab ⇒ a 
# ab:ab=a,abb=a ab
ab=a

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.

68 total

Σ#PresentationMapping
8934⟨a, b | ab=a, abbb=a⟩φ(a) = a, φ(b) = b
8996⟨a, b | ab=a, aab=aa⟩φ(a) = a, φ(b) = b
81000⟨a, b | ab=a, aba=aa⟩φ(a) = a, φ(b) = b
81005⟨a, b | ab=a, abb=ab⟩φ(a) = a, φ(b) = b
81014⟨a, b | ab=a, bab=ba⟩φ(a) = a, φ(b) = b
92966⟨a, b | ab=a, abbbb=a⟩φ(a) = a, φ(b) = b
93084⟨a, b | ab=a, aabb=aa⟩φ(a) = a, φ(b) = b
93092⟨a, b | ab=a, abab=aa⟩φ(a) = a, φ(b) = b
93096⟨a, b | ab=a, abba=aa⟩φ(a) = a, φ(b) = b
93101⟨a, b | ab=a, abbb=ab⟩φ(a) = a, φ(b) = b
93118⟨a, b | ab=a, babb=ba⟩φ(a) = a, φ(b) = b
93174⟨a, b | ab=a, aba=aab⟩φ(a) = a, φ(b) = b
108774⟨a, b | ab=a, abbbbb=a⟩φ(a) = a, φ(b) = b
109012⟨a, b | ab=a, aabbb=aa⟩φ(a) = a, φ(b) = b
109028⟨a, b | ab=a, ababb=aa⟩φ(a) = a, φ(b) = b
109036⟨a, b | ab=a, abbab=aa⟩φ(a) = a, φ(b) = b
109040⟨a, b | ab=a, abbba=aa⟩φ(a) = a, φ(b) = b
109045⟨a, b | ab=a, abbbb=ab⟩φ(a) = a, φ(b) = b
109078⟨a, b | ab=a, babbb=ba⟩φ(a) = a, φ(b) = b
109264⟨a, b | ab=a, aaab=aaa⟩φ(a) = a, φ(b) = b
109272⟨a, b | ab=a, aaba=aaa⟩φ(a) = a, φ(b) = b
109281⟨a, b | ab=a, aabb=aab⟩φ(a) = a, φ(b) = b
109282⟨a, b | ab=a, aabb=aba⟩φ(a) = a, φ(b) = b
109288⟨a, b | ab=a, abaa=aaa⟩φ(a) = a, φ(b) = b
109297⟨a, b | ab=a, abab=aab⟩φ(a) = a, φ(b) = b
109298⟨a, b | ab=a, abab=aba⟩φ(a) = a, φ(b) = b
109305⟨a, b | ab=a, abba=aab⟩φ(a) = a, φ(b) = b
109306⟨a, b | ab=a, abba=aba⟩φ(a) = a, φ(b) = b
109315⟨a, b | ab=a, abbb=abb⟩φ(a) = a, φ(b) = b
109332⟨a, b | ab=a, baab=baa⟩φ(a) = a, φ(b) = b
109340⟨a, b | ab=a, baba=baa⟩φ(a) = a, φ(b) = b
109349⟨a, b | ab=a, babb=bab⟩φ(a) = a, φ(b) = b
109366⟨a, b | ab=a, bbab=bba⟩φ(a) = a, φ(b) = b
1124458⟨a, b | ab=a, abbbbbb=a⟩φ(a) = a, φ(b) = b
1124920⟨a, b | ab=a, aabbbb=aa⟩φ(a) = a, φ(b) = b
1124952⟨a, b | ab=a, ababbb=aa⟩φ(a) = a, φ(b) = b
1124968⟨a, b | ab=a, abbabb=aa⟩φ(a) = a, φ(b) = b
1124976⟨a, b | ab=a, abbbab=aa⟩φ(a) = a, φ(b) = b
1124980⟨a, b | ab=a, abbbba=aa⟩φ(a) = a, φ(b) = b
1124985⟨a, b | ab=a, abbbbb=ab⟩φ(a) = a, φ(b) = b
1125050⟨a, b | ab=a, babbbb=ba⟩φ(a) = a, φ(b) = b
1125428⟨a, b | ab=a, aaabb=aaa⟩φ(a) = a, φ(b) = b
1125444⟨a, b | ab=a, aabab=aaa⟩φ(a) = a, φ(b) = b
1125452⟨a, b | ab=a, aabba=aaa⟩φ(a) = a, φ(b) = b
1125461⟨a, b | ab=a, aabbb=aab⟩φ(a) = a, φ(b) = b
1125462⟨a, b | ab=a, aabbb=aba⟩φ(a) = a, φ(b) = b
1125476⟨a, b | ab=a, abaab=aaa⟩φ(a) = a, φ(b) = b
1125484⟨a, b | ab=a, ababa=aaa⟩φ(a) = a, φ(b) = b
1125493⟨a, b | ab=a, ababb=aab⟩φ(a) = a, φ(b) = b
1125494⟨a, b | ab=a, ababb=aba⟩φ(a) = a, φ(b) = b
1125500⟨a, b | ab=a, abbaa=aaa⟩φ(a) = a, φ(b) = b
1125509⟨a, b | ab=a, abbab=aab⟩φ(a) = a, φ(b) = b
1125510⟨a, b | ab=a, abbab=aba⟩φ(a) = a, φ(b) = b
1125517⟨a, b | ab=a, abbba=aab⟩φ(a) = a, φ(b) = b
1125518⟨a, b | ab=a, abbba=aba⟩φ(a) = a, φ(b) = b
1125527⟨a, b | ab=a, abbbb=abb⟩φ(a) = a, φ(b) = b
1125560⟨a, b | ab=a, baabb=baa⟩φ(a) = a, φ(b) = b
1125576⟨a, b | ab=a, babab=baa⟩φ(a) = a, φ(b) = b
1125584⟨a, b | ab=a, babba=baa⟩φ(a) = a, φ(b) = b
1125593⟨a, b | ab=a, babbb=bab⟩φ(a) = a, φ(b) = b
1125626⟨a, b | ab=a, bbabb=bba⟩φ(a) = a, φ(b) = b
1125794⟨a, b | ab=a, aaba=aaab⟩φ(a) = a, φ(b) = b
1125799⟨a, b | ab=a, abaa=aaab⟩φ(a) = a, φ(b) = b
1125800⟨a, b | ab=a, abaa=aaba⟩φ(a) = a, φ(b) = b
1125805⟨a, b | ab=a, abab=aabb⟩φ(a) = a, φ(b) = b
1125810⟨a, b | ab=a, abba=aabb⟩φ(a) = a, φ(b) = b
1125812⟨a, b | ab=a, abba=abab⟩φ(a) = a, φ(b) = b
1125846⟨a, b | ab=a, baba=baab⟩φ(a) = a, φ(b) = b