On fixed points and stabilizers in solvable Baumslag--Solitar groups
In this article, we study the fixed-point subgroups of the solvable Baumslag-Solitar groups $\BS(1,n)= \langle a, t \mid t a t^{-1} = a^{n} \rangle$, of automorphisms and endomorphisms. We also investigate the stabilizers of subgroups of $\BS(1,n)$, considered as subgroups of the group of automorphisms and submonoids of the monoid of endomorphisms of $\BS(1,n)$. We show that the fixed-point subgroups of automorphisms are either infinite cyclic (in which case, a generator is computable), or they are equal to , an infinitely generated abelian group. We further prove that the stabilizer subgroup of an element in $\BS(1,n)$ is either a finitely generated abelian group whose rank equals the number of distinct prime divisors of (and in this case, a finite generating set is computable), or it is . As a corollary, we show that for all , every element of $\BS(1,n)$ has a unique -th root. We then proceed to examine the behaviour of fixed-point subgroups and stabilizers under endomorphisms and find similar results. We prove that the fixed point subgroups of endomorphisms are again infinite cyclic or , but the stabilizer submonoids are always infinitely generated.