| Up: | Monoids with two generators and two relations |
|---|---|
| Prev: | #2080 ⟨a, b | aab=b, bbba=a⟩ |
| Next: | #2083 ⟨a, b | aab=b, bbbb=b⟩ |
| # | Rule | Proof |
|---|---|---|
| 1. | b5 ⇒ b | [6] |
| 2. | ba ⇒ b3 | [7] |
| 3. | a2b ⇒ b | [1] |
# ab:aab=b,bbba=b b/a bbbbb=b ba=bbb aab=b
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
7 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 12401 | ⟨a, b | aaba=ba, bbba=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 18989 | ⟨a, b | aab=b, aabbba=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 19037 | ⟨a, b | aab=b, baabba=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 19045 | ⟨a, b | aab=b, bababa=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 19061 | ⟨a, b | aab=b, bbaaba=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 19561 | ⟨a, b | aab=b, abbba=ab⟩ | φ(a) = a, φ(b) = b |
| 11 | 20161 | ⟨a, b | aab=b, bbba=aab⟩ | φ(a) = a, φ(b) = b |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
3 total
| Σ | # | Presentation | Mapping |
|---|---|---|---|
| 11 | 12438 | ⟨a, b | aabb=aa, baaa=a⟩ | φ(a) = b, φ(b) = a |
| 11 | 19017 | ⟨a, b | aab=b, abbbaa=b⟩ | φ(a) = a, φ(b) = b |
| 11 | 19617 | ⟨a, b | aab=b, bbbaa=ab⟩ | φ(a) = a, φ(b) = b |