• Communications of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.495-502
• /
• 2017

Let R be a 2-torsion free prime ring and J be a nonzero Jordan ideal of R. Let F and G be two generalized derivations with associated derivations f and g, respectively. Our main result in this paper shows that if F(x)x - xG(x) = 0 for all $x{\in}J$, then R is commutative and F = G or G is a left multiplier and F = G + f. This result with its consequences generalize some recent results due to El-Soufi and Aboubakr in which they assumed that the Jordan ideal J is also a subring of R.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.737-743
• /
• 2016

Let a and b be two ideals of a commutative Noetherian ring R, M a finitely generated R-module and i an integer. In this paper we study formal local cohomology modules with respect to a pair of ideals. We denote the i-th a-formal local cohomology module M with respect to b by ${\mathfrak{F}}^i_{a,b}(M)$. We show that if ${\mathfrak{F}}^i_{a,b}(M)$ is artinian, then $a{\subseteq}{\sqrt{(0:{\mathfrak{F}}^i_{a,b}(M))$. Also, we show that ${\mathfrak{F}}^{\text{dim }M}_{a,b}(M)$ is artinian and we determine the set $Att_R\;{\mathfrak{F}}^{\text{dim }M}_{a,b}(M)$.

• Honam Mathematical Journal
• /
• v.40 no.2
• /
• pp.211-218
• /
• 2018

Let R be a commutative Noetherian ring, a be an ideal of R and M be an R-module. It is shown that if $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}{\dim}\;M$, then the R-module $Ext^i_R(N,M)$ is minimax for all $i{\geq}0$ and for any finitely generated R-module N with $Supp_R(N){\subseteq}V(a)$ and dim $N{\leq}1$. As a consequence of this result we obtain that for any a-torsion R-module M that $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}dim$ M, all Bass numbers and all Betti numbers of M are finite. This generalizes [8, Corollary 2.7]. Also, some equivalent conditions for the cominimaxness of local cohomology modules with respect to ideals of dimension at most one are given.

• Communications of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.695-701
• /
• 2016

Let I and J be two ideals of a commutative Noetherian ring R and M, N be two non-zero finitely generated R-modules. Let t be a non-negative integer such that $H^i_{I,J}(N)$ is (I, J)-minimax for all i < t. It is shown that the generalized local cohomology module $H^i_{I,J}(M,N)$ is (I, J)-Cofinite minimax for all i < t. Also, we prove that the R-module $Ext^j_R(R/I,H^i_{I,J}(N))$ is finitely generated for all $i{\leq}t$ and j = 0, 1.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1311-1325
• /
• 2021

One says that a ring homomorphism R → S is Ohm-Rush if extension commutes with arbitrary intersection of ideals, or equivalently if for any element f ∈ S, there is a unique smallest ideal of R whose extension to S contains f, called the content of f. For Noetherian local rings, we analyze whether the completion map is Ohm-Rush. We show that the answer is typically 'yes' in dimension one, but 'no' in higher dimension, and in any case it coincides with the content map having good algebraic properties. We then analyze the question of when the Ohm-Rush property globalizes in faithfully flat modules and algebras over a 1-dimensional Noetherian domain, culminating both in a positive result and a counterexample. Finally, we introduce a notion that we show is strictly between the Ohm-Rush property and the weak content algebra property.

• 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.56 no.4
• /
• pp.1041-1057
• /
• 2019

Let ${\Gamma}$ be a nonzero commutative cancellative monoid (written additively), $R={\bigoplus}_{{\alpha}{\in}{\Gamma}}$ $R_{\alpha}$ be a ${\Gamma}$-graded integral domain with $R_{\alpha}{\neq}\{0\}$ for all ${\alpha}{\in}{\Gamma}$, and $S(H)=\{f{\in}R{\mid}C(f)=R\}$. In this paper, we study homogeneously divisorial domains which are graded integral domains whose nonzero homogeneous ideals are divisorial. Among other things, we show that if R is integrally closed, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is an h-local $Pr{\ddot{u}}fer$ domain whose maximal ideals are invertible, if and only if R satisfies the following four conditions: (i) R is a graded-$Pr{\ddot{u}}fer$ domain, (ii) every homogeneous maximal ideal of R is invertible, (iii) each nonzero homogeneous prime ideal of R is contained in a unique homogeneous maximal ideal, and (iv) each homogeneous ideal of R has only finitely many minimal prime ideals. We also show that if R is a graded-Noetherian domain, then R is a homogeneously divisorial domain if and only if $R_{S(H)}$ is a divisorial domain of (Krull) dimension one.

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

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.99-102
• /
• 1991

Let R be a commutative ring with identity. A ring is said to be a regular multiplication ring if $A{\subseteq}B$, where A and B are ideals of R with B regular, implies that there exists an ideal C of R such that A = BC. We characterize such rings and study their properties.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.737-746
• /
• 1999

For a locally compact Abelian group G, and a commutative Banach algebra B, let $L^1$(G, B) be the Banach algebra of all Bochner integrable functions. We show that if G is noncompact and B is a semiprime Banach algebras in which every minimal prime ideal is cnotained in a regular maximal ideal, then $L^1$(G, B) contains no nontrivial separating idal. As a consequence we deduce some automatic continuity results for $L^1$(G, B).