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

#	Rule	Proof
1.	dcd ⇒ d⁵bc	[23]
2.	dbcd ⇒ dbd⁴bc	[26]
3.	d²b²cd ⇒ dbd²bc	[22]
4.	dbdb²cd ⇒ b²c	[20]
5.	dcb ⇒ dbd²bd⁴bc	[30]
6.	dbcb ⇒ b²cd	[4]
7.	b²cb ⇒ d	[3]
8.	a ⇒ cb²	[13]
9.	c²d ⇒ cd⁴bc	[24]
10.	cbcd ⇒ cbd⁴bc	[27]
11.	cb²cd ⇒ cb²d⁴bc	[25]
12.	cdb²cd ⇒ cbd²bc	[15]
13.	cbdb²cd ⇒ cb²d²bc	[14]
14.	cb²db²cd ⇒ c	[17]
15.	c²b ⇒ cbd²bd⁴bc	[29]
16.	(cb)² ⇒ cb²d²bd⁴bc	[28]

# ab:abbabaab=a reversed:db/ca ababaa=c,bbcb=d morph:6/1,4/0 dcd=dddddbc dbcd=dbddddbc ddbbcd=dbddbc dbdbbcd=bbc dcb=dbddbddddbc dbcb=bbcd bbcb=d a=cbb ccd=cddddbc cbcd=cbddddbc cbbcd=cbbddddbc cdbbcd=cbddbc cbdbbcd=cbbddbc cbbdbbcd=c ccb=cbddbddddbc cbcb=cbbddbddddbc

Up:	Monoids with two generators and one relation
Prev:	#860 ⟨a, b \| abbaabba=b⟩
Next:	#862 ⟨a, b \| abbabbba=a⟩

#861 ⟨a, b | abbabaab=a⟩

Quick links

Properties

Rewriting system