Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Commutative ideal theory without finiteness conditions: Primal ideals

Authors: Laszlo Fuchs, William Heinzer and Bruce Olberding
Journal: Trans. Amer. Math. Soc. 357 (2005), 2771-2798
MSC (2000): Primary 13A15, 13F05
Published electronically: September 2, 2004
MathSciNet review: 2139527
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Our goal is to establish an efficient decomposition of an ideal $A$ of a commutative ring $R$ as an intersection of primal ideals. We prove the existence of a canonical primal decomposition: $A = \bigcap_{P \in \mathcal{X}_A}A_{(P)}$, where the $A_{(P)}$ are isolated components of $A$ that are primal ideals having distinct and incomparable adjoint primes $P$. For this purpose we define the set $\operatorname{Ass}(A)$ of associated primes of the ideal $A$ to be those defined and studied by Krull. We determine conditions for the canonical primal decomposition to be irredundant, or residually maximal, or the unique representation of $A$ as an irredundant intersection of isolated components of $A$. Using our canonical primal decomposition, we obtain an affirmative answer to a question raised by Fuchs, and also prove for $P \in \operatorname{Spec}R$ that an ideal $A \subseteq P$ is an intersection of $P$-primal ideals if and only if the elements of $R \setminus P$ are prime to $A$. We prove that the following conditions are equivalent: (i) the ring $R$ is arithmetical, (ii) every primal ideal of $R$ is irreducible, (iii) each proper ideal of $R$ is an intersection of its irreducible isolated components. We classify the rings for which the canonical primal decomposition of each proper ideal is an irredundant decomposition of irreducible ideals as precisely the arithmetical rings with Noetherian maximal spectrum. In particular, the integral domains having these equivalent properties are the Prüfer domains possessing a certain property.

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

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 13A15, 13F05

Retrieve articles in all journals with MSC (2000): 13A15, 13F05

Additional Information

Laszlo Fuchs
Affiliation: Department of Mathematics, Tulane University, New Orleans, Louisiana 70118

William Heinzer
Affiliation: Department of Mathematics, Purdue University, West Lafayette, Indiana 47907

Bruce Olberding
Affiliation: Department of Mathematical Sciences, New Mexico State University, Las Cruces, New Mexico 88003-8001

Keywords: Primal ideal, associated prime, arithmetical ring, Pr\"ufer domain
Received by editor(s): January 2, 2003
Received by editor(s) in revised form: November 4, 2003
Published electronically: September 2, 2004
Article copyright: © Copyright 2004 American Mathematical Society