#1136 ⟨a, b | abbbba=abb⟩

Quick links

Presentation has sum-of-sides 9
Infinite non-cancellative non-commutative monoid
Not left cancellative, because left multiplication by a is not injective:
- a ⋅ b⁴a = ab² and a ⋅ b² = ab², however b⁴a ≠ b²
Enveloping group is isomorphic to ℤ

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:abbbba=abb cba abbb=c morph:4/1
cbb=cbc
abb=cba
cbab=c
cbcba=cb

Up:	Monoids with two generators and one relation
Prev:	#1135 ⟨a, b \| abbbba=aba⟩
Next:	#1137 ⟨a, b \| abbbba=bab⟩