Please compute;

Hom(z,q/z)=?

Hom(q,q/z)=?

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

Printable View

- Jul 1st 2011, 02:49 AMseventhsonCompute Hom(q,q/z)
Please compute;

Hom(z,q/z)=?

Hom(q,q/z)=?

and also please prove that Q is an injective Z-module. - Jul 1st 2011, 03:39 PMJose27Re: 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.

- Jul 5th 2011, 11:52 PMseventhsonRe: Compute Hom(q,q/z)
thank you jose i got it. I will try for the others.