• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.799-809
• /
• 2013

An ideal I of a local ring (R, m, k) is said to be m-full if there exists an element $x{\in}m$ such that Im : x = I. An ideal I of a local ring R is said to have the Rees property if ${\mu}$(I) > ${\mu}$(J) for any ideal J containing I. We study properties of m-full ideals and we characterize m-primary m-full ideals in terms of the minimal number of generators of the ideals. In particular, for a m-primary ideal I of a 2-dimensional regular local ring (R, m, k), we will show that the following conditions are equivalent. 1. I is m-full 2. I has the Rees property 3. ${\mu}$(I)=o(I)+1 In this paper, let (R, m, k) be a commutative Noetherian local ring with infinite residue field k = R/m.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.797-800
• /
• 2008

Let R be a ring and I be a proper ideal of R. For the case of R being commutative, Anderson proved that (*) there are only finitely many prime ideals minimal over I whenever every prime ideal minimal over I is finitely generated. We in this note extend the class of rings that satisfies the condition (*) to noncommutative rings, so called homomorphically IFP, which is a generalization of commutative rings. As a corollary we obtain that there are only finitely many minimal prime ideals in the polynomial ring over R when every minimal prime ideal of a homomorphically IFP ring R is finitely generated.

• Journal of applied mathematics & informatics
• /
• v.8 no.3
• /
• pp.855-867
• /
• 2001

This note we give a construction of a quotient ring $R/{\mu}$ induced via a fuzzy ideal ${\mu}$ in a ring R. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that if ${\mu}$ is a fuzzy ideal of a commutative ring R, then $\mu$ is prime (resp. $R/{\mu}$ is a field, every zero divisor in $R/{\mu}$ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.117-126
• /
• 2020

Let R be a commutative ring with identity. A proper ideal I of R is called 2-prime if for all a, b ∈ R such that ab ∈ I, then either a² or b² lies in I. In this paper, we study 2-prime ideals which are generalization of prime ideals. Our study provides an analogous to the prime avoidance theorem and some applications of this theorem. Also, it is shown that if R is a PID, then the families of primary ideals and 2-prime ideals of R are identical. Moreover, a number of examples concerning 2-prime ideals are given. Finally, rings in which every 2-prime ideal is a prime ideal are investigated.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.555-565
• /
• 2014

An ideal I of a ring R is strongly ${\pi}$-regular if for any $x{\in}I$ there exist $n{\in}\mathbb{N}$ and $y{\in}I$ such that $x^n=x^{n+1}y$. We prove that every strongly ${\pi}$-regular ideal of a ring is a B-ideal. An ideal I is periodic provided that for any $x{\in}I$ there exist two distinct m, $n{\in}\mathbb{N}$ such that $x^m=x^n$. Furthermore, we prove that an ideal I of a ring R is periodic if and only if I is strongly ${\pi}$-regular and for any $u{\in}U(I)$, $u^{-1}{\in}\mathbb{Z}[u]$.

• Korean Journal of Mathematics
• /
• v.15 no.2
• /
• pp.115-119
• /
• 2007

Let R be a Krull ring with the unique regular maximal ideal M. We show that R has a regular prime element and reg-$dimR=1{\Leftrightarrow}R$ is a factorial ring and reg-$dim(R)=1{\Rightarrow}M$ is invertible ${\Leftrightarrow}R{\varsubsetneq}[R:M]{\Leftrightarrow}M$ is divisorial ${\Leftrightarrow}$ reg-$htM=1{\Rightarrow}R$ is a rank one discrete valuation ring. We also show that if M is generated by regular elements, then R is a rank one discrete valuation ring ${\Rightarrow}$ R is a factorial ring and reg-dim(R)=1.

• Kyungpook Mathematical Journal
• /
• v.51 no.2
• /
• pp.177-185
• /
• 2011

A right ideal I of a ring R is small in case for every proper right ideal K of R, K + I ${\neq}$ = R. A right R-module M is called PS-injective if every R-homomorphism f : aR ${\rightarrow}$ M for every principally small right ideal aR can be extended to R ${\rightarrow}$ M. A ring R is called right PS-injective if R is PS-injective as a right R-module. We develop, in this article, PS-injectivity as a generalization of P-injectivity and small injectivity. Many characterizations of right PS-injective rings are studied. In light of these facts, we get several new properties of a right GPF ring and a semiprimitive ring in terms of right PS-injectivity. Related examples are given as well.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.725-743
• /
• 2022

In this paper, the concepts of ω-linked homomorphisms, the ω_𝜙-operation, and DW_𝜙 rings are introduced. Also the relationships between ω_𝜙-ideals and ω-ideals over a ω-linked homomorphism 𝜙 : R → T are discussed. More precisely, it is shown that every ω_𝜙-ideal of T is a ω-ideal of T. Besides, it is shown that if T is not a DW_𝜙 ring, then T must have an infinite number of maximal ω_𝜙-ideals. Finally we give an application of Cohen's Theorem over ω-factor rings, namely it is shown that an integral domain R is an SM-domain with ω-dim(R) ≤ 1, if and only if for any nonzero ω-ideal I of R, (R/I)_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, (R/(a))_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, R satisfies the descending chain condition on ω-ideals of R containing a.