⟨a, b | ababbbbaab=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

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

#	Rule	Proof
1.	ca²(cac)² ⇒ c(ca)⁴	[17]
2.	c(ca)³c²ac ⇒ ca	[15]
3.	a³(cac)² ⇒ a(ca)⁴	[20]
4.	ca(ac)³cac ⇒ c(ca)³c²a²	[21]
5.	(ac)⁴cac ⇒ a²	[14]
6.	a²(ac)³cac ⇒ (ac)⁴ca²	[19]
7.	c²ab ⇒ c	[5]
8.	ca²b ⇒ c(ca)³c²a	[16]
9.	acab ⇒ a	[3]
10.	a³b ⇒ (ac)⁴ca	[18]
11.	cba ⇒ c²a(cac)²	[13]
12.	aba ⇒ (ac)³cac	[12]
13.	cb²a ⇒ (c²a)²c	[11]
14.	ab²a ⇒ a(cac)²	[10]
15.	cb³a ⇒ c³ac	[9]
16.	ab³a ⇒ ac²ac	[8]
17.	cb⁴a ⇒ bab³c	[4]
18.	cab⁴a ⇒ c²ac	[7]
19.	a²b⁴a ⇒ (ac)²	[6]
20.	bab⁴a ⇒ c	[2]

# ab:ababbbbaab=a reversed:c/a/b babbbba=c morph:7/1 caacaccac=ccacacaca ccacacaccac=ca aaacaccac=acacacaca caacacaccac=ccacacaccaa acacacaccac=aa aaacacaccac=acacacaccaa ccab=c caab=ccacacacca acab=a aaab=acacacacca cba=ccacaccac aba=acacaccac cbba=ccaccac abba=acaccac cbbba=cccac abbba=accac cbbbba=babbbc cabbbba=ccac aabbbba=acac babbbba=c

Up:	Monoids with two generators and one relation
Prev:	#3790 ⟨a, b \| ababbbabba=b⟩
Next:	#3792 ⟨a, b \| ababbbbaab=b⟩

#3791 ⟨a, b | ababbbbaab=a⟩

Quick links

Properties

Rewriting system