⟨a, b | aaaa=1, aababbb=1⟩

Up:

Monoids with two generators and two relations

#16578 ⟨a, b | aaaa=1, aabaabb=1⟩

#16589 ⟨a, b | aaaa=1, aabbbbb=1⟩

Elements

center

order

1 element center:

Order of generators:

a: order 4
b: order 16

Histogram:

order 2	17 elements	ab⁴, bab³, b²ab², b³ab, b⁴a, ...
order 4	34 elements	a, b⁴, ab⁸, bab⁷, b²ab⁶, ...
order 8	68 elements	b², ab², bab, b²a, b⁶, ...
order 16	136 elements	b, ab, ba, b³, ab³, ...
order 17	16 elements	ab¹², bab¹¹, b²ab¹⁰, b³ab⁹, b⁴ab⁸, ...

Complete 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(b) = 0; deg(a) = 1

b¹⁶ ⇒ 1
a² ⇒ bab³
aba ⇒ b⁴ab
ab²a ⇒ b⁸ab¹⁴
ab³a ⇒ b³ab⁴
ab⁴a ⇒ b¹²
ab⁵a ⇒ b¹²ab¹³
ab⁶a ⇒ b²ab⁸
ab⁷a ⇒ b¹⁵ab¹²
ab⁸a ⇒ b¹³ab¹⁵
ab⁹a ⇒ b⁷ab⁶
ab¹⁰a ⇒ b⁹ab⁵
ab¹¹a ⇒ b⁵ab¹⁰
ab¹²a ⇒ b¹⁴ab²
ab¹³a ⇒ b⁶ab¹¹
ab¹⁴a ⇒ b¹¹ab⁷
ab¹⁵a ⇒ b¹⁰ab⁹

# ab:aaaa=1,aababbb=1 b/a bbbbbbbbbbbbbbbb=1 aa=babbb aba=bbbbab abba=bbbbbbbbabbbbbbbbbbbbbb abbba=bbbabbbb abbbba=bbbbbbbbbbbb abbbbba=bbbbbbbbbbbbabbbbbbbbbbbbb abbbbbba=bbabbbbbbbb abbbbbbba=bbbbbbbbbbbbbbbabbbbbbbbbbbb abbbbbbbba=bbbbbbbbbbbbbabbbbbbbbbbbbbbb abbbbbbbbba=bbbbbbbabbbbbb abbbbbbbbbba=bbbbbbbbbabbbbb abbbbbbbbbbba=bbbbbabbbbbbbbbb abbbbbbbbbbbba=bbbbbbbbbbbbbbabb abbbbbbbbbbbbba=bbbbbbabbbbbbbbbbb abbbbbbbbbbbbbba=bbbbbbbbbbbabbbbbbb abbbbbbbbbbbbbbba=bbbbbbbbbbabbbbbbbbb

Other isomorphic instances

6 total

Σ	#	Presentation	Mapping
11	16600	⟨a, b \| aaaa=1, ababbba=1⟩	φ(a) = a, φ(b) = b
11	16607	⟨a, b \| aaaa=1, abbbaab=1⟩	φ(a) = a, φ(b) = b
11	16617	⟨a, b \| aaaa=1, baababb=1⟩	φ(a) = a, φ(b) = b
11	17146	⟨a, b \| aaaa=1, baabbb=a⟩	φ(a) = a, φ(b) = abbbbbbbbbbb
11	17148	⟨a, b \| aaaa=1, bababb=a⟩	φ(a) = a, φ(b) = abbbbbbb
11	17678	⟨a, b \| aaaa=1, babbb=aa⟩	φ(a) = a, φ(b) = b

Presentation

Mapping

16600

⟨a, b | aaaa=1, ababbba=1⟩

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

16607

⟨a, b | aaaa=1, abbbaab=1⟩

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

16617

⟨a, b | aaaa=1, baababb=1⟩

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

17146

⟨a, b | aaaa=1, baabbb=a⟩

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

17148

⟨a, b | aaaa=1, bababb=a⟩

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

17678

⟨a, b | aaaa=1, babbb=aa⟩

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

Σ	#	Presentation	Mapping
11	16587	⟨a, b \| aaaa=1, aabbbab=1⟩	φ(a) = a, φ(b) = b
11	16595	⟨a, b \| aaaa=1, abaabbb=1⟩	φ(a) = a, φ(b) = b
11	16620	⟨a, b \| aaaa=1, babaabb=1⟩	φ(a) = a, φ(b) = b

Presentation

Mapping

16587

⟨a, b | aaaa=1, aabbbab=1⟩

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

16595

⟨a, b | aaaa=1, abaabbb=1⟩

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

16620

⟨a, b | aaaa=1, babaabb=1⟩

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

#16582 ⟨a, b | aaaa=1, aababbb=1⟩

Properties

Elements

Complete rewriting system

Right Cayley graph

Left Cayley graph

Other isomorphic instances

Other anti-isomorphic instances

Up:	Monoids with two generators and two relations
Prev:	#16578 ⟨a, b \| aaaa=1, aabaabb=1⟩
Next:	#16589 ⟨a, b \| aaaa=1, aabbbbb=1⟩