Abstract
Let R⊂ R′ be an “unramified” extension of discrete valuation rings in the sense that a local parameter p of R is also a local parameter in R⊂. Suppose that the inclusion R→R⊂ induces separable extensions on fraction and residue fields.

This publication has 5 references indexed in Scilit: