• Bulletin of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.419-429
• /
• 2022

An integral domain R is an RTP domain (or has the radical trace property) (resp. an LTP domain) if I(R : I) is a radical ideal for each nonzero noninvertible ideal I (resp. I(R : I)R_P = PR_P for each minimal prime P of I(R : I)). Clearly each RTP domain is an LTP domain, but whether the two are equivalent is open except in certain special cases. In this paper, we study the descent of these notions from particular overrings of R to R itself.

• Kyungpook Mathematical Journal
• /
• v.62 no.3
• /
• pp.595-613
• /
• 2022

Let R be a commutative ring with identity and let I be a proper ideal of R. In this paper, we study the ideal based extended zero-divisor graph 𝚪'_I (R) and prove that 𝚪'_I (R) is connected with diameter at most two and if 𝚪'_I (R) contains a cycle, then girth is at most four girth at most four. Furthermore, we study affinity the connection between the ideal based extended zero-divisor graph 𝚪'_I (R) and the ideal-based zero-divisor graph 𝚪_I (R) associated with the ideal I of R. Among the other things, for a radical ideal of a ring R, we show that the ideal-based extended zero-divisor graph 𝚪'_I (R) is identical to the ideal-based zero-divisor graph 𝚪_I (R) if and only if R has exactly two minimal prime-ideals which contain I.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.277-290
• /
• 2011

We show that the ${\theta}$-prime radical of a ring R is the set of all strongly ${\theta}$-nilpotent elements in R, where ${\theta}$ is an automorphism of R. We observe some conditions under which the ${\theta}$-prime radical of coincides with the prime radical of R. Moreover we characterize elements in prime radicals of skew Laurent polynomial rings, studying (${\theta}$, ${\theta}^{-1}$)-(semi)primeness of ideals of R.

• Kyungpook Mathematical Journal
• /
• v.46 no.2
• /
• pp.261-271
• /
• 2006

In this paper, we investigate and characterize the class of A-semirings. A characterization of the Thierrin radical of a proper ideal of an A-semiring is given. Moreover, when P is a Q-ideal in the semiring R, it is shown that P is primary if and only if R/P is nilpotent.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.809-818
• /
• 2018

We study those integral domains in which every proper ideal can be written as an invertible ideal multiplied by a nonempty product of proper radical ideals.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.671-676
• /
• 2018

In this paper we prove that the gradient ideal of a Morse polynomial is radical. This gives a generic class of polynomials whose gradient ideals are radical. As a consequence we reclaim a previous result that the unconstrained polynomial optimization problem for Morse polynomials has a finite convergence.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.711-720
• /
• 2021

Let R denote a commutative noetherian ring, and let 𝐱 := x1, …, xd be an R-regular sequence. Suppose that 𝖆 denotes a monomial ideal with respect to 𝐱. The first purpose of this article is to show that 𝖆 is irreducible if and only if 𝖆 is a generalized-parametric ideal. Next, it is shown that, for any integer n ≥ 1, (x1, …, xd)n = ⋂P(f), where the intersection (irredundant) is taken over all monomials f = xe11 ⋯ xedd such that deg(f) = n - 1 and P(f) := (xe1+11, ⋯, xed+1d). The second main result of this paper shows that if 𝖖 := (𝐱) is a prime ideal of R which is contained in the Jacobson radical of R and R is 𝖖-adically complete, then 𝖆 is a parameter ideal if and only if 𝖆 is a monomial irreducible ideal and Rad(𝖆) = 𝖖. In addition, if a is generated by monomials m1, …, mr, then Rad(𝖆), the radical of a, is also monomial and Rad(𝖆) = (ω1, …, ωr), where ωi = rad(mi) for all i = 1, …, r.

• East Asian mathematical journal
• /
• v.34 no.3
• /
• pp.305-316
• /
• 2018

Let R be a ring with identity. A right ideal ideal I of a ring R is called ref lexive (resp. completely ref lexive) if $aRb{\subseteq}I$ implies that $bRa{\subseteq}I$ (resp. if $ab{\subseteq}I$ implies that $ba{\subseteq}I$) for any $a,\;b{\in}R$. R is called ref lexive (resp. completely ref lexive) if the zero ideal of R is a reflexive ideal (resp. a completely reflexive ideal). Let K(R) (called the ref lexive radical of R) be the intersection of all reflexive ideals of R. In this paper, the following are investigated: (1) Some equivalent conditions on an reflexive ideal of a ring are obtained; (2) reflexive (resp. completely reflexive) property is Morita invariant; (3) For any ring R, we have $K(M_n(R))=M_n(K(R))$ where $M_n(R)$ is the ring of all n by n matrices over R; (4) For a ring R, we have $K(R)[x]{\subseteq}K(R[x])$; in particular, if R is quasi-Armendaritz, then R is reflexive if and only if R[x] is reflexive.

• East Asian mathematical journal
• /
• v.18 no.1
• /
• pp.15-20
• /
• 2002

We study the relationships between strongly prime ideals and completely prime ideals, concentrating on the connections among various radicals(prime radical, upper nilradical and generalized nilradical). Given a ring R, consider the condition: (*) nilpotent elements of R form an ideal in R. We show that a ring R satisfies (*) if and only if every minimal strongly prime ideal of R is completely prime if and only if the upper nilradical coincides with the generalized nilradical in R.