Baumslag-Solitar group:BS(1,2)

Definition
This group is defined as the Baumslag-Solitar group with parameters 1 and 2, i.e., the group $$BS(1,2)$$. Explicitly, it is defined by means of the following presentation:

$$\langle a,b \mid bab^{-1} = a^2 \rangle$$