#3596 ⟨a, b, c | ba=ac, cc=bb⟩

Up:Monoid enumeration
Prev:#3595 ⟨a, b, c | ba=ac, cb=ac⟩
Next:#3598 ⟨a, b, c | bb=aa, cc=aa⟩

Contents

  1. Properties
  2. Rewriting system
  3. Other submonoids of same 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. b2 ⇒ c2 [2]
2. ac ⇒ ba [1]
3. bc2 ⇒ c2b [3]
# abc:ba=ac,cc=bb cba - -
bb=cc
ac=ba
bcc=ccb

Other submonoids of same group

8 unique, 16 total

Σ#PresentationPropertiesφ
7533⟨a, b, c | ba=ab, cc=a⟩Can Inf
82199⟨a, b, c | aabc=1, acba=1⟩Grp Inf5
82976⟨a, b, c | aab=c, baa=c⟩Can Inf2
83072⟨a, b, c | abc=b, cba=b⟩Can Inf
83431⟨a, b, c | ba=ab, cac=b⟩Can Inf
83587⟨a, b, c | ba=ab, cc=ab⟩Can Inf1
83592⟨a, b, c | ba=ac, ca=ab⟩Can Inf
86088⟨a, b, c | ab=c, bca=cc⟩Can Inf