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

#	Rule	Proof
1.	c⁴ac ⇒ ca	[6]
2.	c⁴ab ⇒ c	[4]
3.	ba ⇒ c	[2]
4.	ca²c ⇒ c¹⁰a²	[18]
5.	c(ac)² ⇒ c⁷a²	[14]
6.	(cac)² ⇒ c⁴a²	[10]
7.	ac³ac ⇒ a²	[5]
8.	ca²b ⇒ c¹⁰a	[16]
9.	(ca)²b ⇒ c⁷a	[12]
10.	cac²ab ⇒ c⁴a	[7]
11.	ac³ab ⇒ a	[3]
12.	a³c ⇒ ac⁹a²	[17]
13.	a(ac)² ⇒ ac⁶a²	[13]
14.	a²c²ac ⇒ ac³a²	[9]
15.	a³b ⇒ ac⁹a	[15]
16.	a²cab ⇒ ac⁶a	[11]
17.	a²c²ab ⇒ ac³a	[8]

# ab:abababaab=a reversed:c/ba ba=c morph:2/0 ccccac=ca ccccab=c ba=c caac=ccccccccccaa cacac=cccccccaa caccac=ccccaa acccac=aa caab=cccccccccca cacab=ccccccca caccab=cccca acccab=a aaac=acccccccccaa aacac=accccccaa aaccac=acccaa aaab=accccccccca aacab=acccccca aaccab=accca

Up:	Monoids with two generators and one relation
Prev:	#1782 ⟨a, b \| ababaabba=b⟩
Next:	#1784 ⟨a, b \| abababaab=b⟩

#1783 ⟨a, b | abababaab=a⟩

Quick links

Properties

Rewriting system