• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.503-511
• /
• 1994

In this paper, the ring A will mean a commutative Noetherian ring with non-zero multiplicative identity, it is understood that the ring homomorphisms respect identity elements and M will denote an A-module. Throughout this paper A and B will denote rings, $f : A \to B$ a ring homomorphism. C(A) (resp. C(B)) presents the category of all A-modules (resp. B-modules) and A-homomorphisms (resp. B-homorphisms) between them. The following ideas will be used without further explanation. B can be regarded as an A-module by means of f and $M\otimesB$ can be regarded as a B-module in the natural way. Furthermore the restriction of scalars provides a functor from C(B) to C(A).

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

• Journal of the Korean Mathematical Society
• /
• v.55 no.6
• /
• pp.1389-1421
• /
• 2018

In this paper, we introduce the notion of C-Gorenstein weak injective modules with respect to a semidualizing bimodule $_SC_R$, where R and S are arbitrary associative rings. We show that an iteration of the procedure used to define $G_C$-weak injective modules yields exactly the $G_C$-weak injective modules, and then give the Foxby equivalence in this setting analogous to that of C-Gorenstein injective modules over commutative Noetherian rings. Finally, some applications are given, including weak co-Auslander-Buchweitz context, model structure and dual pair induced by $G_C$-weak injective modules.

• Kyungpook Mathematical Journal
• /
• v.47 no.3
• /
• pp.363-372
• /
• 2007

An element $a$ in a ring R is called left morphic if $$R/Ra{\simeq_-}1(a)$$. A ring is called left morphic if every element is left morphic. In this paper, an element $a$ in a ring R is called left ${\pi}$-morphic (resp. left G-morphic) if there exists a positive number $n$ such that $a^n$ (resp. $a^n{\neq}0$) is left morphic. A ring R is called left ${\pi}$-morphic (resp. left G-morphic) if every element is left ${\pi}$-morphic (resp. left G-morphic). The Morita invariance of left ${\pi}$-morphic (resp. left G-morphic) rings is discussed. Several relevant properties are proved. In particular, it is shown that a left Noetherian ring R with $M_4(R)$ left G-morphic or $M_2(R)$ left morphic is QF. Some known results of left morphic rings are extended to left G-morphic rings and left ${\pi}$-morphic rings.

• Kyungpook Mathematical Journal
• /
• v.47 no.1
• /
• pp.127-132
• /
• 2007

In this paper, we show that if R is a commutative ring with identity and (S, ${\leq}$) is a strictly totally ordered monoid, then the ring [[$R^{S,{\leq}}$]] of generalized power series is a PF-ring if and only if for any two S-indexed subsets A and B of R such that $B{\subseteq}ann_R(|A)$, there exists $c{\in}ann_R(A)$ such that $bc=b$ for all $b{\in}B$, and that for a Noetherian ring R, $[[R^{S,{\leq}}$]] is a PP ring if and only if R is a PP ring.

• The Pure and Applied Mathematics
• /
• v.1 no.1
• /
• pp.1-6
• /
• 1994

In this paper, some properties for a PI-ring satisfying the descending chain condition on essential left ideals are studied: Let R be a ring with a polynomial identity satisfying the descending chain condition on essential ideals. Then all minimal prime ideals in R are maximal ideals. Moreover, if R has only finitely many minimal prime ideals, then R is left and right Artinian. Consequently, if every primeideal of R is finitely generated as a left ideal, then R is left and right Artinian. A finitely generated PI-algebra over a commutative Noetherian ring satisfying the descending chain condition on essential left ideals is a finite module over its center.(omitted)

• Journal of Integrative Natural Science
• /
• v.4 no.4
• /
• pp.278-281
• /
• 2011

We discuss an application of 'restrictions on the entries of the maps in the minimal free resolution' and '$SC_r$-condition of modules', and give an alternative proof of the following result of Foxby: Let M be a finitely generated module of dimension over a Noetherian local ring (A,m). Suppose that $\hat{A}$ has no embedded primes. If A is not Gorenstein, then ${\mu}_i(m,A){\geq}2$ for all i ${\geq}$ dimA.

• Journal of the Chungcheong Mathematical Society
• /
• v.31 no.1
• /
• pp.47-52
• /
• 2018

Let ${\delta}$ be a derivation in a noetherian integral domain A. It is shown that a natural map induces a homeomorphism between the spectrum of $A[z;{\delta}]$ and the Poisson spectrum of $A[z;{\delta}]_p$ such that its restriction to the primitive spectrum of $A[z;{\delta}]$ is also a homeomorphism onto the Poisson primitive spectrum of $A[z;{\delta}]_p$.

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