Tengo alguna pregunta acerca de Henselization de valores de campo. Si $(K_{1}, \nu_{1})$ es un Henselization de valores de campo $(K, \nu)$. Cuál es la verdadera.
- $K_{1}/K$ es una extensión algebraica.
- $K_{1}/K$ es un trascendental extensión.
Si $[K(a) : K] = n$ al $[K_{1}(a): K] = n $ o $< n$. Gracias
