Wikipedia señala que existe un equivalente a la definición de no-arquimedianos los campos de la región: "es un campo que se completa con respecto a una discreta valoración y cuyo residuo de campo es finito." Sin embargo, soy incapaz de encontrar cualquier prueba o referencia.
En particular, estoy interesado en el siguiente problema: supongamos $K$ ser un no-arquímedes local de campo de característica 0 (según la definición convencional) que es una extensión finita de $\mathbb Q_p$. Cómo puede uno demostrar que $K$ es la culminación de $L$ en algún lugar $v$ para un campo de número de $L$?
