• Journal of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.683-694
• /
• 2023

Let a be an ideal of 𝔞 commutative noetherian ring R. We give some descriptions of the 𝔞-depth of 𝔞-relative Cohen-Macaulay modules by cohomological dimensions, and study how relative Cohen-Macaulayness behaves under flat extensions. As applications, the perseverance of relative Cohen-Macaulayness in a polynomial ring, formal power series ring and completion are given.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.499-505
• /
• 2018

In this paper, we show that the co-localization of co-Cohen Macaulay modules preserves co-Cohen Macaulayness under a certain condition. In addition, we give a characterization of co-Cohen Macaulay modules by vanishing properties of the dual Bass numbers of modules.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.35-42
• /
• 1997

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 a unique maximal ideal m. Let I be an ideal in a ring R and t an indeterminate over R.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1323-1330
• /
• 2017

For a nondegenerate projective irreducible variety $X{\subset}{\mathbb{P}}^r$, it is a natural problem to find an upper bound for the value of $${\ell}_{\beta}(X)=max\{length(X{\cap}L){\mid}L={\mathbb{P}}^{\beta}{\subset}{\mathbb{P}}^r,\;{\dim}(X{\cap}L)=0\}$$ for each $1{\leq}{\beta}{\leq}e$. When X is locally Cohen-Macaulay, A. Noma in [10] proves that ${\ell}_{\beta}(X)$ is at most $d-e+{\beta}$ where d and e are respectively the degree and the codimension of X. In this paper, we construct some surfaces $S{\subset}{\mathbb{P}}^5$ of degree $d{\in}\{7,{\ldots},12\}$ which satisfies the inequality $${\ell}_2(S){\geq}d-3+{\lfloor}{\frac{d}{2}}{\rfloor}$$. This shows that Noma's bound is no more valid for locally non-Cohen-Macaulay varieties.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.210-214
• /
• 1994

The purpose of this paper is to investigate the relationship between the depths of the Rees algebra R[It] and the associated graded ring g $r_{I}$(R) of an ideal I in a local ring (R,m) of dim(R) > 0. The relationship between the Cohen-Macaulayness of these two rings has been studied extensively. Let (R, m) be a local ring and I an ideal of R. An ideal J contained in I is called a reduction of I if J $I^{n}$ = $I^{n+1}$ for some integer n.geq.0. A reduction J of I is called a minimal reduction of I. The reduction number of I with respect to J is defined by (Fig.) S. Goto and Y.Shimoda characterized the Cohen-Macaulay property of the Rees algebra of the maximal ideal of a Cohen-Macaulay local ring in terms of the Cohen-Macaulay property of the associated graded ring of the maximal ideal and the reduction number of that maximal ideal. Let us state their theorem.m.m.

• Journal of the Korean Mathematical Society
• /
• v.56 no.6
• /
• pp.1613-1639
• /
• 2019

Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.471-477
• /
• 2019

Let (R, m) be a commutative Noetherian ring, I an ideal of R and M a non-zero finitely generated R-module. We show that if M and $H_0(I,M)$ are aCM R-modules and $I=(x_1,{\cdots},x_{n+1})$ such that $x_1,{\cdots},x_n$ is an M-regular sequence, then $H_i(I,M)$ is an aCM R-module for all i. Moreover, we prove that if R and $H_i(I,R)$ are aCM for all i, then R/(0 : I) is aCM. In addition, we prove that if R is aCM and $x_1,{\cdots},x_n$ is an aCM d-sequence, then depth $H_i(x_1,{\cdots},x_n;R){\geq}i-1$ for all i.