• 대한수학회논문집
• /
• 제39권3호
• /
• pp.595-609
• /
• 2024

In this article, we study a certain class of partitioning ideals known as Q-ideals, in semirings. Main objective is to investigate differential identities linking a semiring S to its prime Q-ideal I_Q, which ensure the commutativity and other features of S/I_Q.

• Kyungpook Mathematical Journal
• /
• 제49권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권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.

• 대한수학회보
• /
• 제59권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.

• 대한수학회보
• /
• 제58권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
• /
• 제23권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.

• 대한수학회논문집
• /
• 제11권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)$.

• 호남수학학술지
• /
• 제45권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).

• 대한수학회논문집
• /
• 제22권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$.

• 대한수학회보
• /
• 제51권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.