A criterion for I-adic completeness

DOI10.1007/S00013-013-0598-9MaRDI QIDQ2447665zbMATH OpenOpenAlexFDO

Publication date 28 April 2014

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.3908

Injective and flat modules and ideals in commutative rings (13C11) Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Complete rings, completion (13J10)

Abstract: Let

I

denote an ideal in a commutative Noetherian ring

R

. Let

M

be an

R

-module. The

I

-adic completion is defined by

h a t M^{I} = v a r p r o j l i m_{a l p h a} M / I^{a l p h a} M

. Then

M

is called

I

-adic complete whenever the natural homomorphism

M o h a t M^{I}

is an isomorphism. Let

M

be

I

-separated, i.e.

c a p_{a l p h a} I^{a l p h a} M = 0

. In the main result of the paper it is shown that

M

is

I

-adic complete if and only if

E x t_{R}^{1} (F, M) = 0

for the flat test module

F = o p l u s_{i = 1}^{r} R_{x_{i}}

where

x_{1}, l d o t s, x_{r}

is a system of elements such that

R a d I = R a d x x R

. This result extends several known statements starting with C. U. Jensen's result (see cite[Proposition 3]{J}) that a finitely generated

R

-module

M

over a local ring

R

is complete if and only if

E x t_{R}^{1} (F, M) = 0

for any flat

R

-module

F

.

Review text

Describing completions in module topologies is a worthy, but difficult task. The author concentrates on a somewhat tractable case of modules over a commutative Notherian ring \(R\) and \(I\)-adic completions, (\(I\) is an ideal of \(R\)) and gives equivalent conditions for an \(R\)-module to be complete. Some results exist on this topic within various contexts, one of them Jensen's result regarding local rings and finitely generated modules ([\textit{C. U. Jensen}, Les foncteurs dérivés de lim et leurs applications en théorie des modules. Berlin-Heidelberg-New York: Springer-Verlag (1972; Zbl 0238.18007); J. Algebra 15, 151--166 (1970; Zbl 0199.36202)]); also the reviewer in the context of completions and slenderness ([\textit{R. Dimitrić}, Commun. Algebra 11, 1685--1700 (1983; Zbl 0578.13010); Lect. Notes Math. 1006, 375--383 (1983; Zbl 0517.18013)]). The main theorem is as follows: Let \(I\) be an ideal of a commutative Noetherian ring \(R\) and let \(M\) be an \(R\)-module that is Hausdorff in the \(I\)-adic topology. Then the following statements are equivalent: (i) \(M\) is \(I\)-adic complete; (ii) For every \(i\geq 0\), and every flat \(R\)-module \(F\) satisfying \(F\otimes_R R/I=0\), one has \(\mathrm{Ext}_{R}^{i}({F},{M})=0\); (iii) For every \(x\in I\), \(\mathrm{Ext}_{R}^{1}({R_x},{M})=0\) (here \(R_x\) denotes the localization of \(R\) with respect to the set of all natural powers of \(x\)); (iv) There is a set of elements \(X=\{x_i,\dots,x_r\}\) of \(R\) with Rad\(XR\)=Rad\(I\) such that \(\mathrm{Ext}_{R}^{1}({\bigoplus_{i=0}^rR_{x_i}},{M})=0\). Matlis duality arguments are replaced by homological techniques in the construction of a simple flat test module \(F\) featured in the main result.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: A criterion for \(I\)-adic completeness

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