| Up: | Monoids with two generators and two relations |
|---|---|
| Prev: | #27121 ⟨a, b | aa=1, ababbab=bb⟩ |
| Next: | #27129 ⟨a, b | aa=1, ababbbb=bb⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | b6 ⇒ b2 | [23] |
| 2. | b2ab4 ⇒ b2a | [20] |
| 3. | b4a ⇒ ab4 | [27] |
| 4. | a2 ⇒ 1 | [1] |
| 5. | abab2 ⇒ b2ab3 | [21] |
| 6. | ab2a ⇒ bab3 | [5] |
| 7. | ab3a ⇒ b3ab2 | [26] |
| 8. | b(ba)2 ⇒ ab5 | [25] |
# ab:aa=1,ababbba=bb b/a bbbbbb=bb bbabbbb=bba bbbba=abbbb aa=1 ababb=bbabbb abba=babbb abbba=bbbabb bbaba=abbbbb
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
2 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 27656 | ⟨a, b | aa=1, ababbb=bba⟩ | φ(a) = a, φ(b) = b |
| 11 | 28266 | ⟨a, b | aa=1, babbb=abba⟩ | φ(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 | 27680 | ⟨a, b | aa=1, abbbab=bba⟩ | φ(a) = a, φ(b) = b |