⟨a, b | abaaabbab=ba⟩

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(a) = deg(c) = 0, a < c; deg(b) = 1
Auxiliary generators:
1. bba=c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	aba(a²c²)² ⇒ cba	[9]
2.	aba³cb ⇒ ba	[3]
3.	cba³cb ⇒ bc	[4]
4.	aba³c²a²cb ⇒ c	[12]
5.	b²a ⇒ c	[2]
6.	(ba)² ⇒ aba³c²	[5]
7.	bcba ⇒ cba³c²	[7]
8.	b²c ⇒ cba³c²a²cb	[16]
9.	aba³bc ⇒ ba⁴cb	[6]
10.	cba³bc ⇒ bca³cb	[8]
11.	aba³c²a²bc ⇒ ca³cb	[18]
12.	ba²ba³c² ⇒ aba³c²ba	[13]
13.	bcaba³c² ⇒ cba³c²ba	[17]
14.	(aba³c)²c ⇒ ba²ba	[10]
15.	cba³caba³c² ⇒ bcaba	[11]
16.	a(ba³c²)² ⇒ bacba	[14]
17.	c(ba³c²)² ⇒ bc²ba	[15]
18.	aba³c²a²caba³c² ⇒ caba	[19]

# ab:abaaabbab=ba reversed:ac/b bba=c morph:3/0 abaaaccaacc=cba abaaacb=ba cbaaacb=bc abaaaccaacb=c bba=c baba=abaaacc bcba=cbaaacc bbc=cbaaaccaacb abaaabc=baaaacb cbaaabc=bcaaacb abaaaccaabc=caaacb baabaaacc=abaaaccba bcabaaacc=cbaaaccba abaaacabaaacc=baaba cbaaacabaaacc=bcaba abaaaccbaaacc=bacba cbaaaccbaaacc=bccba abaaaccaacabaaacc=caba

Up:	Monoids with two generators and one relation
Prev:	#4249 ⟨a, b \| abaaabbab=ab⟩
Next:	#4251 ⟨a, b \| abaaabbab=bb⟩

#4250 ⟨a, b | abaaabbab=ba⟩

Quick links

Properties

Rewriting system