Ascent and descent of Artinian module structures under flat base changes (Q6561445)

In the literature, there are some results concerning the descent and ascent of finitely generated modules under flat base changes. The aim of this paper is to establish some analogous results for Artinian modules.\N\NLet \(\phi: (R,\mathfrak{m},\mathbb{K})\rightarrow (S,\mathfrak{n},\mathbb{F})\) be a flat local homomorphism between commutative Noetherian local rings. They authors prove the following descent and ascent results:\N\N{Theorem A:} Let \(\text{E}_S(\mathbb{F})\) denote the injective envelope of the residue field \(\mathbb{F}\) and \(d=\dim_S(S/\mathfrak{m}S)\). The following are equivalent:\N\begin{itemize}\N\item[(a)] Each Artinian \(S\)-module is Artinian as an \(R\)-module via the map \(\phi\).\N\item[(b)] \(\text{E}_S(\mathbb{F})\) is Artinian as an \(R\)-module via the map \(\phi\).\N\item[(c)] \(\text{H}_{\mathfrak{n}}^d(S/\mathfrak{m}S)\) is Artinian as an \(R\)-module via the map \(\phi\).\N\item[(d)] \(\ell_R(S/\mathfrak{m}S)<\infty\).\N\end{itemize}\N\N{Theorem B:} Let \(A\) be an Artinian \(R\)-module. Assume that \(t=\ell_R(S/\mathfrak{m}S)<\infty\). Then \(A^t=\oplus^t A\) has a structure of an Artinian \(S\)-module and there is an isomorphism \(A\otimes_RS\cong A^t\) of \(S\)-modules. If we regard the \(S\)-module \(A^t\) as an \(R\)-module via the map \(\phi\), we recover the usual \(R\)-module structure on \(A^t\).