## Cyclic purity versus purity in excellent Noetherian rings

HTML articles powered by AMS MathViewer

- by Melvin Hochster PDF
- Trans. Amer. Math. Soc.
**231**(1977), 463-488 Request permission

## 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]]$.## References

- Hyman Bass,
*On the ubiquity of Gorenstein rings*, Math. Z.**82**(1963), 8–28. MR**153708**, DOI 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 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 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 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 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*, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 24, 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. 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 10.1016/0001-8708(74)90067-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 10.1016/0001-8708(76)90073-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 10.1090/S0002-9939-1972-0296067-7 - Joseph J. Rotman,
*Notes on homological algebras*, Van Nostrand Reinhold Mathematical Studies, No. 26, Van Nostrand Reinhold Co., New York-Toronto, Ont.-London, 1970. 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 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 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).

## Additional Information

- © Copyright 1977 American Mathematical Society
- 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