Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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.

share|improve this question
    
I think Baumslag–Solitar group is correct but I am not sure. –  Babak Miraftab May 28 '12 at 17:04
    
Yes. Thank you. –  Peter May 28 '12 at 17:30
    
$tat^{-1}=a^k$, so $\Psi(t^n a^x t^{-n})$ should multiply (not divide) the exponent of $a$ by $k$. Hence the image should be $xk^n$. –  Ted May 28 '12 at 21:11
    
Thank you very much. –  Peter May 28 '12 at 21:24
add comment

1 Answer

You need to modify the definition of $\Psi$: put $$\Psi(t^na^xt^{-n})=xk^n$$ (instead of $\Psi(t^na^xt^{-n})=xk^{-n}$). The homomorphic property should follow easily along the lines of the computations given in the original question.

Alternatively, you could replace $t$ by $t^{-1}$ in the definition of the Baumslag-Solitar group, in which case the $\Psi$ as originally given is a homomorphism.

share|improve this answer
    
Thank you very much. –  Peter May 28 '12 at 21:24
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.