#21729 ⟨a, b | aaa=1, ababbba=b⟩
Properties
- Presentation has sum-of-sides 11
- Finite non-commutative monoid with 10587 elements
Element profile
- 4 element center:
- 2 idempotent elements:
Complete rewriting system
- Reduction order:
- Left-to-right recursive path with deg(b) = 0; deg(a) = 1
- b37 ⇒ b
- bab36 ⇒ ba
- b12a ⇒ ab12
- ba2 ⇒ abab3
- bab3a ⇒ a2b
- b(ba)2 ⇒ ab9ab18
- b2ab5a ⇒ ab11ab8
- b2ab7a ⇒ ab7ab14
- b2ab11a ⇒ ab3ab10
- b4ab9a ⇒ ab5ab8
- a3 ⇒ 1
- (ba)3 ⇒ a2b4ab32
- (ba)2b4a ⇒ ab9ab6ab9
- (ba)2b6a ⇒ ab3ab10ab25
- (ba)2b7a ⇒ a2b8ab22
- (ba)2b8a ⇒ ab7ab2ab19
- (ba)2b9a ⇒ a2b2ab18
- (ba)2b11a ⇒ a2b6ab28
- ba(b2a)2 ⇒ ab6ab2ab9
- bab2ab4a ⇒ ab2(b8a)2b
- bab2ab6a ⇒ ab8ab6ab31
- bab4ab2a ⇒ ab2ab6ab35
- ba(b4a)2 ⇒ ab4ab8ab21
- bab4ab6a ⇒ ab6ab4ab13
- bab4ab8a ⇒ ab8ab10ab19
- bab5ab2a ⇒ ab5ab6ab3
- (bab4)2a ⇒ ab(b2a)2b23
- bab5ab6a ⇒ ab(b10a)2b33
- bab5ab10a ⇒ ab7ab8ab31
- bab6ab4a ⇒ a(b8a)2b7
- bab6ab8a ⇒ (ab6)3b21
- bab6ab10a ⇒ ab4ab2ab11
- bab7ab2a ⇒ ab9ab2ab5
- (bab6)2a ⇒ ab5ab10ab17
- bab7ab8a ⇒ ab5(b6a)2b17
- bab7ab10a ⇒ ab3ab4ab17
- bab8ab2a ⇒ (ab10)3b17
- bab8ab4a ⇒ ab6ab8ab35
- ba(b8a)2 ⇒ (ab2)3b11
- bab8ab10a ⇒ ab8ab4ab7
- bab9ab2a ⇒ ab7ab4ab7
- bab9ab6a ⇒ a(b9ab)2b2
- (bab8)2a ⇒ ab5ab8ab11
- bab8(b2a)2 ⇒ (ab4)3b13
- bab6(b4a)2 ⇒ ab2ab8ab5
- bab4(b6a)2 ⇒ ab8(b2a)2b17
- ba(b10a)2 ⇒ ab6ab10ab29
- bab9(b2a)2 ⇒ ab3ab8ab33
- bab7(b4a)2 ⇒ ab(b4a)2b25
- bab5(b6a)2 ⇒ ab7ab10ab31
- (bab10)2a ⇒ ab9(b2a)2b15
- (b2a)2b9a ⇒ ab3(b8a)2b15
- b2ab6ab2a ⇒ ab2(ab4)2
- b2a(b6a)2 ⇒ a(b2ab8)2b6
- (b2ab8)2a ⇒ ab4ab10ab18
- b(b2a)2b8a ⇒ ab8ab2ab3
- b(b2a)2b10a ⇒ ab4(b6a)2b35
- (b3ab)2b9a ⇒ ab4ab6ab19
- b(b2ab6)2a ⇒ ab6(b4a)2b15
- b3(ab9)2ba ⇒ ab5ab2ab9
- (ba)2b2ab9a ⇒ (ab2)3b6ab7
- ba(bab)2b9a ⇒ a2b(b6a)2b22
- (ba)2b5ab8a ⇒ (ab2)3b8ab34
- (ba)2b2(b8a)2 ⇒ ab2a(b9ab)2b19
- ba(b2ab6)2a ⇒ a2b2(bab5)2
- bab2ab9ab4a ⇒ a(b2ab6)2ab3
- bab2(ab9)2ba ⇒ a2b4(b6a)2b33
# ab:aaa=1,ababbba=b b/a
bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=b
babbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb=ba
bbbbbbbbbbbba=abbbbbbbbbbbb
baa=ababbb
babbba=aab
bbaba=abbbbbbbbbabbbbbbbbbbbbbbbbbb
bbabbbbba=abbbbbbbbbbbabbbbbbbb
bbabbbbbbba=abbbbbbbabbbbbbbbbbbbbb
bbabbbbbbbbbbba=abbbabbbbbbbbbb
bbbbabbbbbbbbba=abbbbbabbbbbbbb
aaa=1
bababa=aabbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
bababbbba=abbbbbbbbbabbbbbbabbbbbbbbb
bababbbbbba=abbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbb
bababbbbbbba=aabbbbbbbbabbbbbbbbbbbbbbbbbbbbbb
bababbbbbbbba=abbbbbbbabbabbbbbbbbbbbbbbbbbbb
bababbbbbbbbba=aabbabbbbbbbbbbbbbbbbbb
bababbbbbbbbbbba=aabbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbabba=abbbbbbabbabbbbbbbbb
babbabbbba=abbbbbbbbbbabbbbbbbbab
babbabbbbbba=abbbbbbbbabbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbabba=abbabbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbabbbba=abbbbabbbbbbbbabbbbbbbbbbbbbbbbbbbbb
babbbbabbbbbba=abbbbbbabbbbabbbbbbbbbbbbb
babbbbabbbbbbbba=abbbbbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbb
babbbbbabba=abbbbbabbbbbbabbb
babbbbbabbbba=abbbabbabbbbbbbbbbbbbbbbbbbbbbb
babbbbbabbbbbba=abbbbbbbbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbabbbbbbbbbba=abbbbbbbabbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbabbbba=abbbbbbbbabbbbbbbbabbbbbbb
babbbbbbabbbbbbbba=abbbbbbabbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbabbbbbbbbbba=abbbbabbabbbbbbbbbbb
babbbbbbbabba=abbbbbbbbbabbabbbbb
babbbbbbbabbbbbba=abbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbb
babbbbbbbabbbbbbbba=abbbbbbbbbbbabbbbbbabbbbbbbbbbbbbbbbb
babbbbbbbabbbbbbbbbba=abbbabbbbabbbbbbbbbbbbbbbbb
babbbbbbbbabba=abbbbbbbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbbbabbbba=abbbbbbabbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbbbabbbbbbbba=abbabbabbbbbbbbbbbbb
babbbbbbbbabbbbbbbbbba=abbbbbbbbabbbbabbbbbbb
babbbbbbbbbabba=abbbbbbbabbbbabbbbbbb
babbbbbbbbbabbbbbba=abbbbbbbbbabbbbbbbbbbabbb
babbbbbbbbbabbbbbbbba=abbbbbabbbbbbbbabbbbbbbbbbb
babbbbbbbbbbabba=abbbbabbbbabbbbbbbbbbbbbbbbb
babbbbbbbbbbabbbba=abbabbbbbbbbabbbbb
babbbbbbbbbbabbbbbba=abbbbbbbbbbabbabbbbbbbbbbbbbbbbb
babbbbbbbbbbabbbbbbbbbba=abbbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbbbbbbabba=abbbabbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbbbbbbabbbba=abbbbbabbbbabbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbbbbbbabbbbbba=abbbbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
babbbbbbbbbbbabbbbbbbbbba=abbbbbbbbbbbabbabbbbbbbbbbbbbbb
bbabbabbbbbbbbba=abbbbbbbbbbbabbbbbbbbabbbbbbbbbbbbbbb
bbabbbbbbabba=abbabbbbabbbb
bbabbbbbbabbbbbba=abbabbbbbbbbbbabbbbbbbbbbbbbb
bbabbbbbbbbbbabbbbbbbba=abbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbb
bbbabbabbbbbbbba=abbbbbbbbabbabbb
bbbabbabbbbbbbbbba=abbbbbbbbbbabbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
bbbabbbbabbbbbbbbbba=abbbbabbbbbbabbbbbbbbbbbbbbbbbbb
bbbabbbbbbbbabbbbbba=abbbbbbbbbbabbbbabbbbbbbbbbbbbbb
bbbabbbbbbbbbabbbbbbbbbba=abbbbbabbabbbbbbbbb
bababbabbbbbbbbba=abbabbabbbbbbbbabbbbbbb
bababbabbbbbbbbbba=aabbbbbbbabbbbbbabbbbbbbbbbbbbbbbbbbbbb
bababbbbbabbbbbbbba=abbabbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
bababbbbbbbbbbabbbbbbbba=abbabbbbbbbbbabbbbbbbbbbabbbbbbbbbbbbbbbbbbbb
babbabbbbbbbbabbbbbba=aabbbabbbbbbabbbbb
babbabbbbbbbbbabbbba=abbabbbbbbbbabbbbbbabbb
babbabbbbbbbbbabbbbbbbbbba=aabbbbbbbbbbabbbbbbabbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb