• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.799-809
• /
• 2013

An ideal I of a local ring (R, m, k) is said to be m-full if there exists an element $x{\in}m$ such that Im : x = I. An ideal I of a local ring R is said to have the Rees property if ${\mu}$(I) > ${\mu}$(J) for any ideal J containing I. We study properties of m-full ideals and we characterize m-primary m-full ideals in terms of the minimal number of generators of the ideals. In particular, for a m-primary ideal I of a 2-dimensional regular local ring (R, m, k), we will show that the following conditions are equivalent. 1. I is m-full 2. I has the Rees property 3. ${\mu}$(I)=o(I)+1 In this paper, let (R, m, k) be a commutative Noetherian local ring with infinite residue field k = R/m.

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

In studying injective covers, the modules C such that Hom(E, C) = 0 and $Ext^1$(E, C) = 0 for all injective module E play an important role because of Wakamatsu's lemma. If C is a module over the ring k[[x, y]] with k a field, the class of these modules C contains the class $\={D}$ of all direct summands of products of modules of finite length ([3, Theorem 2.9]). In this paper we show that every module over any commutative ring has a $\={D}$-preenvelope.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.2
• /
• pp.531-540
• /
• 2015

Let (R, m) be a Noetherian local ring, I an ideal of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of length of A-cosequence in dimension > k in I defined by Nhan-Hoang [8]. It is shown that for all $t{\leq}r$ the sets $$(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/I^n,A)))_{{\geq}k}\;and\\(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/(a_1^{n_1},{\cdots},a_l^{n_l}),A)))_{{\geq}k}$$ are independent of the choice of $n,n_1,{\cdots},n_l$ for any system of generators ($a_1,{\cdots},a_l$) of I.

• Journal of the Korean Mathematical Society
• /
• v.49 no.6
• /
• pp.1197-1214
• /
• 2012

The classes of $G_C$ homological modules over commutative ring, where C is a semidualizing module, extend Holm and J${\varnothing}$gensen's notions of C-Gorenstein homological modules to the non-Noetherian setting and generalize the classical classes of homological modules and the classes of Gorenstein homological modules within this setting. On the other hand, transfer of homological properties along ring homomorphisms is already a classical field of study. Motivated by the ideas mentioned above, in this article we will investigate the transfer properties of C and $G_C$ homological dimension.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.649-657
• /
• 2013

Let R be a commutative Noetherian ring, I an ideal of R and T be a non-zero I-cofinite R-module with dim(T) ${\leq}$ 1. In this paper, for any finitely generated R-module N with support in V(I), we show that the R-modules $Ext^i_R$(T,N) are finitely generated for all integers $i{\geq}0$. This immediately implies that if I has dimension one (i.e., dim R/I = 1), then $Ext^i_R$($H^j_I$(M), N) is finitely generated for all integers $i$, $j{\geq}0$, and all finitely generated R-modules M and N, with Supp(N) ${\subseteq}$ V(I).

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.2
• /
• pp.389-398
• /
• 2013

Let R be a ring and $\mathcal{Q}$ be a quiver. In this paper we give another definition of purity in the category of quiver representations. Under such definition we prove that the class of all pure injective representations of $\mathcal{Q}$ by R-modules is preenveloping. In case $\mathcal{Q}$ is a left rooted semi-co-barren quiver and R is left Noetherian, we show that every cotorsion flat representation of $\mathcal{Q}$ is pure injective. If, furthermore, R is $n$-perfect and $\mathcal{F}$ is a flat representation $\mathcal{Q}$, then the pure injective dimension of $\mathcal{F}$ is at most $n$.

• Korean Journal of Mathematics
• /
• v.21 no.3
• /
• pp.319-323
• /
• 2013

Let D be a principal ideal domain, X be an indeterminate over D, D[X] be the polynomial ring over D, and $R_n=D[X]/(X^n)$ for an integer $n{\geq}1$. Clearly, $R_n$ is a commutative Noetherian ring with identity, and hence each nonzero nonunit of $R_n$ can be written as a finite product of irreducible elements. In this paper, we show that every irreducible element of $R_n$ is a primary element, and thus every nonunit element of $R_n$ can be written as a finite product of primary elements.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.715-736
• /
• 2012

Brown provided a structure theorem for a class of perfect ideals of grade 3 with type ${\lambda}$ > 0. We introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4 in a Noetherian local ring. We construct a class of perfect ideals I of grade 3 with type 2 defined by a certain skew-symmetrizable matrix. We present the Hilbert function of the standard $k$-algebras R/I, where R is the polynomial ring $R=k[v_0,v_1,{\ldots},v_m]$ over a field $k$ with indeterminates $v_i$ and deg $v_i=1$.

• Bulletin of the Korean Mathematical Society
• /
• v.41 no.3
• /
• pp.419-426
• /
• 2004

Let R be a commutative Noetherian ring and let M be an Artinian R-module. Let M${\subseteq}$M′ be submodules of M. Suppose F is an R-module which is projective relative to M. Then it is shown that $Att_{R}$($Hom_{A}$ (F,M′) :$Hom_{A}$(F,M) $In^n$), n ${\in}$N and $Att_{R}$($Hom_{A}$(F,M′) :$Hom_{A}$(F,M) In$^n$ $Hom_{A}$(F,M") :$Hom_{A}$(F,M) $In^n$),n ${\in}$ N are ultimately constant.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1125-1128
• /
• 2011

Let R be a commutative Noetherian ring, a an ideal of R, and M a minimax R-module. We prove that the local cohomology modules $H^j_a(M)$ are a-cominimax; that is, $Ext^i_R$(R/a, $H^j_a(M)$) is minimax for all i and j in the following cases: (a) dim R/a = 1; (b) cd(a) = 1, where cd is the cohomological dimension of a in R; (c) dim $R{\leq}2$. In these cases we also prove that the Bass numbers and the Betti numbers of $H^j_a(M)$ are finite.