#26639 ⟨a, b | aa=1, abbbbbbb=b⟩
Quick links
- Properties
- Elements
- Right Cayley graph
- Left Cayley graph
- Rewriting system
- Same cardinality
- Isomorphic instances
- Presentation has sum-of-sides 11
- Finite non-commutative monoid with 26 elements
- Not cancellative, because multiplication by b is not injective:
-
b ⋅ b12 = b and b ⋅ 1 = b, however b12 ≠ 1
Elements in the center commute with all other elements.
An idempotent element x satisfies x2 = x.
The order of x is the least n (if it exists) such that xn = 1.
The index and period of x is the least m (index) and n (period) such that x(m+n) = xm.
- 1 element center:
- 2 non-trivial idempotents:
- Order of generators:
- a: order 2
- b: index 1, period 12
- Histogram:
| order 2 | 1 element | a |
| index 1, period 1 | 2 elements | b6a, b12 |
| index 1, period 2 | 2 elements | b6, b12a |
| index 1, period 3 | 4 elements | b2a, b4, b8, b10a |
| index 1, period 4 | 4 elements | b3, b3a, b9, b9a |
| index 1, period 6 | 4 elements | b2, b4a, b8a, b10 |
| index 1, period 12 | 8 elements | b, ba, b5, b5a, b7, ... |
- Reduction order:
- Left-to-right recursive path with deg(b) = 0; deg(a) = 1
- Certificate: derivations of all rewriting rules from the defining relations.
# ab:aa=1,abbbbbbb=b b/a
bbbbbbbbbbbbb=b
ab=bbbbbbb
aa=1
5 unique, 25 total
| Σ | # | Presentation | Description | Related |
|---|
| 9 | 3645 | ⟨a, b | aa=1, abab=bbb⟩ | Finite non-commutative monoid with 26 elements | 12 iso, 7 anti-iso |
| 10 | 5088 | ⟨a, b | aaa=bb, baab=a⟩ | Finite non-commutative monoid with 26 elements | 1 iso |
| 10 | 7050 | ⟨a, b | bb=aa, ababa=a⟩ | Finite non-commutative monoid with 26 elements | |
| 11 | 15941 | ⟨a, b | aba=bb, bbabb=a⟩ | Finite non-commutative monoid with 26 elements | |
| 11 | 19766 | ⟨a, b | aba=b, babbb=aa⟩ | Finite non-commutative monoid with 26 elements | |
The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.
1 total
| Σ | # | Presentation | Mapping |
|---|
| 11 | 27238 | ⟨a, b | aa=1, bbbbbbb=ab⟩ | φ(a) = a, φ(b) = b |