⟨a, b | aaabbba=bbaa⟩

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:
- Right-to-left recursive path with deg(c) = 0; deg(a) = deg(b) = 1, a < b
Auxiliary generators:
1. bbaa=c
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	b²ca ⇒ cabc	[7]
2.	b²a² ⇒ c	[2]
3.	b²aca ⇒ ca²bc	[8]
4.	a³bc ⇒ ca	[4]
5.	cab³a ⇒ b²c	[5]
6.	b⁴ac ⇒ cab³c	[14]
7.	cabca²bc ⇒ b²c²a	[9]
8.	(b²a)²c ⇒ ca²b³c	[15]
9.	ca²b³a ⇒ b²ac	[6]
10.	cabcb³a ⇒ b⁴c	[11]
11.	c(a²bc)² ⇒ b²ac²a	[12]
12.	ca(bc)²a²bc ⇒ b⁴c²a	[18]
13.	a³b³c ⇒ b²ac	[10]
14.	a³b³a ⇒ c	[3]
15.	ca²bcb³a ⇒ b²ab²c	[13]
16.	ca(bc)²b³a ⇒ b⁶c	[21]
17.	ca²(bc)²a²bc ⇒ b²ab²c²a	[19]
18.	ca(bc)³a²bc ⇒ b⁶c²a	[29]
19.	b⁴ab²c ⇒ cab⁵c	[26]
20.	cabca²b³c ⇒ b²cb²ac	[16]
21.	ca²(bc)²b³a ⇒ b²ab⁴c	[22]
22.	ca²(bc)³a²bc ⇒ b²ab⁴c²a	[30]
23.	b²(ab²)²c ⇒ ca²b⁵c	[27]
24.	(ca²b)²b²c ⇒ (b²ac)²	[17]
25.	ca(bc)²a²b³c ⇒ b⁴cb²ac	[24]
26.	a³b⁵c ⇒ b²ab²c	[20]
27.	b⁸c ⇒ ca(bc)³b³a	[33]
28.	ca²(bc)²a²b³c ⇒ b²ab²cb²ac	[28]
29.	ca(bc)³a²b³c ⇒ b⁶cb²ac	[38]
30.	b⁴ab⁴c ⇒ cab⁷c	[42]
31.	cabca²b⁵c ⇒ b²cb²ab²c	[23]
32.	b²ab⁶c ⇒ ca²(bc)³b³a	[34]
33.	ca²(bc)³a²b³c ⇒ b²ab⁴cb²ac	[44]
34.	(b²a)²b⁴c ⇒ ca²b⁷c	[43]
35.	(ca²b)²b⁴c ⇒ b²acb²ab²c	[25]
36.	ca(bc)²a²b⁵c ⇒ b⁴cb²ab²c	[31]
37.	a³b⁷c ⇒ b²ab⁴c	[32]
38.	ca²(bc)²a²b⁵c ⇒ (b²ab²c)²	[39]
39.	ca(bc)³a²b⁵c ⇒ b⁶cb²ab²c	[40]
40.	cabca²b⁷c ⇒ b²cb²ab⁴c	[35]
41.	ca²(bc)³a²b⁵c ⇒ b²ab⁴cb²ab²c	[45]
42.	(ca²b)²b⁶c ⇒ b²acb²ab⁴c	[36]
43.	ca(bc)²a²b⁷c ⇒ b⁴cb²ab⁴c	[37]
44.	ca²(bc)²a²b⁷c ⇒ b²ab²cb²ab⁴c	[41]
45.	ca(bc)³a²b⁷c ⇒ b⁶cb²ab⁴c	[46]
46.	ca²(bc)³a²b⁷c ⇒ (b²ab⁴c)²	[47]

Up:	Monoids with two generators and one relation
Prev:	#5112 ⟨a, b \| aaabbba=babb⟩
Next:	#5114 ⟨a, b \| aaabbba=bbab⟩

#5113 ⟨a, b | aaabbba=bbaa⟩

Quick links

Properties

Rewriting system