Prefer a chat interface with context about you and your work?
On ramified complete discrete valuation rings
R becomes a topological ring by defining the neighborhoods of zero to be the ideal (q) and all powers of (q). R is a complete discrete valuation ring if it is complete with respect to this topology. A non-Archimedean discrete valuation V can be defined on R by letting V(0) …