Let $p > 2$ be a prime, and let $\textbf{F}_{p} = \textbf{Z}/p\textbf{Z}$. Let $k_{1}$ be a finite field over $\textbf{F}_{p}$, and let $k$ be a perfect field of characteristic $p$. Then we have ring isomorphism $k_{1} \otimes_{\textbf{F}_{p}} k \cong \oplus_{i=1}^{n} l_{i}$ where $l_{i}$ are finite extensions of $k$.

Question: How do we prove that $W(k_{1}) \otimes_{\textbf{Z}_{p}} W(k) \cong \oplus_{i=1}^{n} W(l_{i})$, where $W(k)$ denote the ring of Witt vectors of $k$?

When $k$ is finite, then either $k \subset k_{1}$ or $k_{1} \subset k$ and we have the result immediately, but I am not sure about the general case where $k$ is just a perfect field of characteristic $p$.

Any suggestions or comments would be greatly appreciated.

Let $p > 2$ be a prime, and let $\textbf{F}_{p} = \textbf{Z}/p\textbf{Z}$. Let $k_{1}$ be a finite field over $\textbf{F}_{p}$, and let $k$ be a perfect field of characteristic $p$. Then we have ring isomorphism $k_{1} \otimes_{\textbf{F}_{p}} k \cong \oplus_{i=1}^{n} l_{i}$ where $l_{i}$ are finite extensions of $k$.

Question: How do we prove that $W(k_{1}) \otimes_{\textbf{Z}_{p}} W(k) \cong \oplus_{i=1}^{n} W(l_{i})$, where $W(k)$ denote the ring of Witt vectors of $k$?

Any suggestions or comments would be greatly appreciated.