Tengo una pregunta y estoy atascado, aunque no debería ser demasiado difícil.
Consideramos que$K$ es un campo,$v$ una valoración discreta en$K$ y$O=\{x \in K:v(x)\geq 0\}$ el anillo de valoración de$v$. Dejar $\pi\in K^{\times}$. Entonces TFAE:
i)$$v(\pi)=\min\{v(x):x\in K^{\times} \; \text{satisfies} \; v(x)>0\}$ $
ii) El ideal$\pi O$ es un ideal primordial de$O$.
¿Puede alguien ayudarme por favor? No sé cómo relacionar estas dos afirmaciones. ¡Gracias de antemano!
