Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

As we all know, the ring $Z_p$ can be constructed as the projective limit of the rings $Z/p^{n}Z$.
Now is there any generalization such as the p-adic completions of a Dedekind Domain?
This might be said to be inspired by the general treatment of extensions of Dedekind Domains from the treatment of algebraic number fields.
In any case, thanks very much.

share|cite|improve this question
Yes; you can do valuations with any prime ideal in the exactly analogous manner, and do the corresponding limit (projective limit) which yields precisely the completion relative to the valuation determined by the prime ideal. – Arturo Magidin Feb 16 '11 at 5:22
And can you make this community wiki, please? – awllower Feb 16 '11 at 6:52
Dear @awillower, I can wikify your question, but why? It is not a soft question. Why should people who post good answers not get reputation from it? (Or why should your asking a technical question not earn you reputation?) – Akhil Mathew Feb 16 '11 at 7:19
Sorry, I get your point now, I will remove the tag. – awllower Feb 16 '11 at 9:35
I have found a reasonable explanation such that this can be done:As Emil Artin once said, the product formula is an important characterization of such fields, and since in the Dedekind case, the product formula isn't changed, this is imaginable. – awllower Feb 17 '11 at 0:09

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.