#4024 ⟨a, b | aaabbabaa=ba⟩

Quick links

Properties
Rewriting system

Properties

Presentation has sum-of-sides 11
Infinite non-commutative monoid

Rewriting system

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:
- Left-to-right recursive path with deg(a) = deg(c) = 0, a < c; deg(b) = 1
Auxiliary generators:
1. ba=c
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	ba ⇒ c	[2]
2.	a³bc²a ⇒ c	[4]
3.	a³bc³ ⇒ bc	[6]
4.	ca²bc²a ⇒ bc	[5]
5.	b²c ⇒ ca²bc³	[7]
6.	a³(bc)² ⇒ cabc²a	[9]
7.	a³bc²bc ⇒ ca²bc³	[8]
8.	ca²(bc)² ⇒ bcabc²a	[10]
9.	ca²bc²bc ⇒ bca²bc³	[11]

# ab:aaabbabaa=ba ac/b ba=c magic:0
ba=c
aaabcca=c
aaabccc=bc
caabcca=bc
bbc=caabccc
aaabcbc=cabcca
aaabccbc=caabccc
caabcbc=bcabcca
caabccbc=bcaabccc

Up:	Monoids with two generators and one relation
Prev:	#4023 ⟨a, b \| aaabbabaa=ab⟩
Next:	#4025 ⟨a, b \| aaabbabaa=bb⟩