The map from A to the inverse limit of all its localizations is always injective. This boils down to the fact that the global sections of the structure sheaf O on Spec A are just A. The map from A to the global sections of O just takes A to the section which is the image of a in A_p on each stalk. So it is the map from
A to the product of all its localizations, and this is therefore injective, so the map to the inverse limit will also be.
But it does not always have to be surjective. Indeed, we can just take a commutative von Neumann regular ring that is not a product of fields. The reason this will work is that every prime ideal in a commutative VNR ring is maximal, and every localization is a field. So the inverse limit of the localizations will be a product of fields.
Here is a commutative VNR that is not a product of fields; take the subring of a countably infinite product of copies of a fixed field k consisting of sequences that are eventually constant. I got this from Lam, Lectures on Modules and Rings, Example 7.54p. 263. It is easy to see this is VNR, and surely it is not a product of fields.
No comments:
Post a Comment