⟨a, b | aaabbaaab=aa⟩

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

Reduction order:
- Left-to-right recursive path with deg(b) = deg(c) = 0, b < c; deg(a) = 1
Auxiliary generators:
1. aaa=c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	c²b²cb ⇒ cb(bc)²	[8]
2.	c²bc(b²cb)² ⇒ (cb)³bcb³c	[16]
3.	(cb)³bcb³cb ⇒ (cb²cb)²b²c	[12]
4.	c²b(cb²cb)² ⇒ (cb)³bcb³c²	[15]
5.	(cb²cb)²b²cb ⇒ c	[11]
6.	(cb)²(cb²cb)² ⇒ (cb²cb)²b²c²	[13]
7.	(cb²cb)³ ⇒ c²	[10]
8.	ac ⇒ (cb²cb)²	[7]
9.	ca ⇒ (cb²cb)²	[6]
10.	c²ba ⇒ (cb)³bcb³c	[14]
11.	(cb)²a ⇒ (cb²cb)²b²c	[9]
12.	cb²cba ⇒ c	[4]
13.	a² ⇒ cb²cb	[3]

# ab:aaabbaaab=aa bc/a aaa=c morph:3/0 ccbbcb=cbbcbc ccbcbbcbbbcb=cbcbcbbcbbbc cbcbcbbcbbbcb=cbbcbcbbcbbbc ccbcbbcbcbbcb=cbcbcbbcbbbcc cbbcbcbbcbbbcb=c cbcbcbbcbcbbcb=cbbcbcbbcbbbcc cbbcbcbbcbcbbcb=cc ac=cbbcbcbbcb ca=cbbcbcbbcb ccba=cbcbcbbcbbbc cbcba=cbbcbcbbcbbbc cbbcba=c aa=cbbcb

Up:	Monoids with two generators and one relation
Prev:	#4009 ⟨a, b \| aaababbba=bb⟩
Next:	#4011 ⟨a, b \| aaabbaaab=ab⟩

#4010 ⟨a, b | aaabbaaab=aa⟩

Quick links

Properties

Rewriting system