⟨a, b | aaaaababaa=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

Reduction order:
- Left-to-right recursive path with deg(c) = deg(a) = 0, c < a; deg(b) = 1
Auxiliary generators:
1. aaaaaa=c
Certificate: derivations of all rewriting rules from the defining relations.
Morphocompletion: how the auxiliary generators were found.

#	Rule	Proof
1.	ac ⇒ ca	[3]
2.	a⁶ ⇒ c	[2]
3.	abc ⇒ cba	[16]
4.	c⁶bc ⇒ cbc⁶	[26]
5.	c⁶ba ⇒ cbc⁵a	[25]
6.	c⁵aba ⇒ cbc⁴a²	[24]
7.	c⁴a²ba ⇒ cbc³a³	[23]
8.	c³a³ba ⇒ cbc²a⁴	[22]
9.	c²a⁴ba ⇒ cbca⁵	[20]
10.	ca⁵ba ⇒ cbc	[18]
11.	c(bc)² ⇒ ca⁵	[21]
12.	(cb)²a ⇒ c	[19]
13.	c(ba)² ⇒ a	[10]
14.	ca(ba)² ⇒ a²	[9]
15.	a²(ba)² ⇒ (ab)²a²	[17]

# ab:aaaaababaa=a ca/b aaaaaa=c morph:6/0 ac=ca aaaaaa=c abc=cba ccccccbc=cbcccccc ccccccba=cbccccca cccccaba=cbccccaa ccccaaba=cbcccaaa cccaaaba=cbccaaaa ccaaaaba=cbcaaaaa caaaaaba=cbc cbcbc=caaaaa cbcba=c cbaba=a cababa=aa aababa=ababaa

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.

Σ	#	Presentation	Mapping
11	3699	⟨a, b \| abaaaaaaba=a⟩	φ(a) = a, φ(b) = b

Presentation

Mapping

3699

⟨a, b | abaaaaaaba=a⟩

φ(a) = a, φ(b) = b

Up:	Monoids with two generators and one relation
Prev:	#3344 ⟨a, b \| aaaaabaabb=b⟩
Next:	#3346 ⟨a, b \| aaaaababaa=b⟩

#3345 ⟨a, b | aaaaababaa=a⟩

Quick links

Properties

Rewriting system

Isomorphic instances