1: \begin{definition} 

2: Let $A \to B$ be an \'etale map of $\mathbb{F}_p$-algebras. If $M$ is a nilpotent $W(A)$-module,

3: so that $M$ is a $W_n(A)$-module for some $n$, 

4: then we write $M_B$ for the $W(B)$-module $ M \otimes_{W_n(A)} W_n(B)$. 

5: By Theorem~\ref{wittetale}, the construction of $M_B$ does not depend on

6: the choice of $n$.

7: \end{definition}