1. ## Compute Hom(q,q/z)

Hom(z,q/z)=?
Hom(q,q/z)=?

and also please prove that Q is an injective Z-module.

2. ## Re: Compute Hom(q,q/z)

$\displaystyle Hom (\mathbb{Z} , \mathbb{Q} / \mathbb{Z} )$ is trivially isomorphic to $\displaystyle \mathbb{Q} / \mathbb{Z}$ since any morphism is determined by where it sends $\displaystyle 1$. To prove that $\displaystyle \mathbb{Q}$ is injective take any morphism $\displaystyle f: n\mathbb{Z} \rightarrow \mathbb{Q}$ with $\displaystyle f(n)=a$ then, since $\displaystyle \mathbb{Q}$ is divisible there exists $\displaystyle b\in \mathbb{Q}$ with $\displaystyle nb=a$ take $\displaystyle g: \mathbb{Z} \rightarrow \mathbb{Q}$ with $\displaystyle g(1)=b$ then $\displaystyle gi=f$ where $\displaystyle i :n\mathbb{Z} \rightarrow \mathbb{Z}$ is the inclusion, conclude by Baer's criterion. I don't have the answer to the second but maybe the fact that $\displaystyle \mathbb{Q} / \mathbb{Z} \cong \oplus_{p \ prime } \mathbb{Z}_{p^\infty}$ is of use.

3. ## Re: Compute Hom(q,q/z)

thank you jose i got it. I will try for the others.

,

,

,

# www.sawudareb.hom.q

Click on a term to search for related topics.