⟨a, b | aabaab=abbaa⟩

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 = aaba
2. d = ab
3. e = db
Reduction order:
- Right-to-left recursive path with deg(e) = 0; deg(c) = deg(a) = deg(d) = 1, c < a < d; deg(b) = 2
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	cea ⇒ ec	[12]
2.	e²a² ⇒ c²e	[13]
3.	cd ⇒ ea²	[6]
4.	ead ⇒ ce	[10]
5.	ea³ ⇒ adc	[9]
6.	ada ⇒ c	[7]
7.	cadc ⇒ eca²	[15]
8.	eca²ea ⇒ cadec	[18]
9.	c²eda ⇒ e²ac	[14]
10.	cadea² ⇒ eca²d	[16]
11.	cadeca² ⇒ eca³dc	[19]
12.	eca²ceda ⇒ cade²ac	[20]
13.	eca²d²a ⇒ cadeac	[21]
14.	cb ⇒ ad²	[8]
15.	ceb ⇒ eae	[11]
16.	ab ⇒ d	[3]
17.	db ⇒ e	[4]
18.	eca²eb ⇒ cadeae	[17]

# ab:aabaab=abbaa reversed:e/cad/b aaba=c,ab=d,db=e morph:4/0,2/0,2/0 cea=ec eeaa=cce cd=eaa ead=ce eaaa=adc ada=c cadc=ecaa ecaaea=cadec cceda=eeac cadeaa=ecaad cadecaa=ecaaadc ecaaceda=cadeeac ecaadda=cadeac cb=add ceb=eae ab=d db=e ecaaeb=cadeae

Up:	Monoids with two generators and one relation
Prev:	#5656 ⟨a, b \| aabaab=ababb⟩
Next:	#5658 ⟨a, b \| aabaab=abbab⟩

#5657 ⟨a, b | aabaab=abbaa⟩

Quick links

Properties

Rewriting system