#3501 ⟨a, b, c | bb=ac, aaa=c⟩
Contents
- Properties
- Rewriting system
- Other submonoids of same group
- Isomorphic instances
- Sum of relation sides is 8
- Infinite cancellative non-commutative monoid
- Element a2ba has infinite order
- Submonoid of enveloping group: ⟨a, b | aaaabb⟩
-
Embedding: φ(a) = b-1ab, φ(b) = b-1, φ(c) = b-1a-1b-1
- Reduction order:
- Left-to-right recursive path with deg(a) = deg(b) = 0, a < b; deg(c) = 1
- Certificate: derivations of all rewriting rules from the defining relations.
# abc:bb=ac,aaa=c ab/c - -
bba=abb
aaaa=bb
c=aaa
10 unique, 115 total
| Σ | # | Presentation | Properties | φ |
|---|
| 7 | 366 | ⟨a, b, c | aba=b, cbc=1⟩ | Grp Inf | 93 |
| 7 | 548 | ⟨a, b, c | bb=aa, cc=a⟩ | Can Inf | 1 |
| 7 | 938 | ⟨a, b, c | aa=b, cbc=b⟩ | Can Inf | 5 |
| 8 | 2849 | ⟨a, b, c | aaa=b, cac=b⟩ | Can Inf | 2 |
| 8 | 2851 | ⟨a, b, c | aaa=b, cbc=a⟩ | Can Inf | 3 |
| 8 | 3041 | ⟨a, b, c | aba=b, cac=b⟩ | Can Inf | |
| 8 | 3042 | ⟨a, b, c | aba=b, cbc=a⟩ | Can Inf | 1 |
| 8 | 3472 | ⟨a, b, c | ba=ac, cab=a⟩ | Can Inf | |
| 8 | 3594 | ⟨a, b, c | ba=ac, cb=aa⟩ | Can Inf | |
| 8 | 6095 | ⟨a, b, c | ab=c, bcc=ca⟩ | Can Inf | |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
2 total
| Σ | # | Presentation | Mapping |
|---|
| 8 | 5668 | ⟨a, b, c | aa=b, aab=cc⟩ | φ(a) = a, φ(b) = aa, φ(c) = b |
| 8 | 5680 | ⟨a, b, c | aa=b, aba=cc⟩ | φ(a) = a, φ(b) = aa, φ(c) = b |