show/hide this revision's text 5 added 18 characters in body; added 11 characters in body

I am wondering if

Let $BS(1,4) = \langle a,b\mid bab^{-1}=a^4 \rangle$ can G$ be embedded into the following a group generated by $a_0, a_1, a_2$ with relations:

$a_0 a_1 a_0^{-1}=a_1^4$

$a_1 a_2 a_1^{-1}=a_2^4$

$a_2 a_0 a_2^{-1}=a_0^4$

I am wondering if $BS(1,4)=\langle a,b:bab^{-1}=a^4\rangle$ is embedded into G via $a\mapsto a_1$, $b\mapsto a_0$

Remark: the group is constructed in analogy to Higman group

show/hide this revision's text 4 added 5 characters in body

Let

I am wondering if $G$ BS(1,4) = \langle a,b\mid bab^{-1}=a^4 \rangle$ can be a embedded into the following group generated by $a_0, a_1, a_2$ with relations:

$a_0 a_1 a_0^{-1}=a_1^4$

$a_1 a_2 a_1^{-1}=a_2^4$

$a_2 a_0 a_2^{-1}=a_0^4$

I am wondering if $BS(1,4)=$ is embedded into G via $a\mapsto a_1$, $b\mapsto a_0$

Remark: the group is constructed in analogy to Higman group

show/hide this revision's text 3 added 36 characters in body

I am wondering if

Let $BS(1,4)= \langle a,b:bab^{-1}=a^4 \rangle$ can G$ be embedded into the following a group generated by $a_0, a_1, a_2$ with relations:

$a_0 a_1 a_0^{-1}=a_1^4$

$a_1 a_2 a_1^{-1}=a_2^4$

$a_2 a_0 a_2^{-1}=a_0^4$

I am wondering if $BS(1,4)=$ is embedded into G via $a\mapsto a_1$, $b\mapsto a_0$

Remark: the group is constructed in analogy to Higman group

show/hide this revision's text 2 added 13 characters in body
show/hide this revision's text 1