Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

On the embedded primary components of ideals. IV


Authors: William Heinzer, L. J. Ratliff and Kishor Shah
Journal: Trans. Amer. Math. Soc. 347 (1995), 701-708
MSC: Primary 13E05; Secondary 13H99
MathSciNet review: 1249882
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: The results in this paper expand the fundamental decomposition theory of ideals pioneered by Emmy Noether. Specifically, let $ I$ be an ideal in a local ring $ (R,M)$ that has $ M$ as an embedded prime divisor, and for a prime divisor $ P$ of $ I$ let $ I{C_P}(I)$ be the set of irreducible components $ q$ of $ I$ that are $ P$-primary (so there exists a decomposition of $ I$ as an irredundant finite intersection of irreducible ideals that has $ q$ as a factor). Then the main results show: (a) $ I{C_M}(I) = \cup \{ I{C_M}(Q);Q\;{\text{is a }}\operatorname{MEC} {\text{ of }}I\} $ ($ Q$ is a MEC of $ I$ in case $ Q$ is maximal in the set of $ M$-primary components of $ I$); (b) if $ I = \cap \{ {q_i};i = 1, \ldots ,n\} $ is an irredundant irreducible decomposition of $ I$ such that $ {q_i}$ is $ M$-primary if and only if $ i = 1, \ldots ,k < n$, then $ \cap \{ {q_i};i = 1, \ldots ,k\} $ is an irredundant irreducible decomposition of a MEC of $ I$, and, conversely, if $ Q$ is a MEC of $ I$ and if $ \cap \{ {Q_j};j = 1, \ldots ,m\} $ (resp., $ \cap \{ {q_i};i = 1, \ldots ,n\} $) is an irredundant irreducible decomposition of $ Q$ (resp., $ I$) such that $ {q_1}, \ldots ,{q_k}$ are the $ M$-primary ideals in $ \{ {q_1}, \ldots ,{q_n}\} $, then $ m = k$ and $ ( \cap \{ {q_i};i = k + 1, \ldots ,n\} ) \cap ( \cap \{ {Q_j};j = 1, \ldots ,m\} )$ is an irredundant irreducible decomposition of $ I$; (c) $ I{C_M}(I) = \{ q,q\;{\text{is maximal in the set of ideals that contain }}I\;{\text{and do not contain }}I:M\} $; (d) if $ Q$ is a MEC of $ I$, then $ I{C_M}(Q) = \{ q;Q \subseteq q \in I{C_M}(I)\} $; (e) if $ J$ is an ideal that lies between $ I$ and an ideal $ Q \in I{C_M}(I)$, then $ J = \cap \{ q;J \subseteq q \in I{C_M}(I)\} $; and, (f) there are no containment relations among the ideals in $ \cup \{ I{C_P}(I)$; $ P$ is a prime divisor of $ I$}.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 13E05, 13H99

Retrieve articles in all journals with MSC: 13E05, 13H99


Additional Information

DOI: http://dx.doi.org/10.1090/S0002-9947-1995-1249882-7
PII: S 0002-9947(1995)1249882-7
Article copyright: © Copyright 1995 American Mathematical Society