#3773 ⟨a, b | aaaa=bb, abbb=1⟩

Properties

Presentation has sum-of-sides 10
Isomorphic to ℤ₁₄
Finite Abelian group with 14 elements
Commutative Gröbner basis: ⟨a, b | b¹⁴=1, a=b¹¹⟩
Inverses of generators:
- a^-1 = a¹³
- b^-1 = a⁵

Element profile

Complete rewriting system

Format:	Pretty Plain
Word to reduce:
	Tips: Lowercase letters stand for generators. Spaces are ignored. Numbers repeat the previous letter, e.g. `b90`.
Reduction strategy:	Leftmost Rightmost
Path to normal form:	1 1

Reduction order:
- Left-to-right recursive path with deg(a) = 0; deg(b) = 1

a¹⁴ ⇒ 1
b ⇒ a⁹

# ab:aaaa=bb,abbb=1 a/b
aaaaaaaaaaaaaa=1
b=aaaaaaaaa

Staircase diagram

Cayley table

	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³
1	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³
a	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1
a²	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a
a³	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²
a⁴	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³
a⁵	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴
a⁶	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵
a⁷	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶
a⁸	a⁸	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷
a⁹	a⁹	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸
a¹⁰	a¹⁰	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹
a¹¹	a¹¹	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰
a¹²	a¹²	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹
a¹³	a¹³	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	a¹⁰	a¹¹	a¹²

Right Cayley graph

Others with same cardinality

30 unique, 151 total

Σ	#	Presentation	Description	Related
8	1123	⟨a, b \| aa=1, abbbb=b⟩	Finite non-commutative monoid with 14 elements	42 iso, 17 anti-iso
9	1682	⟨a, b \| aba=bb, bab=a⟩	Finite non-commutative monoid with 14 elements	1 iso
9	3034	⟨a, b \| aa=a, bbbb=ab⟩	Finite non-commutative monoid with 14 elements	2 iso
10	5218	⟨a, b \| aab=bb, bbba=a⟩	Finite non-commutative monoid with 14 elements	5 iso, 1 anti-iso
10	5404	⟨a, b \| aab=bb, aba=aa⟩	Finite non-commutative monoid with 14 elements	1 iso
10	6718	⟨a, b \| aab=b, bbba=aa⟩	Finite non-commutative monoid with 14 elements	2 iso
11	12183	⟨a, b \| aaaa=ab, baab=b⟩	Finite non-commutative monoid with 14 elements	3 iso
11	12206	⟨a, b \| aaaa=bb, abbb=a⟩	Finite commutative monoid with 14 elements	1 iso
11	12207	⟨a, b \| aaaa=bb, abbb=b⟩	Finite commutative monoid with 14 elements	1 iso
11	12441	⟨a, b \| aabb=aa, baab=b⟩	Finite non-commutative monoid with 14 elements	3 iso
11	12499	⟨a, b \| abab=aa, abba=b⟩	Finite non-commutative monoid with 14 elements
11	14383	⟨a, b \| aaaa=b, aabbb=a⟩	Isomorphic to ℕ_{(14 = 1)}	15 iso
11	14384	⟨a, b \| aaaa=b, aabbb=b⟩	Isomorphic to ℕ_{(14 = 4)}	5 iso
11	15532	⟨a, b \| aaa=bb, abbbb=b⟩	Isomorphic to ℕ_{(14 = 3)}	11 iso
11	15539	⟨a, b \| aaa=bb, babbb=a⟩	Finite commutative monoid with 14 elements
11	16020	⟨a, b \| aaa=ab, baab=bb⟩	Finite non-commutative monoid with 14 elements	1 iso
11	16079	⟨a, b \| aaa=bb, bbbb=ab⟩	Finite non-commutative monoid with 14 elements
11	16293	⟨a, b \| aab=bb, abab=aa⟩	Finite non-commutative monoid with 14 elements
11	16470	⟨a, b \| aba=bb, bbbb=aa⟩	Finite non-commutative monoid with 14 elements
11	19552	⟨a, b \| aab=b, abbaa=aa⟩	Finite non-commutative monoid with 14 elements	2 iso
11	20844	⟨a, b \| ab=aa, bbbbb=aa⟩	Finite non-commutative monoid with 14 elements	1 iso
11	20846	⟨a, b \| ab=aa, bbbbb=ba⟩	Finite non-commutative monoid with 14 elements
11	21023	⟨a, b \| ab=aa, bbaa=bbb⟩	Finite non-commutative monoid with 14 elements	1 iso
11	21040	⟨a, b \| ab=aa, bbbb=aaa⟩	Finite non-commutative monoid with 14 elements	3 iso
11	21044	⟨a, b \| ab=aa, bbbb=baa⟩	Finite non-commutative monoid with 14 elements	1 iso
11	21046	⟨a, b \| ab=aa, bbbb=bba⟩	Finite non-commutative monoid with 14 elements
11	21110	⟨a, b \| bb=aa, abab=aaa⟩	Finite non-commutative monoid with 14 elements	2 anti-iso
11	24186	⟨a, b \| aa=a, bbbbbbb=a⟩	Isomorphic to ℕ_{(14 = 7)}
11	24331	⟨a, b \| aa=b, bbbbbbb=b⟩	Isomorphic to ℕ_{(14 = 2)}
11	25055	⟨a, b \| ab=a, bbaaaa=bb⟩	Finite non-commutative monoid with 14 elements

Other isomorphic instances

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

165 total

Σ	#	Presentation	Mapping
10	3775	⟨a, b \| aaaa=bb, babb=1⟩	φ(a) = bbbbbbbbbbb, φ(b) = b
10	4369	⟨a, b \| aaaa=b, aabbb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbbbb
10	4372	⟨a, b \| aaaa=b, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbbbb
10	4373	⟨a, b \| aaaa=b, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbbbb
10	4374	⟨a, b \| aaaa=b, abbba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbbbb
10	4377	⟨a, b \| aaaa=b, baabb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbbbb
10	4378	⟨a, b \| aaaa=b, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbbbb
10	4815	⟨a, b \| aaa=bb, abbbb=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
10	4819	⟨a, b \| aaa=bb, babbb=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
10	4820	⟨a, b \| aaa=bb, bbabb=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
10	5489	⟨a, b \| aaab=1, abbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5505	⟨a, b \| aaab=1, babbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5513	⟨a, b \| aaab=1, bbabbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5517	⟨a, b \| aaab=1, bbbabb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5519	⟨a, b \| aaab=1, bbbbab=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5520	⟨a, b \| aaab=1, bbbbba=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5553	⟨a, b \| aaba=1, abbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5569	⟨a, b \| aaba=1, babbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5577	⟨a, b \| aaba=1, bbabbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5581	⟨a, b \| aaba=1, bbbabb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5583	⟨a, b \| aaba=1, bbbbab=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5584	⟨a, b \| aaba=1, bbbbba=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	6016	⟨a, b \| aaa=b, aabbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6022	⟨a, b \| aaa=b, ababbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6024	⟨a, b \| aaa=b, abbabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6025	⟨a, b \| aaa=b, abbbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	6026	⟨a, b \| aaa=b, abbbba=1⟩	φ(a) = bbbbb, φ(b) = b
10	6031	⟨a, b \| aaa=b, baabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6032	⟨a, b \| aaa=b, bababb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6033	⟨a, b \| aaa=b, babbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	6035	⟨a, b \| aaa=b, bbaabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	7407	⟨a, b \| aab=1, bbbbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbbbbbb
10	7479	⟨a, b \| aba=1, bbbbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbbbbbb
10	8439	⟨a, b \| aa=b, bbbbbbb=1⟩	φ(a) = b, φ(b) = bb
10	9483	⟨a, b \| aa=1, abbbbbbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	9509	⟨a, b \| aa=1, babbbbbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	9516	⟨a, b \| aa=1, bbabbbbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	9518	⟨a, b \| aa=1, bbbabbbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	9798	⟨a, b \| aa=1, bbbbbbb=a⟩	φ(a) = bbbbbbb, φ(b) = b
11	10663	⟨a, b \| aaaa=bbb, aabb=1⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	10665	⟨a, b \| aaaa=bbb, abba=1⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	10667	⟨a, b \| aaaa=bbb, baab=1⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	11675	⟨a, b \| aaaa=bb, aaabb=1⟩	φ(a) = bbbb, φ(b) = b
11	11677	⟨a, b \| aaaa=bb, aabab=1⟩	φ(a) = bbbb, φ(b) = b
11	11678	⟨a, b \| aaaa=bb, aabba=1⟩	φ(a) = bbbb, φ(b) = b
11	11680	⟨a, b \| aaaa=bb, abaab=1⟩	φ(a) = bbbb, φ(b) = b
11	11681	⟨a, b \| aaaa=bb, ababa=1⟩	φ(a) = bbbb, φ(b) = b
11	11686	⟨a, b \| aaaa=bb, baaab=1⟩	φ(a) = bbbb, φ(b) = b
11	13324	⟨a, b \| aaaab=1, aabbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13332	⟨a, b \| aaaab=1, ababbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13336	⟨a, b \| aaaab=1, abbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13338	⟨a, b \| aaaab=1, abbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13339	⟨a, b \| aaaab=1, abbbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13348	⟨a, b \| aaaab=1, baabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13352	⟨a, b \| aaaab=1, bababb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13354	⟨a, b \| aaaab=1, babbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13355	⟨a, b \| aaaab=1, babbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13360	⟨a, b \| aaaab=1, bbaabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13362	⟨a, b \| aaaab=1, bbabab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13363	⟨a, b \| aaaab=1, bbabba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13366	⟨a, b \| aaaab=1, bbbaab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13367	⟨a, b \| aaaab=1, bbbaba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13369	⟨a, b \| aaaab=1, bbbbaa=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13388	⟨a, b \| aaaba=1, aabbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13396	⟨a, b \| aaaba=1, ababbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13400	⟨a, b \| aaaba=1, abbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13402	⟨a, b \| aaaba=1, abbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13403	⟨a, b \| aaaba=1, abbbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13412	⟨a, b \| aaaba=1, baabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13416	⟨a, b \| aaaba=1, bababb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13418	⟨a, b \| aaaba=1, babbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13419	⟨a, b \| aaaba=1, babbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13424	⟨a, b \| aaaba=1, bbaabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13426	⟨a, b \| aaaba=1, bbabab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13427	⟨a, b \| aaaba=1, bbabba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13430	⟨a, b \| aaaba=1, bbbaab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13431	⟨a, b \| aaaba=1, bbbaba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13433	⟨a, b \| aaaba=1, bbbbaa=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13515	⟨a, b \| aabaa=1, aabbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13521	⟨a, b \| aabaa=1, ababbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13523	⟨a, b \| aabaa=1, abbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13524	⟨a, b \| aabaa=1, abbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13525	⟨a, b \| aabaa=1, abbbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13530	⟨a, b \| aabaa=1, baabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13531	⟨a, b \| aabaa=1, bababb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13532	⟨a, b \| aabaa=1, babbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	13534	⟨a, b \| aabaa=1, bbaabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbb
11	14976	⟨a, b \| aaa=bb, aaaabb=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14978	⟨a, b \| aaa=bb, aaabab=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14979	⟨a, b \| aaa=bb, aaabba=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14982	⟨a, b \| aaa=bb, aababa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14984	⟨a, b \| aaa=bb, aabbaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14988	⟨a, b \| aaa=bb, abaaab=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14999	⟨a, b \| aaa=bb, baaaab=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	16888	⟨a, b \| aabb=1, aaaaaaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	17016	⟨a, b \| abba=1, aaaaaaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	17087	⟨a, b \| abba=1, bbbbbbb=1⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	17417	⟨a, b \| aabb=1, aaaaaa=b⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	17481	⟨a, b \| abab=1, aaaaaa=b⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	17545	⟨a, b \| abba=1, aaaaaa=b⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	17614	⟨a, b \| abba=1, bbbbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	17947	⟨a, b \| aabb=1, aaaaa=bb⟩	φ(a) = bbbbbb, φ(b) = b
11	18074	⟨a, b \| abba=1, aaaaa=bb⟩	φ(a) = bbbbbb, φ(b) = b
11	18141	⟨a, b \| abba=1, bbbbb=aa⟩	φ(a) = bbbbbbbbbbbbb, φ(b) = bbbbbbbb
11	18687	⟨a, b \| aba=b, bbbbbbb=1⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb
11	20484	⟨a, b \| bb=aa, aaaaaaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20485	⟨a, b \| bb=aa, aaaaaab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20486	⟨a, b \| bb=aa, aaaaaba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20487	⟨a, b \| bb=aa, aaaaabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20488	⟨a, b \| bb=aa, aaaabaa=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20489	⟨a, b \| bb=aa, aaaabab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20490	⟨a, b \| bb=aa, aaaabba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20491	⟨a, b \| bb=aa, aaaabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20492	⟨a, b \| bb=aa, aaabaaa=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20493	⟨a, b \| bb=aa, aaabaab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20494	⟨a, b \| bb=aa, aaababa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20495	⟨a, b \| bb=aa, aaababb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20496	⟨a, b \| bb=aa, aaabbaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20497	⟨a, b \| bb=aa, aaabbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20498	⟨a, b \| bb=aa, aaabbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20499	⟨a, b \| bb=aa, aabaaab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20500	⟨a, b \| bb=aa, aabaaba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20501	⟨a, b \| bb=aa, aabaabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20502	⟨a, b \| bb=aa, aababaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20503	⟨a, b \| bb=aa, aababab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20504	⟨a, b \| bb=aa, aababba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20505	⟨a, b \| bb=aa, aabbaab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20506	⟨a, b \| bb=aa, aabbaba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20507	⟨a, b \| bb=aa, aabbbaa=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20508	⟨a, b \| bb=aa, aabbbab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20509	⟨a, b \| bb=aa, aabbbba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20510	⟨a, b \| bb=aa, abaaaab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20511	⟨a, b \| bb=aa, abaaaba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20512	⟨a, b \| bb=aa, abaabab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20513	⟨a, b \| bb=aa, abaabba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20514	⟨a, b \| bb=aa, ababaab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20515	⟨a, b \| bb=aa, abababa=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20516	⟨a, b \| bb=aa, ababbba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20517	⟨a, b \| bb=aa, abbaaab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	20518	⟨a, b \| bb=aa, abbabba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	20519	⟨a, b \| bb=aa, abbbbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	22580	⟨a, b \| aab=1, bbbbbb=aa⟩	φ(a) = b, φ(b) = bbbbbbbbbbbb
11	22717	⟨a, b \| aba=1, bbbbbb=aa⟩	φ(a) = b, φ(b) = bbbbbbbbbbbb
11	23709	⟨a, b \| aa=b, aabbbbbb=1⟩	φ(a) = b, φ(b) = bb
11	23732	⟨a, b \| aa=b, ababbbbb=1⟩	φ(a) = b, φ(b) = bb
11	23742	⟨a, b \| aa=b, abbabbbb=1⟩	φ(a) = b, φ(b) = bb
11	23746	⟨a, b \| aa=b, abbbabbb=1⟩	φ(a) = b, φ(b) = bb
11	23748	⟨a, b \| aa=b, abbbbabb=1⟩	φ(a) = b, φ(b) = bb
11	23749	⟨a, b \| aa=b, abbbbbab=1⟩	φ(a) = b, φ(b) = bb
11	23750	⟨a, b \| aa=b, abbbbbba=1⟩	φ(a) = b, φ(b) = bb
11	23766	⟨a, b \| aa=b, baabbbbb=1⟩	φ(a) = b, φ(b) = bb
11	23772	⟨a, b \| aa=b, bababbbb=1⟩	φ(a) = b, φ(b) = bb
11	23774	⟨a, b \| aa=b, babbabbb=1⟩	φ(a) = b, φ(b) = bb
11	23775	⟨a, b \| aa=b, babbbabb=1⟩	φ(a) = b, φ(b) = bb
11	23776	⟨a, b \| aa=b, babbbbab=1⟩	φ(a) = b, φ(b) = bb
11	23781	⟨a, b \| aa=b, bbaabbbb=1⟩	φ(a) = b, φ(b) = bb
11	23782	⟨a, b \| aa=b, bbababbb=1⟩	φ(a) = b, φ(b) = bb
11	23783	⟨a, b \| aa=b, bbabbabb=1⟩	φ(a) = b, φ(b) = bb
11	23785	⟨a, b \| aa=b, bbbaabbb=1⟩	φ(a) = b, φ(b) = bb
11	26102	⟨a, b \| aa=1, abbbabbbb=1⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb
11	26106	⟨a, b \| aa=1, abbbbabbb=1⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb
11	26160	⟨a, b \| aa=1, babbbabbb=1⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb
11	26161	⟨a, b \| aa=1, babbbbabb=1⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb
11	26176	⟨a, b \| aa=1, bbabbbabb=1⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb
11	26708	⟨a, b \| aa=1, bbbabbbb=a⟩	φ(a) = bbbbbbb, φ(b) = bbbbbbbb

Up:	Monoids with two generators and two relations
Prev:	#3771 ⟨a, b \| aaaa=bb, abab=1⟩
Next:	#3776 ⟨a, b \| aaaa=bb, bbbb=1⟩