| Up: | Monoids with two generators and one relation |
|---|---|
| Prev: | #2907 ⟨a, b | aaabaaabaab=1⟩ |
| Next: | #2909 ⟨a, b | aaabaaababb=1⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | ca(ac)2 ⇒ a | [27] |
| 2. | a3cac ⇒ (ca2)2 | [24] |
| 3. | (ca2)2b ⇒ 1 | [26] |
| 4. | a3ca2b ⇒ ca2ca | [23] |
| 5. | bc ⇒ (cac)2b | [11] |
| 6. | ba ⇒ a2(cac)3b | [17] |
# ab:aaabaaababa=1 reversed:c/a/b aba=c morph:3/0 caacac=a aaacac=caacaa caacaab=1 aaacaab=caaca bc=caccacb ba=aacaccaccacb
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
1 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 3053 | ⟨a, b | aababaaaaba=1⟩ | φ(a) = a, φ(b) = b |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
1 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 3185 | ⟨a, b | abaaabaaaab=1⟩ | φ(a) = a, φ(b) = b |