#1189 ⟨a, b | aa=1, abba=bb⟩
Contents
- Properties
- Rewriting system
- Isomorphic instances
- Sum of relation sides is 8
- Infinite non-commutative monoid
- Element ba has infinite order
- Reduction order:
- Left-to-right shortlex with a < b
- Certificate: derivations of all rewriting rules from the defining relations.
# ab:aa=1,abba=bb ab - -
aa=1
bba=abb
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
10 total
| Σ | # | Presentation | Mapping |
|---|
| 8 | 1252 | ⟨a, b | aa=1, bba=abb⟩ | φ(a) = a, φ(b) = b |
| 10 | 9954 | ⟨a, b | aa=1, aaabba=bb⟩ | φ(a) = a, φ(b) = b |
| 10 | 9992 | ⟨a, b | aa=1, abaaba=bb⟩ | φ(a) = a, φ(b) = b |
| 10 | 10228 | ⟨a, b | aa=1, aaabb=bba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10247 | ⟨a, b | aa=1, aabba=abb⟩ | φ(a) = a, φ(b) = b |
| 10 | 10266 | ⟨a, b | aa=1, abaab=bba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10272 | ⟨a, b | aa=1, ababa=bab⟩ | φ(a) = a, φ(b) = ba |
| 10 | 10489 | ⟨a, b | aa=1, abba=aabb⟩ | φ(a) = a, φ(b) = b |
| 10 | 10507 | ⟨a, b | aa=1, baab=abba⟩ | φ(a) = a, φ(b) = b |
| 10 | 10510 | ⟨a, b | aa=1, baba=abab⟩ | φ(a) = a, φ(b) = ba |