Let $G$ be the Baumslag-Solitar group $\langle a,t \mid tat^{-1}=a^k\rangle$ and $\mathbb{Z}[1/k]:=\left\{\frac{x}{k^n}\mid x\in\mathbb{Z},n\in\mathbb{N}\cup\{0\}\right\}.$ I'm searching for an isomorphism $G=\langle a,t \mid tat^{-1}=a^k\rangle\cong\mathbb{Z}[1/k]\rtimes\langle t\rangle$. I only need to know the map $\Psi:\langle a\rangle^G\to\mathbb{Z}[1/k]$. I defined $\Psi(t^na^xt^{-n}):=\frac{x}{k^n}.$ But for one hour I'm calculating to prove that this map induces an homomorphism, but I always get for $n>m$:
$\Psi(t^na^xt^{-n})\cdot \Psi(t^ma^yt^{-m})=\frac{x}{k^n}+\frac{y}{k^m}=\frac{x+y\cdot k^{n-m}}{k^n}$ and $\Psi(t^na^xt^{-n}\cdot t^ma^yt^{-m})=\Psi(t^ma^{(x\cdot k^{n-m})}t^{-m}t^myt^{-m})=\Psi(t^ma^{x\cdot k^{n-m}+y}t^{-m})=\frac{x\cdot k^{n-m}+y}{k^m}.$ And these images are obvisually unequal. So what is my fault? Is this map the wrong one?
Thanks for your help.