⟨a, b | abbabaaab=a⟩

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

#	Rule	Proof
1.	d²eb ⇒ c²de	[31]
2.	ceb ⇒ d	[23]
3.	dcdeb ⇒ dbcde	[26]
4.	dbcdeb ⇒ ce	[25]
5.	c²deb ⇒ cbcde	[24]
6.	ed ⇒ b(cd)²e	[33]
7.	cbcdeb² ⇒ c	[16]
8.	cbcdebd ⇒ deb	[15]
9.	ec ⇒ bcdebd	[28]
10.	bcdebc ⇒ eb	[20]
11.	a ⇒ cbcdeb	[13]
12.	e²b ⇒ eb²c²b(cd)²e	[34]
13.	(eb)² ⇒ bcdebd	[22]
14.	ebdeb ⇒ bcdeb²cde	[35]
15.	ebcdeb ⇒ eb²cde	[27]
16.	eb²cdeb ⇒ e	[21]

# ab:abbabaaab=a reversed:bd/c/ea ab=c,ac=d,bcada=e morph:2/1,2/0,5/1 ddeb=ccde ceb=d dcdeb=dbcde dbcdeb=ce ccdeb=cbcde ed=bcdcde cbcdebb=c cbcdebd=deb ec=bcdebd bcdebc=eb a=cbcdeb eeb=ebbccbcdcde ebeb=bcdebd ebdeb=bcdebbcde ebcdeb=ebbcde ebbcdeb=e

Up:	Monoids with two generators and one relation
Prev:	#1806 ⟨a, b \| abbaabbba=b⟩
Next:	#1808 ⟨a, b \| abbabaaab=b⟩

#1807 ⟨a, b | abbabaaab=a⟩

Quick links

Properties

Rewriting system