Una generalización de Ostrowski ' s Teorema

Question

Que $D$ ser un dominio de dedekind y $|\cdot|$ una norma limitada, no trivial en $D.$ es equivalente a un $|\cdot|$ $I$-adic norma máxima ideal $I$ $D?$

Answer 1

Si lo estoy entendiendo la terminología correctamente, la respuesta es sí: ver teorema 13 en estas notas.