Consider the $\mathbb{Z}$-module $M=\bigoplus{\mathbb{Z}/p\mathbb{Z}}$, where the direct sum is taken over the set of all prime numbers. How do I show that the localizations $M_\mathfrak{p}$ are finitely generated $\mathbb{Z}_\mathfrak{p}$-modules for any prime ideal $\mathfrak{p}$ of $\mathbb{Z}$?
localizations of a direct sum module
1
$\begingroup$
commutative-algebra
-
1Hint: If $q\neq p$ are primes, then $q$is a $p$-adic unit. What can you say about a module that is annihilated by a unit? – 2011-09-11
1 Answers
2
Recall the following facts:
(1) Direct limits, direct sums and tensor products commute up to isomorphism
(2) The localization of a $R$-module $M$ at a prime $\mathfrak{p}$ is isomorphic to the module obtained by extending $M$ to scalars in $R_{\mathfrak{p}}$
(3) $(\mathbb{Z}/p\mathbb{Z}) \otimes_{\mathbb{Z}}\mathbb{Z}_q$ is isomoprhic to $\mathbb{Z}/p\mathbb{Z}$ if $p=q$ and $0$ otherwise.
From these three facts, it follows that
$$M_{\mathfrak{p}} = M \otimes_{\mathbb{Z}} \mathbb{Z}_{\mathfrak{p}} = (\displaystyle\lim_{\rightarrow} \text{ } \displaystyle \bigoplus_{p
and your claim follows.
-
0What about if we replace $M=\bigoplus{\mathbb{Z}/p\mathbb{Z}}$ with $N=\prod{\mathbb{Z}/p\mathbb{Z}}$? Are the localizations $N_\mathfrak{p}$ finitely generated $\mathbb{Z}_\mathfrak{p}$-modules? – 2011-09-11
-
0Are you working on an old Northwestern prelim? – 2011-09-11
-
0$N_{\mathfrak{p}}$ is not finitely generated. Partition the primes of $\mathbb{Z}$ into countably many infinite sets $I_n$ and consider the $\mathbb{Z}$-module homomorphism $\phi_n:\mathbb{Z} \rightarrow \prod_{p\in I_n} \mathbb{Z}/p\mathbb{Z}$ which maps $\mathbb{Z}$ to the diagonal. As $|I_n|$ is infinite, $\phi_n$ is an embedding. It follows the homorphism $\oplus_{n\in\omega} \phi_n : \mathbb{Z}^\omega \rightarrow N$ is an embedding. – 2011-09-11
-
0Thus the dimension of $N \otimes_{\mathbb{Z}} \mathbb{Q}_p \cong (N \otimes_{\mathbb{Z}} \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p$ as a $\mathbb{Q}_p$-vector space is at least countably infinite. And therefore $N \otimes_{\mathbb{Z}} \mathbb{Z}_p$ cannot be finitely generated as a $\mathbb{Z}_p$ module. – 2011-09-11
-
0@jspecter Haha, I thought this as well. I did all of those problems last year and Robert's questions have been very familiar. – 2011-09-12
-
0Oh, now I know who you are. Welcome! – 2011-09-12
-
0I like this answer a lot (you should add the remarks on $\prod$, which are excellent, to the main answer if you get the chance), but it seems like the solution of the problem is mixed up with what is more or less a proof of "arbitrary direct products commute with tensor products", which could be confusing. Let me know if I'm wrong! – 2011-09-12