#670 ⟨a, b | aabababba=1⟩

Up:Monoid enumeration
Prev:#669 ⟨a, b | aabababab=1⟩
Next:#672 ⟨a, b | aababbaba=1⟩

Contents

  1. Properties
  2. Rewriting system
  3. Other submonoids of same group
  4. Other submonoids of anti-isomorphic group
  5. Isomorphic instances
  6. Anti-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. dc ⇒ 1 [10]
2. cd ⇒ 1 [8]
3. ca ⇒ ac [5]
4. da ⇒ ad [9]
5. a3 ⇒ c [2]
6. bcba ⇒ ab2c [18]
7. b2a2 ⇒ a2dbcb [23]
8. bab2c ⇒ a(ab)3 [14]
9. b(ab)2d ⇒ adbab2 [11]
10. bab2ac ⇒ a2(ba)3 [16]
11. (ba)3d ⇒ adbab2a [12]
12. (ba)3a ⇒ adb(bc)2 [26]
13. (ba)2b2 ⇒ d [3]
14. (b2c)2 ⇒ a2dba2cb(ab)2 [28]
15. b2cb2ac ⇒ a2dba2c(ba)3 [29]
# ab:aabababba=1 reversed:cda/b aaa=c,bababb=d magic:0
dc=1
cd=1
ca=ac
da=ad
aaa=c
bcba=abbc
bbaa=aadbcb
babbc=aababab
bababd=adbabb
babbac=aabababa
bababad=adbabba
bababaa=adbbcbc
bababb=d
bbcbbc=aadbaacbabab
bbcbbac=aadbaacbababa

Other submonoids of same group

6 unique, 6 total

Σ#PresentationProperties
7207⟨a, b | aaaba=bb⟩Can Inf
8504⟨a, b | aaaba=bab⟩Can Inf
9850⟨a, b | abababba=b⟩Can Inf
91174⟨a, b | aaaba=baab⟩Can Inf
114828⟨a, b | abababba=bab⟩Can Inf
115942⟨a, b | abbbba=babbb⟩Can Inf

Other submonoids of anti-isomorphic group

6 unique, 6 total

Σ#PresentationProperties
7174⟨a, b | aaabba=b⟩Can Inf
8362⟨a, b | aaababa=b⟩Can Inf
9765⟨a, b | aaabaaba=b⟩Can Inf
101612⟨a, b | aaabaaaba=b⟩Can Inf
102742⟨a, b | baaab=aaaba⟩Can Inf
113430⟨a, b | aaabaaaaba=b⟩Can Inf

Isomorphic instances

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

8 total

Σ#PresentationMapping
9716⟨a, b | ababbaaab=1⟩φ(a) = a, φ(b) = aadab
113069⟨a, b | aabababbaab=1⟩φ(a) = cbababaada, φ(b) = aadabab
113106⟨a, b | aabbaabaaba=1⟩φ(a) = aad, φ(b) = aaab
113194⟨a, b | abaaabbaaba=1⟩φ(a) = aad, φ(b) = aaab
113202⟨a, b | abaabaaabba=1⟩φ(a) = aad, φ(b) = aaab
113210⟨a, b | abaabababba=1⟩φ(a) = cbababaada, φ(b) = aadabab
113253⟨a, b | ababbaabaab=1⟩φ(a) = cbababaada, φ(b) = aadabab
113291⟨a, b | abbabbabbba=1⟩φ(a) = aaab, φ(b) = aad

Anti-isomorphic instances

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

10 total

Σ#PresentationMapping
9682⟨a, b | aabbababa=1⟩φ(a) = a, φ(b) = abaad
9715⟨a, b | abababbba=1⟩φ(a) = abaad, φ(b) = a
9718⟨a, b | ababbbaab=1⟩φ(a) = abaad, φ(b) = a
113034⟨a, b | aabaabaabba=1⟩φ(a) = aad, φ(b) = abaa
113041⟨a, b | aabaabbaaab=1⟩φ(a) = aad, φ(b) = abaa
113100⟨a, b | aabbaaabaab=1⟩φ(a) = aad, φ(b) = abaa
113120⟨a, b | aabbababaab=1⟩φ(a) = acbababaad, φ(b) = ababaad
113218⟨a, b | abaabbababa=1⟩φ(a) = acbababaad, φ(b) = ababaad
113246⟨a, b | abababbabba=1⟩φ(a) = ababaad, φ(b) = acbababaad
113257⟨a, b | ababbabbaab=1⟩φ(a) = ababaad, φ(b) = acbababaad