>>458
離散付値とか局所体とかって分かるか?
というか、p進整数とべき級数環にどう距離を入れれば自然か、考えればおのずと答えは出ると思うが