Skip to main content
edited body
Source Link
user6976
user6976

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n-1$ for $n\ge 4$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+2$ generators and $n+1$ relations. So the answer is $f(n)=n-2$ - for every $n\ge 2$$n\ge 4$.

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n-1$ for $n\ge 4$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+2$ generators and $n+1$ relations. So the answer is $f(n)=n-2$ - for every $n\ge 2$.

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n-1$ for $n\ge 4$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+2$ generators and $n+1$ relations. So the answer is $f(n)=n-2$ - for every $n\ge 4$.

deleted 8 characters in body; added 34 characters in body
Source Link
user6976
user6976

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n+1$$f(n) < n-1$ for $n\ge 4$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,w,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $$\langle x_1,...,x_{n-1},u,v,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+2$ generators and $n+1$ relations. So the only questionanswer is whether $f(n)=n-2, n-1$ or$f(n)=n-2$ $n$- for every $n\ge 2$.

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n+1$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,w,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+1$ relations. So the only question is whether $f(n)=n-2, n-1$ or $n$.

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n-1$ for $n\ge 4$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+2$ generators and $n+1$ relations. So the answer is $f(n)=n-2$ - for every $n\ge 2$.

Source Link
user6976
user6976

$f(n)=n-2$ works as I said in the comment above. On the other hand, $f(n) < n+1$. Indeed, the metabelian Baumslag-Solitar group can be given by relations $\langle x_1,...,x_{n-1},u,v,w,t\mid x_1=x_2, x_2=x_3, ..., x_{n-2}=x_{n-1}, tx_1=u, ut^{-1}=v, x_1^2=v\rangle $ with $n+1$ relations. So the only question is whether $f(n)=n-2, n-1$ or $n$.