Ascent and descent of Artinian module structures under flat base changes

Étale and flat extensions; Henselization; Artin approximation (13B40) Local cohomology and commutative rings (13D45) Commutative Noetherian rings and modules (13E05) Commutative Artinian rings and modules, finite-dimensional algebras (13E10)

Review text

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\).

Recommendations

Cites work

This page was built for publication: Ascent and descent of Artinian module structures under flat base changes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561445)