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

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

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.93-104
• /
• 2024

Let R be a commutative ring with identity. In this paper, we introduce a new class of ideals called the class of strongly quasi J-ideals lying properly between the class of J-ideals and the class of quasi J-ideals. A proper ideal I of R is called a strongly quasi J-ideal if, whenever a, b ∈ R and ab ∈ I, then a² ∈ I or b ∈ Jac(R). Firstly, we investigate some basic properties of strongly quasi J-ideals. Hence, we give the necessary and sufficient conditions for a ring R to contain a strongly quasi J-ideals. Many other results are given to disclose the relations between this new concept and others that already exist. Namely, the primary ideals, the prime ideals and the maximal ideals. Finally, we give an idea about some strongly quasi J-ideals of the quotient rings, the localization of rings, the polynomial rings and the trivial rings extensions.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.583-590
• /
• 1998

The purpose of this paper is to prove the following results: Let A be a noncommutative semisimple Banach algebra. (1) Suppose that a linear derivation D : A $\to A$ is such that [D(x),x]x=0 holds for all $x \in A$. Then we have D=0. (2) Suppose that a linear derivation $D:A\to A$ is such that $D(x)x^2 + x^2D(x)=0$ holds for all $x \in A$. Then we have C=0.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.633-643
• /
• 2010

Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

• Honam Mathematical Journal
• /
• v.38 no.2
• /
• pp.295-304
• /
• 2016

In this paper we investigate the Artinianness of certain local cohomology modules $H^i_I(N)$ where N is a minimax module over a commutative Noetherian ring R and I is an ideal of R. Also, we characterize the set of attached prime ideals of $H^n_I(N)$, where n is the dimension of N.

• The Pure and Applied Mathematics
• /
• v.25 no.3
• /
• pp.181-191
• /
• 2018

In the present paper, we investigate the action of generalized derivation G associated with a derivation g in a (semi-) prime ring R satisfying $(G([x,y])-[G(x),y])^n=0$ for all x, $y{\in}I$, a nonzero ideal of R, where n is a fixed positive integer. Moreover, we also examine the above identity in Banach algebras.

• Korean Journal of Mathematics
• /
• v.21 no.3
• /
• pp.331-344
• /
• 2013

In the present article, we describe specific elements in a motivic cohomology group $H^1_{\mathcal{M}}(Spec\mathbb{Q}({\zeta}_l),\;\mathbb{Z}(2))$ of cyclotomic fields, which generate a subgroup of finite index for an odd prime $l$. As $H^1_{\mathcal{M}}(Spec\mathbb{Q}({\zeta}_l),\;\mathbb{Z}(1))$ is identified with the group of units in the ring of integers in $\mathbb{Q}({\zeta}_l)$ and cyclotomic units generate a subgroup of finite index, these elements play similar roles in the motivic cohomology group.

• Korean Journal of Mathematics
• /
• v.8 no.1
• /
• pp.19-26
• /
• 2000

In this paper, it is shown that if R is a commutative ring with identity and there exists a multiplicatively closed subset S of R such that $S{\cap}Z(R/(I_1I_2{{\cdots}I_n))={\emptyset}$ and $I_1R_s,I_2R_s{\cdots},I_nR_s$ are pairwise comaximal, then $I_1I_2{\cdots}I_n=I_1{\cap}I_2{\cap}{\cdots}{\cap}I_n={\cap}^n_{i=1}(I_i\;:_R\;I_1{\cdots}I_{i-1}I_{i+1}{\cdots}I_n)$.

• Korean Journal of Mathematics
• /
• v.26 no.3
• /
• pp.537-544
• /
• 2018

There is a standard construction of lifting cyclic codes over the prime finite field ${\mathbb{Z}}_p$ to the rings ${\mathbb{Z}}_{p^e}$ and to the ring of p-adic integers. We generalize this construction for arbitrary finite fields. This will naturally enable us to lift codes over finite fields ${\mathbb{F}}_{p^r}$ to codes over Galois rings GR($p^e$, r). We give concrete examples with all of the lifts.