#15757 ⟨a, b | aab=bb, ababa=a⟩

Up:Monoids with two generators and two relations
Prev:#15738 ⟨a, b | aab=bb, aaaaa=b⟩
Next:#15760 ⟨a, b | aab=bb, ababb=b⟩

Properties

Element profile

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. a8 ⇒ a2
  2. ba2 ⇒ a4
  3. b2 ⇒ a2b
  4. a(ba)2 ⇒ a 
# ab:aab=bb,ababa=a a/b
aaaaaaaa=aa
baa=aaaa
bb=aab
ababa=a

Right Cayley graph

Left Cayley graph

Others with same cardinality

1 unique, 4 total

Σ#PresentationDescriptionRelated
109739⟨a, b | aa=1, ababbbb=b⟩Finite non-commutative monoid with 34 elements2 iso, 1 anti-iso