It is well known that $\text{Ext}(\mathbb Z_p,\mathbb Z)$ is the trivial group, because $\mathbb Z_p$ is projective; this seems to be in contradiction with the Exercise 1.1 in Hilton - Stammbach, pag. 88: the two sequences $$ 0 \to \mathbb Z \xrightarrow{\mu} \mathbb Z \xrightarrow{\epsilon}\mathbb Z_3 \to 0 $$ and $$ 0 \to \mathbb Z \xrightarrow{\mu} \mathbb Z \xrightarrow{\epsilon'}\mathbb Z_3 \to 0 $$ where $\mu$ is the multiplication by 3 in $\mathbb Z$ and $\epsilon(n)=n\pmod{3}$, $\epsilon'(n)=n+1\pmod{3}$ are not equivalent, and then represent different elements in the set of extensions of $\mathbb Z_3$ and $\mathbb Z$... Where am I wrong?
Computing $\text{Ext}(\mathbb Z_p,\mathbb Z)$
-
0Obviously $\mathbb Z_p = \mathbb Z/p\mathbb Z$, where $p$ is a prime number. – 2010-11-22
-
9This is not obvious; Z_p (in my experience) more frequently refers to the p-adic integers. – 2010-11-22
-
0Yes, "obviously" was a *lapsus linguae*. p-adic integers are $\mathbb Z_{(p)}$. – 2010-11-22
-
0Right, but the additive group of the $p$-adic integers isn't a projective $\mathbb{Z}$-module either. Projective modules over a PID are free. But a nonzero free abelian group stays nonzero upon tensoring with $\mathbb{Z}/\ell\mathbb{Z}$ for all primes $\ell$, unlike $\mathbb{Z}_p$. It is flat though... – 2010-11-22
-
7No, "obviously" not necessarily. $\mathbb{Z}_{(p)}$ often refers to the localization of $\mathbb{Z}$ at the prime $(p)$, that is, all rationals which can be expressed with denominator prime to $p$. There are too many conflicting notations in this particular area to assume that anything is "obvious"! – 2010-11-22
2 Answers
Well, $\mathbb Z_p=\mathbb Z/p\mathbb Z$ certainly isn't projective as a $\mathbb Z$-module.
Added Now $\mathrm{Ext}(\mathbb Z/p\mathbb Z,\mathbb Z)$ is cyclic of order $p$. The zero element corresponds to the split extension of $\mathbb Z$ by $\mathbb Z_p$. The other elements correspond to extensions $$0\to \mathbb Z\to \mathbb Z\to \mathbb Z/p\mathbb Z\to0.\qquad\qquad\qquad(*)$$ In this exact sequence the surjection can be taken to map $1\in \mathbb Z$ to any given nonzero $a\in\mathbb Z/p\mathbb Z$. Thus there are $p-1$ non-isomorphic extensions looking like $(*)$.
-
0No, it isn't, you're right (and I'm completely wrong). Then, how can I do to compute it starting from the definition of classes of extensions of the given sequence? – 2010-11-22
Here is one way to see why $\Bbb{Z}/p\Bbb{Z}$ isn't projective. Suppose you take $f$ to be the projection $f : \Bbb{Z} \to \Bbb{Z}/p\Bbb{Z}$. Now if $\Bbb{Z}/p\Bbb{Z}$ is projective then for every map $g : \Bbb{Z}/p\Bbb{Z} \to \Bbb{Z}$ we will get a map $h : \Bbb{Z}/p\Bbb{Z} \to \Bbb{Z}$ such that
$$f \circ h = g.$$
However the problem now is that there are no homomorphisms from $\Bbb{Z}/p\Bbb{Z}$ to $\Bbb{Z}$ except the trivial homomorphism!
IMO to compute the first Ext group in your problem, the easiest would be to look at the ses
$$0 \to \Bbb{Z} \stackrel{p\cdot}{\to} \Bbb{Z} \to \Bbb{Z}/p\Bbb{Z} \to 0$$
that gives rise to the following LES in Ext:
$$0\to \textrm{Hom}(\Bbb{Z}/p\Bbb{Z},\Bbb{Z}) \to \textrm{Hom}(\Bbb{Z},\Bbb{Z}) \stackrel{p\cdot}{\to} \textrm{Hom}(\Bbb{Z},\Bbb{Z}) \to \textrm{Ext}^1(\Bbb{Z}/p\Bbb{Z},\Bbb{Z}) \to 0 \to 0\ldots $$
We have the zeros at the end because $\Bbb{Z}$ is a free abelian group and hence is projective. Since $\textrm{Hom}(\Bbb{Z},\Bbb{Z}) \cong \Bbb{Z}$ by the first isomorphism theorem we get
$$\textrm{Ext}^1(\Bbb{Z}/p\Bbb{Z},\Bbb{Z}) \cong \Bbb{Z}/p\Bbb{Z}.$$