#672 ⟨a, b | aababbaba=1⟩

Up:Monoid enumeration
Prev:#670 ⟨a, b | aabababba=1⟩
Next:#674 ⟨a, b | aababbbab=1⟩

Contents

  1. Properties
  2. Rewriting system
  3. Other submonoids of same group
  4. Isomorphic instances

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. ca ⇒ ac [5]
2. cd ⇒ 1 [8]
3. da ⇒ ad [9]
4. dc ⇒ 1 [10]
5. a3 ⇒ c [2]
6. cbab ⇒ babc [14]
7. dbab ⇒ babd [11]
8. ab2ab ⇒ babcbad [15]
9. a2bab2 ⇒ b2aba2 [22]
10. a(ab)2cb ⇒ cb2aba2 [23]
11. a(ab)2db ⇒ db2aba2 [24]
12. acb2ab ⇒ babc2bad [16]
13. adb2ab ⇒ bab2ad [12]
14. c2b2ab ⇒ a(ab)2c2bad [26]
15. d2b2ab ⇒ a(ab)2d2bad [28]
16. b2abcb ⇒ a2d [21]
# ab:aababbaba=1 acd/b aaa=c,babbab=d magic:0
ca=ac
cd=1
da=ad
dc=1
aaa=c
cbab=babc
dbab=babd
abbab=babcbad
aababb=bbabaa
aababcb=cbbabaa
aababdb=dbbabaa
acbbab=babccbad
adbbab=babbad
ccbbab=aababccbad
ddbbab=aababddbad
bbabcb=aad

Other submonoids of same group

11 unique, 13 total

Σ#PresentationPropertiesφ
7182⟨a, b | aabbaa=b⟩Can Inf1
7214⟨a, b | aabaa=bb⟩Can Inf
8378⟨a, b | aababaa=b⟩Can Inf
8519⟨a, b | aabaa=bab⟩Can Inf
9796⟨a, b | aabaabaa=b⟩Can Inf
9854⟨a, b | ababbaba=b⟩Can Inf1
91204⟨a, b | aabaa=baab⟩Can Inf
101670⟨a, b | aabaaabaa=b⟩Can Inf
102743⟨a, b | baaab=aabaa⟩Can Inf
114843⟨a, b | ababbaba=bab⟩Can Inf
115943⟨a, b | abbbba=bbabb⟩Can Inf

Isomorphic instances

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

10 total

Σ#PresentationMapping
9719⟨a, b | ababbbaba=1⟩φ(a) = aadab, φ(b) = a
9725⟨a, b | abbabaaab=1⟩φ(a) = a, φ(b) = aadab
113042⟨a, b | aabaabbaaba=1⟩φ(a) = aad, φ(b) = aaab
113079⟨a, b | aababbabaab=1⟩φ(a) = babcbaaada, φ(b) = aadabab
113105⟨a, b | aabbaabaaab=1⟩φ(a) = aad, φ(b) = aaab
113188⟨a, b | abaaabaabba=1⟩φ(a) = aad, φ(b) = aaab
113212⟨a, b | abaababbaba=1⟩φ(a) = babcbaaada, φ(b) = aadabab
113258⟨a, b | ababbabbaba=1⟩φ(a) = aadabab, φ(b) = babcbaaada
113285⟨a, b | abbabaabaab=1⟩φ(a) = babcbaaada, φ(b) = aadabab
113293⟨a, b | abbabbbabba=1⟩φ(a) = aaab, φ(b) = aad