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.
No takes yet. Share an insight, caveat, or question.
Dorin Popescu (1985) studied this question.