⟨a, b | aabba=baa⟩

Up:

Monoids with two generators and one relation

Format:	Pretty Plain
Word to reduce:
	Tips: Lowercase letters stand for generators. Spaces are ignored. Numbers repeat the previous letter, e.g. `b90`.
Reduction strategy:	Leftmost Rightmost
Path to normal form:	1 1

Auxiliary generators:
1. c = aabb
2. d = abc
3. e = abb
Reduction order:
- Right-to-left recursive path with deg(d) = deg(c) = 0, d < c; deg(e) = 1; deg(b) = deg(a) = 2, b < a
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	ed ⇒ dce	[20]
2.	ec ⇒ de	[11]
3.	bd ⇒ c²e	[17]
4.	bc ⇒ ce	[9]
5.	ead ⇒ d²	[13]
6.	eac ⇒ dc	[15]
7.	ad² ⇒ cad	[14]
8.	adc ⇒ cac	[21]
9.	acd² ⇒ dad	[19]
10.	acdc ⇒ dac	[22]
11.	ae ⇒ c	[6]
12.	ade ⇒ c²	[12]
13.	ace ⇒ d	[16]
14.	acde ⇒ dc	[18]
15.	bad ⇒ cd	[8]
16.	bac ⇒ c²	[10]
17.	ea² ⇒ da	[7]
18.	ada ⇒ ca²	[23]
19.	acda ⇒ da²	[24]
20.	ab² ⇒ e	[4]
21.	ba² ⇒ ca	[5]

# ab:aabba=baa reversed:dc/e/ba aabb=c,abc=d,abb=e morph:4/0,3/0,3/0 ed=dce ec=de bd=cce bc=ce ead=dd eac=dc add=cad adc=cac acdd=dad acdc=dac ae=c ade=cc ace=d acde=dc bad=cd bac=cc eaa=da ada=caa acda=daa abb=e baa=ca

Up:	Monoids with two generators and one relation
Prev:	#532 ⟨a, b \| aabba=abb⟩
Next:	#534 ⟨a, b \| aabba=bab⟩

#533 ⟨a, b | aabba=baa⟩

Quick links

Properties

Rewriting system