| Up: | Monoids with two generators and two relations |
|---|---|
| Prev: | #2084 ⟨a, b | aba=a, aaaa=a⟩ |
| Next: | #2094 ⟨a, b | aba=a, abba=a⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | aba ⇒ a | [1] |
| 2. | a2b2 ⇒ a | [2] |
# ab:aba=a,aabb=a ab aba=a aabb=a
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
4 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 19108 | ⟨a, b | aba=a, aababb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19122 | ⟨a, b | aba=a, abaabb=a⟩ | φ(a) = a, φ(b) = b |
| 11 | 19689 | ⟨a, b | aba=a, baabb=ba⟩ | φ(a) = a, φ(b) = b |
| 11 | 20200 | ⟨a, b | aba=a, aabb=aba⟩ | φ(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 | 12344 | ⟨a, b | aaba=aa, bbaa=a⟩ | φ(a) = a, φ(b) = b |