Finite extension of residue fields of DVR's Let $R$ be a DVR with $K = Quot(R)$ and residue field $k$. Let $k'/k$ be a finite field extension. I would like to have a reference for the following statement (or to see, that it is not true):
There exists a finite field extension $K'/K$ s.t. the residue field of the integral closure $R'$ of $R$ in $K'$ is $k'$.
(In my concrete situation: $K/\mathbb Q_p$ finite field extension, $R = \mathcal O_K$ local number field of $K$, and $k \cong \mathbb F_q$ for some prime power $q$ of $p$.)

Write $k^\prime=k[X]/(\bar{p})$ where $\bar{p}$ is a monic irreducible in $k[X]$. Let $p$ be a monic lift of $\bar{p}$ in $R[X]$. Consider $R^\prime=R[X]/(p(x))$. This is a local ring with residue field $\bar{k}$. It is a finite $R$-algebra, so it's also Noetherian. The maximal ideal of $R^\prime$ is generated by the image of $\pi$, where $\pi$ is a uniformizer for $R$. The ring map $R\rightarrow R^\prime$ is injective, so $\pi$ is not nilpotent in $R^\prime$. This is enough to conclude that $R^\prime$ is a discrete valuation ring. Take $K^\prime$ to be the field of fractions of $R^\prime$. Then $R^\prime$ is integral over $R$ and integrally closed in $K^\prime$, so it must be the integral closure of $R$ in $K^\prime$. One has $K^\prime=K[X]/(p(X))$, which is finite over $K$. 
For more details see the first chapter of Serre's Local Fields.
