Cyclic purity versus purity in excellent Noetherian rings

Author:
Melvin Hochster

Journal:
Trans. Amer. Math. Soc. **231** (1977), 463-488

MSC:
Primary 13D99

DOI:
https://doi.org/10.1090/S0002-9947-1977-0463152-5

MathSciNet review:
0463152

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A characterization is given of those Noetherian rings $R$ such that whenever $R$ is ideally closed ($\equiv$ cyclically pure) in an extension algebra $S$, then $R$ is pure in $S$. In fact, $R$ has this property if and only if the completion $(A,m)$ of each local ring of $R$ at a maximal ideal has the following two equivalent properties: (i) For each integer $N > 0$ there is an $m$-primary irreducible ideal ${I_N} \subset {m^N}$. (ii) Either $\dim \;A = 0$ and $A$ is Gorenstein or else depth $A \geqslant 1$ and there is no $P \in {\operatorname {Ass}}(A)$ such that $\dim (A/P) = 1$ and $(A/P) \oplus (A/P)$ is embeddable in $A$. It is then shown that if $R$ is a locally excellent Noetherian ring such that either $R$ is reduced (or, more generally, such that $R$ is generically Gorenstein), or such that Ass($R$) contains no primes of coheight $\leqslant 1$ in a maximal ideal, and $R$ is ideally closed in $S$, then $R$ is pure in $S$. Matlis duality and the theory of canonical modules are utilized. Module-theoretic analogues of condition (i) above are, of necessity, also analyzed. Numerous related questions are studied. In the non-Noetherian case, an example is given of a ring extension $R \to S$ such that $R$ is pure in $S$ but $R[[T]]$ is not even cyclically pure in $S[[T]]$.

- Hyman Bass,
*On the ubiquity of Gorenstein rings*, Math. Z.**82**(1963), 8–28. MR**153708**, DOI https://doi.org/10.1007/BF01112819 - J. W. Brewer and D. L. Costa,
*Contracted ideals and purity for ring extensions*, Proc. Amer. Math. Soc.**53**(1975), no. 2, 271–276. MR**384774**, DOI https://doi.org/10.1090/S0002-9939-1975-0384774-X - P. M. Cohn,
*On the free product of associative rings*, Math. Z.**71**(1959), 380–398. MR**106918**, DOI https://doi.org/10.1007/BF01181410
E. Enochs, - Daniel Ferrand and Michel Raynaud,
*Fibres formelles d’un anneau local noethérien*, Ann. Sci. École Norm. Sup. (4)**3**(1970), 295–311 (French). MR**272779** - Robert Fossum,
*Commutative extensions by canonical modules are Gorenstein rings*, Proc. Amer. Math. Soc.**40**(1973), 395–400. MR**318139**, DOI https://doi.org/10.1090/S0002-9939-1973-0318139-1 - Hans-Bjørn Foxby,
*Gorenstein modules and related modules*, Math. Scand.**31**(1972), 267–284 (1973). MR**327752**, DOI https://doi.org/10.7146/math.scand.a-11434 - Robert Gilmer,
*Contracted ideals in Krull domains*, Duke Math. J.**37**(1970), 769–774. MR**268169** - Robert Gilmer and Joe Mott,
*Some results on contracted ideals*, Duke Math. J.**37**(1970), 751–767. MR**268168** - Robin Hartshorne,
*Local cohomology*, Lecture Notes in Mathematics, No. 41, Springer-Verlag, Berlin-New York, 1967. A seminar given by A. Grothendieck, Harvard University, Fall, 1961. MR**0224620** - Jürgen Herzog and Ernst Kunz (eds.),
*Der kanonische Modul eines Cohen-Macaulay-Rings*, Lecture Notes in Mathematics, Vol. 238, Springer-Verlag, Berlin-New York, 1971. Seminar über die lokale Kohomologietheorie von Grothendieck, Universität Regensburg, Wintersemester 1970/1971. MR**0412177** - M. Hochster,
*Contracted ideals from integral extensions of regular rings*, Nagoya Math. J.**51**(1973), 25–43. MR**349656** - Melvin Hochster,
*Topics in the homological theory of modules over commutative rings*, Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, Providence, R.I., 1975. Expository lectures from the CBMS Regional Conference held at the University of Nebraska, Lincoln, Neb., June 24–28, 1974; Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 24. MR**0371879** - Melvin Hochster and Joel L. Roberts,
*Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay*, Advances in Math.**13**(1974), 115–175. MR**347810**, DOI https://doi.org/10.1016/0001-8708%2874%2990067-X - Melvin Hochster and Joel L. Roberts,
*The purity of the Frobenius and local cohomology*, Advances in Math.**21**(1976), no. 2, 117–172. MR**417172**, DOI https://doi.org/10.1016/0001-8708%2876%2990073-6 - Irving Kaplansky,
*Commutative rings*, Allyn and Bacon, Inc., Boston, Mass., 1970. MR**0254021** - Eben Matlis,
*Injective modules over Noetherian rings*, Pacific J. Math.**8**(1958), 511–528. MR**99360** - Hideyuki Matsumura,
*Commutative algebra*, W. A. Benjamin, Inc., New York, 1970. MR**0266911** - Idun Reiten,
*The converse to a theorem of Sharp on Gorenstein modules*, Proc. Amer. Math. Soc.**32**(1972), 417–420. MR**296067**, DOI https://doi.org/10.1090/S0002-9939-1972-0296067-7 - Joseph J. Rotman,
*Notes on homological algebras*, Van Nostrand Reinhold Co., New York-Toronto, Ont.-London, 1970. Van Nostrand Reinhold Mathematical Studies, No. 26. MR**0409590** - Jean-Pierre Serre,
*Algèbre locale. Multiplicités*, Lecture Notes in Mathematics, vol. 11, Springer-Verlag, Berlin-New York, 1965 (French). Cours au Collège de France, 1957–1958, rédigé par Pierre Gabriel; Seconde édition, 1965. MR**0201468** - Rodney Y. Sharp,
*Gorenstein modules*, Math. Z.**115**(1970), 117–139. MR**263801**, DOI https://doi.org/10.1007/BF01109819 - R. Y. Sharp,
*On Gorenstein modules over a complete Cohen-Macaulay local ring*, Quart. J. Math. Oxford Ser. (2)**22**(1971), 425–434. MR**289504**, DOI https://doi.org/10.1093/qmath/22.3.425 - R. B. Warfield Jr.,
*Purity and algebraic compactness for modules*, Pacific J. Math.**28**(1969), 699–719. MR**242885**

*On absolutely pure modules*, Univ. of Kentucky, Lexington (preprint).

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
13D99

Retrieve articles in all journals with MSC: 13D99

Additional Information

Article copyright:
© Copyright 1977
American Mathematical Society