• Bulletin of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.259-268
• /
• 1998

We give several characterizations of a TV-PVMD and we show that the localization R[X;S]$_{N_{\upsilon}}$ of a semigroup ring R[X;S] is a TV-PVMD if and only if R is a TV-PVMD where $N_{\upsilon}\;=\;\{f\;{\in}\;R[X]{\mid}(A_f)_{\upsilon} = R\}$ and S is a torsion free cancellative semigroup with zero.

• Journal of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.417-429
• /
• 2015

Let R be a commutative ring with unity. The annihilator ideal graph of R, denoted by ${\Gamma}_{Ann}(R)$, is a graph whose vertices are all non-trivial ideals of R and two distinct vertices I and J are adjacent if and only if $I{\cap}Ann(J){\neq}\{0\}$ or $J{\cap}Ann(I){\neq}\{0\}$. In this paper, we study some connections between the graph-theoretic properties of this graph and some algebraic properties of rings. We characterize all rings whose annihilator ideal graphs are totally disconnected. Also, we study diameter, girth, clique number and chromatic number of this graph. Moreover, we study some relations between annihilator ideal graph and zero-divisor graph associated with R. Among other results, it is proved that for a Noetherian ring R if ${\Gamma}_{Ann}(R)$ is triangle free, then R is Gorenstein.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

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

• Communications of the Korean Mathematical Society
• /
• v.9 no.2
• /
• pp.261-264
• /
• 1994

Throughout this paper, all rings are assumed to be commutative with identity. By a local ring (R, m), we mean a Noetherian ring R which has the unique maximal ideal m. By dim(R) we always mean the Krull dimension of R. Let I be an ideal in a ring R and t an indeterminate over R. Then the Rees algebra R[It] is defined to be(omitted)

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.427-436
• /
• 2005

Let (R, m) be a 2-dimensional regular local ring with algebraically closed residue field R/m. Let K be the quotient field of R and v be a prime divisor of R, i.e., a valuation of K which is birationally dominating R and residually transcendental over R. Zariski showed that there are finitely many simple v-ideals $m=P_0\;{\supset}\;P_1\;{\supset}\;{\cdotS}\;{\supset}\;P_t=P$ and all the other v-ideals are uniquely factored into a product of those simple ones. It then was also shown by Lipman that the predecessor of the smallest simple v-ideal P is either simple (P is free) or the product of two simple v-ideals (P is satellite), that the sequence of v-ideals between the maximal ideal and the smallest simple v-ideal P is saturated, and that the v-value of the maximal ideal is the m-adic order of P. Let m = (x, y) and denote the v-value difference |v(x) - v(y)| by $n_v$. In this paper, if the m-adic order of P is 2, we show that $O(P_i)\;=\;1\;for\;1\;{\leq}\;i\; {\leq}\;{\lceil}\;{\frac{b+1}{2}}{\rceil}\;and\;O(P_i)\;=2\;for\;{\lceil}\;\frac{b+3}{2}\rceil\;{\leq}\;i\;\leq\;t,\;where\;b=n_v$. We also show that $n_w\;=\;n_v$ when w is the prime divisor associated to a simple v-ideal $Q\;{\supset}\;P$ of order 2 and that w(R) = v(R) as well.

• Communications of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.379-395
• /
• 2018

Assume that R is a commutative ring with non-zero identity which is not an integral domain. An ideal I of R is called an annihilating ideal if there exists a non-zero element $a{\in}R$ such that Ia = 0. S. Visweswaran and H. D. Patel associated a graph with the set of all non-zero annihilating ideals of R, denoted by ${\Omega}(R)$, as the graph with the vertex-set $A(R)^*$, the set of all non-zero annihilating ideals of R, and two distinct vertices I and J are adjacent if I + J is an annihilating ideal. In this paper, we study the relations between the diameters of ${\Omega}(R)$ and ${\Omega}(R[x])$. Also, we study the relations between the diameters of ${\Omega}(R)$ and ${\Omega}(R[[x]])$, whenever R is a Noetherian ring. In addition, we investigate the relations between the diameters of this graph and the zero-divisor graph. Moreover, we study some combinatorial properties of ${\Omega}(R)$ such as domination number and independence number. Furthermore, we study the complement of this graph.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1453-1461
• /
• 2023

Let R be a one-dimensional Noetherian domain with quotient field K and T be the integral closure of R in K. In this note we prove that if the conductor ideal (R :_K T) is a nonzero prime ideal, then every finitely generated reflexive (and hence finitely generated G-projective) R-module is isomorphic to a direct sum of some ideals.

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

Let (R,m) be a commutative Noetherian local ring. In this paper we show that a finitely generated R-module M of dimension d is Cohen-Macaulay if and only if there exists a proper ideal I of R such that depth($M/I^nM$) = d for $n{\gg}0$. Also we show that, if dim(R) = d and $I_1{\subset}\;{\cdots}\;{\subset}I_n$ is a chain of ideals of R such that $R/I_k$ is maximal Cohen-Macaulay for all k, then $n{\leq}{\ell}_R(R/(a_1,{\ldots},a_d)R)$ for every system of parameters $a1,{\ldots},a_d$ of R. Also, in the case where dim(R) = 2, we prove that the ideal transform $D_m(R/p)$ is minimax balanced big Cohen-Macaulay, for every $p{\in}Assh_R$(R), and we give some equivalent conditions for this ideal transform being maximal Cohen-Macaulay.

• Journal of applied mathematics & informatics
• /
• v.39 no.5_6
• /
• pp.617-622
• /
• 2021

Let R be a commutative ring with identity, R[X] the polynomial ring over R and S a multiplicative subset of R. Let U = {f ∈ R[X] | f is monic} and let N = {f ∈ R[X] | c(f) = R}. In this paper, we show that if S is an anti-Archimedean subset of R, then R is an S-Noetherian ring if and only if R[X]_U is an S-Noetherian ring, if and only if R[X]_N is an S-Noetherian ring. We also prove that if R is an integral domain and R[X]_U is an S-principal ideal domain, then R is an S-principal ideal domain.