#5585 ⟨a, b, c | ab=c, bcac=a⟩

Up:Monoid enumeration
Prev:#5584 ⟨a, b, c | ab=c, bbcc=c⟩
Next:#5587 ⟨a, b, c | ab=c, bcac=c⟩

Contents

  1. Properties
  2. Rewriting system
  3. Other submonoids of same group
  4. Other submonoids of anti-isomorphic group

Properties

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. baba3 ⇒ (a2b)2 [3]
2. baba2b ⇒ a [2]
3. c ⇒ ab [1]
# abc:ab=c,bcac=a ab/c - -
babaaa=aabaab
babaab=a
c=ab

Other submonoids of same group

3 unique, 8 total

Σ#PresentationPropertiesφ
82988⟨a, b, c | aab=c, bcb=a⟩Can Inf2
83510⟨a, b, c | bb=ac, aba=c⟩Can Inf2
86037⟨a, b, c | ab=c, aca=bc⟩Can Inf1

Other submonoids of anti-isomorphic group

6 unique, 51 total

Σ#PresentationPropertiesφ
81714⟨a, b, c | aab=bc, cba=1⟩Grp Inf38
82984⟨a, b, c | aab=c, bbc=a⟩Can Inf5
83474⟨a, b, c | ba=ac, cbb=a⟩Can Inf
83524⟨a, b, c | bb=ac, baa=c⟩Can Inf2
83535⟨a, b, c | bb=ac, bca=c⟩Can Inf
85568⟨a, b, c | ab=c, bacc=a⟩Can Inf