On the condition Going up for R R
Let \((R, \mathfrak m)\) denote a local ring and \(M\) an \(R\)-module. Let \(\hat R\) denote the completion of \(R.\) Let \(\text{Koatt} M = \{\mathfrak p \in \text{Spec} R | \mathfrak p = \text{Ann}_R U \text{ for a submodule } U \subset M\}.\) Then there are the following inclusions \(\text{Ass} M \subseteq \text{Koatt} M \subseteq V(\text{Ann}_R M)\). The first one is an equality whenever \(M\) is a finitely generated \(R\)-module. The second one is an equality whenever \(M\) is an Artinian \(R\)-module and \(R\) is complete, while it does not hold in general for an Artinian \(R\)-module \(M\). The main result is the equivalence of the following conditions: (1) For any Artinian \(R\)-module the second inclusion is an equality. (2) The ring extension \(R \subset \hat R\) satisfies Going Up. (3) \(R\) satisfies the following three statements: (A) The ring \(R/\mathfrak p\) is quasi-unmixed for all \(\mathfrak p \in \text{Spec} R\). (B) The fibre ring \({\hat R}\otimes k(\mathfrak p)\) is zero dimensional for all \(\mathfrak p \in \text{Spec} R.\) (C) For all prime ideals \(\mathfrak p \subset \mathfrak q\) with \(\dim R/\mathfrak q > 0\) any prime \(P \supset \mathfrak p \hat R\) with \(\dim \hat R/P = \dim R/\mathfrak p\) satisfies \(\dim \hat R/P + \mathfrak p\hat R > 0.\) -- Moreover the author discusses the relationship among the conditions (A), (B), and (C) in (3) by several examples. Note that condition (C) in (3) is by the Hartshorne-Lichtenbaum vanishing theorem equivalent to \(H^d_{\mathfrak q/\mathfrak p} (R/\mathfrak p) = 0\) for \(d = \dim R/\mathfrak p.\)
- AB-5* and linear compactness
- Formal fibers and birational extensions
- scientific article; zbMATH DE number 3198931 (Why is no real title available?)
- scientific article; zbMATH DE number 4185779 (Why is no real title available?)
- Kosinguläre und Kleine Moduln#
- KRULL DIMENSION FOR ARTINIAN MODULES OVER QUASI LOCAL COMMUTATIVE RINGS
- Krull's intersection theorem in case of small submodules
- On the completeness of factor rings
- On the Noetherian dimension of Artinian modules.
- Summen von einfach-radikalvollen Moduln
- Top Local Cohomology and the Catenaricity of the Unmixed Support of a Finitely Generated Module
- Über Die Assoziierten Primideale des Bidualen
- Some results on Artinian cofinite top local cohomology modules
- Artinian cofinite modules and going-up for \(R\subseteq \widehat {R}\)
- On shifted principles for attached primes of the top local cohomology modules
- Local rings with zero-dimensional formal fibers
- Noetherian dimension and co-localization of Artinian modules over local rings
- On the top local cohomology modules
- Associated prime ideals of the dual of an artinian module relative to an injective module
- Some properties of Artinian modules and applications
- Attached primes of local cohomology modules with respect to a pair of ideals
- Artinian cofinite top local cohomology modules on derived category
- scientific article; zbMATH DE number 7089058
- Attached primes of local cohomology modules of complexes
This page was built for publication: On the condition Going up for \({R \subset \hat{R}}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q707549)
