#20584 ⟨a, b | ab=aa, baaaaa=a⟩

Up:Monoids with two generators and two relations
Prev:#20520 ⟨a, b | ab=aa, aaaaaa=a⟩
Next:#20616 ⟨a, b | ab=aa, bbaaaa=a⟩

Properties

Complete rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
  1. ab ⇒ a2
  2. ba ⇒ a2
  3. a6 ⇒ a 
# ab:ab=aa,baaaaa=a ab
ab=aa
ba=aa
aaaaaa=a

Staircase diagram

Right Cayley graph (truncated)

Other isomorphic instances

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.

15 total

Σ#PresentationMapping
1120586⟨a, b | ab=aa, baaaab=a⟩φ(a) = a, φ(b) = b
1120588⟨a, b | ab=aa, baaaba=a⟩φ(a) = a, φ(b) = b
1120590⟨a, b | ab=aa, baaabb=a⟩φ(a) = a, φ(b) = b
1120592⟨a, b | ab=aa, baabaa=a⟩φ(a) = a, φ(b) = b
1120594⟨a, b | ab=aa, baabab=a⟩φ(a) = a, φ(b) = b
1120596⟨a, b | ab=aa, baabba=a⟩φ(a) = a, φ(b) = b
1120598⟨a, b | ab=aa, baabbb=a⟩φ(a) = a, φ(b) = b
1120600⟨a, b | ab=aa, babaaa=a⟩φ(a) = a, φ(b) = b
1120602⟨a, b | ab=aa, babaab=a⟩φ(a) = a, φ(b) = b
1120604⟨a, b | ab=aa, bababa=a⟩φ(a) = a, φ(b) = b
1120606⟨a, b | ab=aa, bababb=a⟩φ(a) = a, φ(b) = b
1120608⟨a, b | ab=aa, babbaa=a⟩φ(a) = a, φ(b) = b
1120610⟨a, b | ab=aa, babbab=a⟩φ(a) = a, φ(b) = b
1120612⟨a, b | ab=aa, babbba=a⟩φ(a) = a, φ(b) = b
1120614⟨a, b | ab=aa, babbbb=a⟩φ(a) = a, φ(b) = b