#10729 ⟨a, b | aaab=baa, abab=1⟩

Up:Monoids with two generators and two relations
Prev:#10711 ⟨a, b | aaab=aba, bbbb=1⟩
Next:#10739 ⟨a, b | aaab=baa, bbbb=1⟩

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. a5 ⇒ 1
  2. ab ⇒ ba4
  3. b2 ⇒ 1 
# ab:aaab=baa,abab=1 a/b
aaaaa=1
ab=baaaa
bb=1

Cayley table

1aba2baa3ba2a4ba3ba4
11aba2baa3ba2a4ba3ba4
aaa2ba4a3ba4ba1ba2ba3
bbba1ba2aba3a2ba4a3a4
a2a2a3ba3a4ba41bababa2
bababa2a4ba31ba4aba2a3
a3a3a4ba21ba3aba4a2bba
ba2ba2ba3a3ba4a4b1baaa2
a4a41baaba2a2ba3a3ba4b
ba3ba3ba4a2ba3baa4ba21a
ba4ba4babaa2ba2a3ba3a41

Right Cayley graph

Left Cayley graph

Others with same cardinality

31 unique, 916 total

Σ#PresentationDescriptionRelated
7332⟨a, b | aa=1, abbb=b⟩Finite non-commutative monoid with 10 elements51 iso, 34 anti-iso
8507⟨a, b | aaa=b, abbb=1⟩Isomorphic to ℤ10536 iso
8656⟨a, b | bb=aa, aba=a⟩Finite non-commutative monoid with 10 elements1 iso
8657⟨a, b | bb=aa, aba=b⟩Finite non-commutative monoid with 10 elements1 iso
8970⟨a, b | aa=a, bbb=ab⟩Finite non-commutative monoid with 10 elements3 iso
91654⟨a, b | aab=bb, bba=a⟩Finite non-commutative monoid with 10 elements6 iso
92012⟨a, b | aaa=b, abbb=a⟩Isomorphic to ℕ(10 = 1)59 iso
92013⟨a, b | aaa=b, abbb=b⟩Isomorphic to ℕ(10 = 3)35 iso
92277⟨a, b | bb=aa, aba=aa⟩Finite non-commutative monoid with 10 elements1 iso
92894⟨a, b | aa=a, bbbbb=a⟩Isomorphic to ℕ(10 = 5)17 iso
92935⟨a, b | aa=b, bbbbb=b⟩Isomorphic to ℕ(10 = 2)57 iso
104637⟨a, b | aaaa=b, aabb=b⟩Isomorphic to ℕ(10 = 4)20 iso
105346⟨a, b | aaa=bb, abb=ab⟩Finite non-commutative monoid with 10 elements2 iso, 1 anti-iso
105356⟨a, b | aab=aa, aba=bb⟩Finite non-commutative monoid with 10 elements
106587⟨a, b | aaa=b, abbb=bb⟩Isomorphic to ℕ(10 = 6)3 iso
106633⟨a, b | aab=a, baaa=bb⟩Finite non-commutative monoid with 10 elements20 iso, 1 anti-iso
107089⟨a, b | ab=aa, baaa=bb⟩Finite non-commutative monoid with 10 elements3 iso
108619⟨a, b | aa=a, abbbbb=b⟩Finite non-commutative monoid with 10 elements5 iso
109051⟨a, b | ab=a, baaaa=bb⟩Finite non-commutative monoid with 10 elements4 iso
1112157⟨a, b | aaaa=aa, abba=b⟩Finite non-commutative monoid with 10 elements
1112181⟨a, b | aaaa=ab, baaa=b⟩Finite non-commutative monoid with 10 elements1 iso
1112196⟨a, b | aaaa=bb, aaab=a⟩Finite commutative monoid with 10 elements7 iso
1112197⟨a, b | aaaa=bb, aaab=b⟩Finite commutative monoid with 10 elements1 iso
1112452⟨a, b | aabb=aa, bbbb=a⟩Isomorphic to ℕ(10 = 8)3 iso
1115738⟨a, b | aab=bb, aaaaa=b⟩Isomorphic to ℕ(10 = 7)7 iso
1119564⟨a, b | aab=b, abbbb=aa⟩Finite commutative monoid with 10 elements5 iso
1119899⟨a, b | aaa=b, abbb=bbb⟩Isomorphic to ℕ(10 = 9)1 iso
1120052⟨a, b | aab=b, aaaa=baa⟩Finite non-commutative monoid with 10 elements
1120253⟨a, b | aba=b, aaaa=bbb⟩Finite commutative monoid with 10 elements
1125905⟨a, b | ab=a, bbbb=baaa⟩Finite non-commutative monoid with 10 elements
1125909⟨a, b | ab=a, bbbb=bbaa⟩Finite non-commutative monoid with 10 elements

Other isomorphic instances

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

3 total

Σ#PresentationMapping
1110734⟨a, b | aaab=baa, baba=1⟩φ(a) = a, φ(b) = b
1117527⟨a, b | abab=1, abbbba=b⟩φ(a) = b, φ(b) = a
1118055⟨a, b | abab=1, abbba=bb⟩φ(a) = b, φ(b) = a