• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

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 $SdRng_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:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}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 $SdRng_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 $SdRng_c$ has finite products.

• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.353-363
• /
• 2005

For a ring endomorphism $\alpha$ and an $\alpha$-derivation $\delta$, we introduce ($\alpha$, $\delta$)-skew Armendariz rings which are a generalization of $\alpha$-rigid rings and Armendariz rings, and investigate their properties. A semi prime left Goldie ring is $\alpha$-weak Armendariz if and only if it is $\alpha$-rigid. Moreover, we study on the relationship between the Baerness and p.p. property of a ring R and these of the skew polynomial ring R[x; $\alpha$, $\delta$] in case R is ($\alpha$, $\delta$)-skew Armendariz. As a consequence we obtain a generalization of [11], [14] and [16].

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.657-664
• /
• 2004

We investigate skew power series of $\alpha$-rigid p.p.-rings, where $\alpha$ is an endomorphism of a ring R which is not assumed to be surjective. For an $\alpha$-rigid ring R, R[[${\chi};{\alpha}$]] is right p.p., if and only if R[[${\chi},{\chi}^{-1};{\alpha}$]] is right p.p., if and only if R is right p.p. and any countable family of idempotents in R has a join in I(R).

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.2
• /
• pp.385-399
• /
• 2010

Let $\sigma$ be an endomorphism and I a $\sigma$-ideal of a ring R. Pearson and Stephenson called I a $\sigma$-semiprime ideal if whenever A is an ideal of R and m is an integer such that $A{\sigma}^t(A)\;{\subseteq}\;I$ for all $t\;{\geq}\;m$, then $A\;{\subseteq}\;I$, where $\sigma$ is an automorphism, and Hong et al. called I a $\sigma$-rigid ideal if $a{\sigma}(a)\;{\in}\;I$ implies a $a\;{\in}\;I$ for $a\;{\in}\;R$. Notice that R is called a $\sigma$-semiprime ring (resp., a $\sigma$-rigid ring) if the zero ideal of R is a $\sigma$-semiprime ideal (resp., a $\sigma$-rigid ideal). Every $\sigma$-rigid ideal is a $\sigma$-semiprime ideal for an automorphism $\sigma$, but the converse does not hold, in general. We, in this paper, introduce the quasi $\sigma$-rigidness of ideals and rings for an automorphism $\sigma$ which is in between the $\sigma$-rigidness and the $\sigma$-semiprimeness, and study their related properties. A number of connections between the quasi $\sigma$-rigidness of a ring R and one of the Ore extension $R[x;\;{\sigma},\;{\delta}]$ of R are also investigated. In particular, R is a (principally) quasi-Baer ring if and only if $R[x;\;{\sigma},\;{\delta}]$ is a (principally) quasi-Baer ring, when R is a quasi $\sigma$-rigid ring.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1913-1925
• /
• 2017

Let R be a ring with identity. An ideal N of R is called ideal-symmetric (resp., ideal-reversible) if $ABC{\subseteq}N$ implies $ACB{\subseteq}N$ (resp., $AB{\subseteq}N$ implies $BA{\subseteq}N$) for any ideals A, B, C in R. A ring R is called ideal-symmetric if zero ideal of R is ideal-symmetric. Let S(R) (called the ideal-symmetric radical of R) be the intersection of all ideal-symmetric ideals of R. In this paper, the following are investigated: (1) Some equivalent conditions on an ideal-symmetric ideal of a ring are obtained; (2) Ideal-symmetric property is Morita invariant; (3) For any ring R, we have $S(M_n(R))=M_n(S(R))$ where $M_n(R)$ is the ring of all n by n matrices over R; (4) For a quasi-Baer ring R, R is semiprime if and only if R is ideal-symmetric if and only if R is ideal-reversible.

• Kyungpook Mathematical Journal
• /
• v.51 no.1
• /
• pp.1-10
• /
• 2011

Let (R, T) be a normal pair of commutative rings (i.e., R ${\subseteq}$ T is a unita extension of commutative rings, not necessarily integral domains, such that S is integrally closed in T for each ring S such that R ${\subseteq}$ S ${\subseteq}$ T) such that the total quotient ring of R is a von Neumann regular ring. Let P be one of the following ring-theoretic properties: going-down ring, extensionally going-down (EGD) ring, locally divided ring. Then R has P if and only if T has P. An example shows that the "if" part of the assertion fails if P is taken to be the "divided domain" property.

• Kyungpook Mathematical Journal
• /
• v.19 no.2
• /
• pp.205-211
• /
• 1979

In this paper we continue the study of formation radical (F-radical) classes initiated in [3]. Hereditary and stronger properties of F-radical classes are discussed by giving construction for lower hereditary, lower stronger and lower strongly hereditary F-radical classes containing a given class M. It is shown that the Baer F-radical B is the lower strongly hereditary F-radical class containing the class of all nilpotent ideals and it is the upper radical class with $\{(I,\;N){\mid}N{\in}C,\;N\;is\;prime\}{\subset}SB$ where SB denotes the semisimple F-radical class of B and C is an arbitrary but fixed class of homomorphically closed near-rings. The existence of a largest F-radical class contained in a given class is examined using the concept of complementary F-radical introduced by Scott [5].