⟨a, b | ababbba=aab⟩

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

#	Rule	Proof
1.	cbab(b²c)² ⇒ c²ab	[10]
2.	cab³a ⇒ ac	[6]
3.	cbab³a ⇒ cab	[5]
4.	cbab³cb²a ⇒ c²	[15]
5.	a²b ⇒ c	[2]
6.	c(ab)² ⇒ cbab³c	[9]
7.	acab ⇒ cab³c	[7]
8.	a²c ⇒ cab³cb²a	[13]
9.	abab³c ⇒ cab	[16]
10.	cab²ab³c ⇒ cbab³cab	[17]
11.	acbab³c ⇒ cab³cab	[14]
12.	c(ab³c)² ⇒ ac²ab	[12]
13.	cb(ab³c)² ⇒ (cab)²	[11]
14.	abab³a ⇒ c	[3]
15.	cab²ab³a ⇒ cbab³c	[8]

# ab:ababbba=aab reversed:bc/a aab=c magic:0 cbabbbcbbc=ccab cabbba=ac cbabbba=cab cbabbbcbba=cc aab=c cabab=cbabbbc acab=cabbbc aac=cabbbcbba ababbbc=cab cabbabbbc=cbabbbcab acbabbbc=cabbbcab cabbbcabbbc=accab cbabbbcabbbc=cabcab ababbba=c cabbabbba=cbabbbc

Up:	Monoids with two generators and one relation
Prev:	#2335 ⟨a, b \| ababbba=aaa⟩
Next:	#2337 ⟨a, b \| ababbba=aba⟩

#2336 ⟨a, b | ababbba=aab⟩

Quick links

Properties

Rewriting system