Infinite non-commutative monoids

Up:Monoid enumeration
39 unique, 105 total

Σ#PresentationPropertiesφ
7141⟨a, b | bab=a, bbb=1⟩Mon Inf11
8553⟨a, b | aba=b, aaaa=1⟩Mon Inf2
81189⟨a, b | aa=1, abba=bb⟩Mon Inf10
91302⟨a, b | baa=aab, bbb=1⟩Mon Inf
91438⟨a, b | babb=a, bbbb=1⟩Mon Inf7
91960⟨a, b | aba=b, aaaaa=1⟩Mon Inf2
92581⟨a, b | aaa=1, abba=bb⟩Mon Inf3
93508⟨a, b | aa=1, ababa=bb⟩Mon Inf16
103983⟨a, b | baab=aa, bbbb=1⟩Mon Inf
104080⟨a, b | baa=aab, aaaa=1⟩Mon Inf1
104089⟨a, b | baa=aab, bbbb=1⟩Mon Inf
104172⟨a, b | baa=aab, bab=a⟩Mon Inf
104478⟨a, b | aaba=b, aaaaa=1⟩Mon Inf3
106202⟨a, b | aba=b, aaaaaa=1⟩Mon Inf
106495⟨a, b | aba=b, aabaa=b⟩Mon Inf2
107200⟨a, b | bb=aa, abb=aaa⟩Mon Inf1
107206⟨a, b | bb=aa, bab=aba⟩Mon Inf
107777⟨a, b | aaa=1, aabba=bb⟩Mon Inf3
107788⟨a, b | aaa=1, ababa=bb⟩Mon Inf2
108066⟨a, b | aaa=1, abba=bab⟩Mon Inf1
1010295⟨a, b | aa=1, abbba=bbb⟩Mon Inf1
1110936⟨a, b | aabb=baa, bbbb=1⟩Mon Inf1
1111076⟨a, b | baab=aba, bbbb=1⟩Mon Inf
1112128⟨a, b | abba=bb, aaaaa=1⟩Mon Inf
1112823⟨a, b | baa=aab, bbbbb=1⟩Mon Inf
1113055⟨a, b | baa=aab, abba=b⟩Mon Inf
1113229⟨a, b | baa=aab, bbb=aa⟩Mon Inf
1114065⟨a, b | aaba=b, aaaaaa=1⟩Mon Inf
1115137⟨a, b | aab=ba, aaaaaa=1⟩Mon Inf
1116547⟨a, b | aba=bb, baa=aab⟩Mon Inf
1117652⟨a, b | aaaa=1, ababa=bb⟩Mon Inf
1118616⟨a, b | aba=b, aaaaaaa=1⟩Mon Inf
1122256⟨a, b | aaa=1, abaaba=bb⟩Mon Inf
1122268⟨a, b | aaa=1, ababba=bb⟩Mon Inf
1122792⟨a, b | aaa=1, ababa=bab⟩Mon Inf
1122793⟨a, b | aaa=1, ababa=bbb⟩Mon Inf
1122800⟨a, b | aaa=1, ababb=bba⟩Mon Inf
1122815⟨a, b | aaa=1, abbba=bbb⟩Mon Inf
1123320⟨a, b | aaa=1, bbba=abbb⟩Mon Inf