Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am trying to prove that for any divisible torsion $\mathbb{Z}$-module $V$, this map $f:\mathbb{Q}/\mathbb{Z}\otimes\text{Hom}(\mathbb{Q}/\mathbb{Z},V)\longrightarrow V$ is an isomorphism via $f((q+\mathbb{Z})\otimes g)=g(q+\mathbb{Z})$. It is easy to prove that $f$ is a homomorphism, but I couldn't prove that $f$ is bijective. Are there any special properties for divisible torsion $\mathbb{Z}$-modules that help in proving that the above map $f$ is bijective? Tensor is taking over the ring End(Q/Z)

share|improve this question
    
How do you know it is bijective? –  Fernando Muro Apr 6 at 20:02
    
It is stated in Robert wisbaur paper(static modules and equivlances) in page 8 that this map is an isomorphism –  Fat Apr 6 at 22:00
    
Stated without proof? Have you tried to find the proof in other references? –  Fernando Muro Apr 6 at 22:03
3  
I think you just added an important detail to the question. –  Dag Oskar Madsen Apr 6 at 22:21
3  
Outline of proof: Everything breaks into a direct sum of the $p$-torsion parts over all primes $p$, so it's enough to prove it after localizing at $p$. Now $V$ is a direct limit of its ``cofinitely generated'' subs, i.e. submodules which look like a sum of finitely many $\mathbb{Q}_p/\mathbb{Z}_p$'s. Direct limits commute with everything, so it's basically enough to prove it for $V\cong \mathbb{Q}_p/\mathbb{Z}_p$. But here it's just the isomorphism $\mathbb{Q}_p/\mathbb{Z}_p \otimes_{End(\mathbb{Q}_p/\mathbb{Z}_p)} End(\mathbb{Q}_p/\mathbb{Z}_p) \cong \mathbb{Q}_p/\mathbb{Z}_p$. –  Kevin Ventullo Apr 6 at 23:22

2 Answers 2

up vote 4 down vote accepted

First, consider an element $v\in V$. As $V$ is torsion we can choose $n$ such that $n!v=0$. For $k\leq n$ put $u_k=(n!/k!)v$. Then choose $u_k$ for $k>n$ inductively with $ku_k=u_{k-1}$ (which is possible because $V$ is divisible). There is then a unique homomorphism $\phi\colon\mathbb{Q}/\mathbb{Z}\to V$ such that $\phi([1/k!])=u_k$ for all $k$, and $f([1/n!]\otimes \phi)=v$. This shows that $f$ is surjective.

Now consider an element $\alpha\in\ker(f)$. As $\mathbb{Q}/\mathbb{Z}$ is the union of the cyclic subgroups generated by elements of the form $[1/n!]$, we see that $\alpha$ can be written as $[1/n!]\otimes\phi$ for some $\phi\colon\mathbb{Q}/\mathbb{Z}\to V$ with $\phi([1/n!])=0$. Now multiplication by $n!$ gives a surjective endomorphism of $\mathbb{Q}/\mathbb{Z}$, whose kernel is generated by $[1/n!]$. It follows easily that $\phi=n!\psi$ for some $\psi$, and thus that $\alpha=n![1/n!]\otimes\psi=0$. Thus, $f$ is also injective.

The above argument shows that the composite $$ \mathbb{Q}/\mathbb{Z} \otimes_{\mathbb{Z}} \text{Hom}(\mathbb{Q}/\mathbb{Z},V) \to \mathbb{Q}/\mathbb{Z} \otimes_{\text{End}(\mathbb{Q}/\mathbb{Z})} \text{Hom}(\mathbb{Q}/\mathbb{Z},V) \to V $$ is an isomorphism, and it follows easily that both of the maps involved are isomorphisms. One can also see more directly that the first map is an isomorphism, using the standard fact that $\text{End}(\mathbb{Q}/\mathbb{Z})$ is the profinite completion of the integers, together with the obvious fact that the first tensor factor $\mathbb{Q}/\mathbb{Z}$ is a torsion group.

share|improve this answer

Since $\mathbf{Q}/\mathbf{Z} = \varinjlim (1/n) \mathbf{Z}/\mathbf{Z}$ and $V = \varinjlim V[n]$ (as $V$ is torsion), it suffices to show that for $n > 0$ the natural map ${\rm{Hom}}(\mathbf{Q}/\mathbf{Z},V)/(n) \rightarrow V[n]$ defined by evaluation at $1/n \bmod \mathbf{Z}$ is an isomorphism (as then with a small diagram chase we can pass to the direct limit over more divisible $n$ to conclude).

But $V$ is an injective abelian group (as $V$ is divisible), so applying ${\rm{Hom}}(\cdot, V)$ to the exact sequence $$0 \rightarrow (1/n)\mathbf{Z}/\mathbf{Z} \rightarrow \mathbf{Q}/\mathbf{Z} \stackrel{n}{\rightarrow} \mathbf{Q}/\mathbf{Z} \rightarrow 0$$ yields exactly the desired isomorphism.

[In effect, this is a reformulation of the same argument as in Neil Strickland's answer, as I am masking some calculations implicit in the proof that divisible abeian groups are injective. I am also tacitly using that $\widehat{\mathbf{Z}}$ is the endomorphism ring of $\mathbf{Q}/\mathbf{Z}$, so tensoring over it against a torsion module is the same as tensoring over $\mathbf{Z}$.]

share|improve this answer

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.