#5066 ⟨a, b | aaa=ab, bbaa=a⟩

Quick links

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

# ab:aaa=ab,bbaa=a a/b
aaaaaa=a
ab=aaa
bba=aaaaa

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

4 total

Σ	#	Presentation	Mapping
11	12405	⟨a, b \| aaba=bb, aabb=b⟩	φ(a) = b, φ(b) = a
11	12417	⟨a, b \| aaba=bb, baab=b⟩	φ(a) = b, φ(b) = a
11	12419	⟨a, b \| aaba=bb, baba=b⟩	φ(a) = b, φ(b) = a
11	12423	⟨a, b \| aaba=bb, bbaa=b⟩	φ(a) = b, φ(b) = a

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

1 total

Σ	#	Presentation	Mapping
11	14697	⟨a, b \| aabb=a, baaaa=a⟩	φ(a) = a, φ(b) = b

Up:	Monoids with two generators and two relations
Prev:	#5065 ⟨a, b \| aaa=ab, babb=b⟩
Next:	#5068 ⟨a, b \| aaa=ab, bbab=a⟩