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

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

# ab:ababbbaab=a reversed:c/a/b babbba=c morph:6/1 caaccac=ccacaca ccacaccac=ca aaaccac=acacaca caacaccac=ccacaccaa acacaccac=aa aaacaccac=acacaccaa ccab=c caab=ccacacca acab=a aaab=acacacca cba=ccaccac aba=acaccac cbba=cccac abba=accac cbbba=babbc cabbba=ccac aabbba=acac babbba=c

Up:	Monoids with two generators and one relation
Prev:	#1792 ⟨a, b \| ababbabba=b⟩
Next:	#1794 ⟨a, b \| ababbbaab=b⟩

#1793 ⟨a, b | ababbbaab=a⟩

Quick links

Properties

Rewriting system