Abstract

Separated and immediate extensions of valued fields. The notion of separated extension of valued fields was introduced by Baur. He showed that extensions of maximal fields are separated. We prove that, when $(K, v)$ is Henselian with residual characteristic 0, then $(K, v) \subset (L, w)$ is separated iff $L$ is linearly disjoint over $K$ from each immediate extension of $K$