2 Deleted math-education tag, typeset.

The Baumslag-Solitar groups $BS(m,n) = \langle b,s\mid s^{-1}b^ms = b^n\rangle$, with $mn\neq 0$, are important examples (more often, counter-examples) in group theory. They are residually finite if, and only if, either $m$ and $n$ are equal in absolute value, or one of $m$ and $n$ has absolute value equal to $1$. In that case, they are Hopfian, and also when $m$ and $n$ have the same prime divisors. Otherwise, they are non-Hopfian. For $m=n$, we get examples of one-relator groups with non-trivial center. The group $BS(2,2)$ is an example in which the Howson property fails.

I can only recall having seen these groups defined by means of a presentation. I would like to know whether these groups (apart from the obvious special cases such as the metabelian ones) can be realized by some other fairly elementary and concrete mechanism. My question is:

Does $BS(m,n)$ occur "in nature"?

(For example, the Sanov matrices $\left(\begin{matrix} 1&2 \cr 0&1 \end{matrix}\right)$ and $\left(\begin{matrix} 1&0 \cr 2&1\end{matrix}\right)$ generate a free subgroup of $SL(2,\mathbb{Z})$, so I would say that free groups occur "in nature".)

Obviously, since the Baumslag-Solitar groups are often non-Hopfian, they cannot be constructed as groups of matrices. But, perhaps there is some other concrete realization of these groups.

If there isn't a general construction, it would still be useful to get a concrete realization for the non-Hopfian group $BS(2,3)$.

1

# Do the Baumslag-Solitar groups occur in nature?

The Baumslag-Solitar groups $BS(m,n) = \langle b,s\mid s^{-1}b^ms = b^n\rangle$, with $mn\neq 0$, are important examples (more often, counter-examples) in group theory. They are residually finite if, and only if, either $m$ and $n$ are equal in absolute value, or one of $m$ and $n$ has absolute value equal to $1$. In that case, they are Hopfian, and also when $m$ and $n$ have the same prime divisors. Otherwise, they are non-Hopfian. For $m=n$, we get examples of one-relator groups with non-trivial center. The group $BS(2,2)$ is an example in which the Howson property fails.

I can only recall having seen these groups defined by means of a presentation. I would like to know whether these groups (apart from the obvious special cases such as the metabelian ones) can be realized by some other fairly elementary and concrete mechanism. My question is:

Does $BS(m,n)$ occur "in nature"?

(For example, the Sanov matrices $\left(\begin{matrix} 1&2 \cr 0&1 \end{matrix}\right)$ and $\left(\begin{matrix} 1&0 \cr 2&1\end{matrix}\right)$ generate a free subgroup of $SL(2,\mathbb{Z})$, so I would say that free groups occur "in nature".)

Obviously, since the Baumslag-Solitar groups are often non-Hopfian, they cannot be constructed as groups of matrices. But, perhaps there is some other concrete realization of these groups.

If there isn't a general construction, it would still be useful to get a concrete realization for the non-Hopfian group $BS(2,3)$.