• Bulletin of the Korean Mathematical Society
• /
• v.37 no.3
• /
• pp.577-586
• /
• 2000

For a grading monoid S, we prove that (1) if (S, M) is a valuation semigroup, then M is an m-canonical ideal, that is, an ideal M such that M : (M:J)=J for every ideal J of S. (2) if S is an integrally closed semigroup and S has a principal m-canonical ideal, then S is a valuation semigroup, and (3) if S is a completely integrally closed and S has an m-canonical ideal I, then every ideal of S is I-invertible, that is, J+(I+J)=I for every ideal J of S.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.

• The Pure and Applied Mathematics
• /
• v.11 no.2
• /
• pp.117-125
• /
• 2004

Let T be an integral domain, M a nonzero maximal ideal of T, K = T/M, $\psi$: T \longrightarrow K the canonical map, D a proper subring of K, and R = $\psi^{-1}$(D) the pullback domain. Assume that for each $x \; \in T$, there is a $u \; \in T$ such that u is a unit in T and $ux \; \in R$, . In this paper, we show that R is a weakly Krull domain (resp., GWFD, AWFD, WFD) if and only if htM = 1, D is a field, and T is a weakly Krull domain (resp., GWFD, AWFD, WFD).

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.275-280
• /
• 2020

Let (R, m) be a Noetherian local Cohen-Macaulay ring and I be a proper ideal of R. Assume that β_R(I, R) denotes the constant value of depth_R(R/Iⁿ) for n ≫ 0. In this paper we introduce the new notion γ_R(I, R) and then we prove the following inequalities: β_R(I, R) ≤ γ_R(I, R) ≤ dim R - cd(I, R) ≤ dim R/I. Also, some applications of these inequalities will be included.