Rings in which sums of $d$-Ideals are $d$-ideals
J. Korean Math. Soc. 2019 Vol. 56, No. 2, 539-558
Published online 2019 Mar 01
Themba Dube
University of South Africa
Abstract : An ideal of a commutative ring is called a $d$-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId$(A)$ the lattice of $d$-ideals of a ring $A$. We prove that, as in the case of $f$-rings, DId$(A)$ is an algebraic frame. Call a ring homomorphism ``compatible'' if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $\mathbf{SdRng}_\mathrm{c}$ the category whose objects are rings in which the sum of two $d$-ideals is a $d$-ideal, and whose morphisms are compatible ring homomorphisms. We show that DId$\colon\mathbf{SdRng}_{\mathrm{c}}\to\mathbf{CohFrm}$ is a functor ($\mathbf{CohFrm}$ is the category of coherent frames with coherent maps), and we construct a natural transformation RId$\longrightarrow$DId, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring $A$ is a Baer ring if and only if it belongs to the category $\mathbf{SdRng}_{\mathrm{c}}$ and DId$(A)$ is isomorphic to the frame of ideals of the Boolean algebra of idempotents of $A$. We end by showing that the category $\mathbf{SdRng}_{\mathrm{c}}$ has finite products.
Keywords : Baer ring, reduced ring, $d$-ideal, sum of $d$-ideals, $\zeta$-ideal, algebraic frame, $d$-nucleus, functor
MSC numbers : 13A15, 06D22, 18A05
Full-Text :


Copyright © Korean Mathematical Society. All Rights Reserved.
The Korea Science Technology Center (Rm. 411), 22, Teheran-ro 7-gil, Gangnam-gu, Seoul 06130, Korea
Tel: 82-2-565-0361  | Fax: 82-2-565-0364  | E-mail: paper@kms.or.kr   | Powered by INFOrang.co., Ltd