• Kyungpook Mathematical Journal
• /
• v.49 no.2
• /
• pp.221-233
• /
• 2009

In this article, we generalize a well-known result of Hebisch and Weinert that states that a finite semidomain is either zerosumfree or a ring. Specifically, we show that the class of commutative semirings S such that S has nonzero characteristic and every zero-divisor of S is nilpotent can be partitioned into zerosumfree semirings and rings. In addition, we demonstrate that if S is a finite commutative semiring such that the set of zero-divisors of S forms a subtractive ideal of S, then either every zero-sum of S is nilpotent or S must be a ring. An example is given to establish the existence of semirings in this latter category with both nontrivial zero-sums and zero-divisors that are not nilpotent.

• The Pure and Applied Mathematics
• /
• v.30 no.4
• /
• pp.397-406
• /
• 2023

Let R be a commutative ring with identity, X be an indeterminate over R, and R[X] be the polynomial ring over R. In this paper, we study when R[X] is a radically principal ideal ring. We also study the t-operation analog of a radically principal ideal domain, which is said to be t-compactly packed. Among them, we show that if R is an integrally closed domain, then R[X] is t-compactly packed if and only if R is t-compactly packed and every prime ideal Q of R[X] with Q ∩ R = (0) is radically principal.

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

This article concerns a ring property that arises from combining one-sided duo factor rings and centers. A ring R is called right CIFD if R/I is right duo by some proper ideal I of R such that I is contained in the center of R. We first see that this property is seated between right duo and right π-duo, and not left-right symmetric. We prove, for a right CIFD ring R, that W(R) coincides with the set of all nilpotent elements of R; that R/P is a right duo domain for every minimal prime ideal P of R; that R/W(R) is strongly right bounded; and that every prime ideal of R is maximal if and only if R/W(R) is strongly regular, where W(R) is the Wedderburn radical of R. It is also proved that a ring R is commutative if and only if D₃(R) is right CIFD, where D₃(R) is the ring of 3 by 3 upper triangular matrices over R whose diagonals are equal. Furthermore, we show that the right CIFD property does not pass to polynomial rings, and that the polynomial ring over a ring R is right CIFD if and only if R/I is commutative by a proper ideal I of R contained in the center of R.

• 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.23 no.1
• /
• pp.23-36
• /
• 2007

In this paper we consider the fuzzy ideals of N-group G where N is a nearring. We introduce fuzzy ideal ${\theta}_{\mu}$ of the quotient N-group $G/{\mu}$ with respect to a fuzzy ideal $\mu$ of G. If $\mu$ is a fuzzy ideal of G and $\theta$ a fuzzy ideal of $G/{\mu}$ such that ${\theta}_{\mu}\;{\subseteq}\;{\theta}$ and ${\theta}_{\mu}(0)\;=\;{\theta}(0)$, then corresponding ${\sigma}_{\theta}\;:\;G\;{\rightarrow}\;[0,\;1]$ is defined and proved that it is a fuzzy ideal of G such that ${\mu}\;{\subseteq}\;{\sigma}_{\theta}$ and ${\mu}(0)\;=\;{\sigma}_{\theta}(0)$. We also prove some results on homomorphisms and fuzzy ideals of N-groups. The image and preimage of fuzzy ideal $\mu$ under N-group homomorphism were studied. Finally it is obtained that if $f\;:\;G\;{\rightarrow}\;G^1$ is an epimorphism of N-groups, then there is an order preserving bijection between the fuzzy ideals of $G^1$ and the fuzzy ideals of G that are constant on kerf. Some examples related to these concepts were illustrated.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.569-573
• /
• 1996

We study some special cases of Chow groups of a ramified complete regular local ring R of dimension n. We prove that (a) for codimension 3 Gorenstein ideal I, [I] = 0 in $A_{n-3}(R)$ and (b) for a particular class of almost complete intersection prime ideals P of height i, [P] = 0 in $A_{n-i}(R)$.

• Honam Mathematical Journal
• /
• v.45 no.4
• /
• pp.678-681
• /
• 2023

Let G be a cyclic group of prime power order p^k, and let I be the augmentation ideal of the integral group ring ℤ[G]. We define a derivation on ℤ/p^kℤ[G], and show that for 2 ≤ n ≤ p, an element α ∈ I is in Iⁿ if and only if the i-th derivative of the image of α in ℤ/p^kℤ[G] vanishes for 1 ≤ i ≤ (n - 1).

• Communications of the Korean Mathematical Society
• /
• v.22 no.3
• /
• pp.323-330
• /
• 2007

In this paper we introduce the notion of strongly regular near-subtraction semigroups (right). We have shown that a near-subtraction semigroup X is strongly regular if and only if it is regular and without non zero nilpotent elements. We have also shown that in a strongly regular near-subtraction semigroup X, the following holds: (i) Xa is an ideal for every a $\in$ X (ii) If P is a prime ideal of X, then there exists no proper k-ideal M such that P $\subset$ M (iii) Every ideal I of X fulfills $I=I^2$.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1127-1133
• /
• 2014

Let S be a nonempty subset of a ring R. A map $f:R{\rightarrow}R$ is called strong commutativity preserving on S if [f(x), f(y)] = [x, y] for all $x,y{\in}S$, where the symbol [x, y] denotes xy - yx. Bell and Daif proved that if a derivation D of a semiprime ring R is strong commutativity preserving on a nonzero right ideal ${\rho}$ of R, then ${\rho}{\subseteq}Z$, the center of R. Also they proved that if an endomorphism T of a semiprime ring R is strong commutativity preserving on a nonzero two-sided ideal I of R and not identity on the ideal $I{\cup}T^{-1}(I)$, then R contains a nonzero central ideal. This short note shows that the conclusions of Bell and Daif are also true without the additivity of the derivation D and the endomorphism T.

• Communications of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.663-677
• /
• 2023

The purpose of this paper is to introduce a new class of rings containing the class of SFT-rings and contained in the class of rings with Noetherian prime spectrum. Let A be a commutative ring with unit and I be an ideal of A. We say that I is SFT if there exist an integer k ≥ 1 and a finitely generated ideal F ⊆ I of A such that x^k ∈ F for every x ∈ I. The ring A is said to be nonnil-SFT, if each nonnil-ideal (i.e., not contained in the nilradical of A) is SFT. We investigate the nonnil-SFT variant of some well known theorems on SFT-rings. Also we study the transfer of this property to Nagata's idealization and the amalgamation algebra along an ideal. Many examples are given. In fact, using the amalgamation construction, we give an infinite family of nonnil-SFT rings which are not SFT.