• Communications of the Korean Mathematical Society
• /
• v.38 no.2
• /
• pp.331-340
• /
• 2023

In this paper, the concept of a maximal chain of ideals is introduced. Some properties of such chains are studied. We introduce some other concepts related to a maximal chain of ideals such as the n-maximal ideal, the maximal dimension of a ring S (M. dim(S)), the maximal depth of an ideal K of S (M.d(K)) and maximal height of an ideal K(M.d(K)).

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

• Kyungpook Mathematical Journal
• /
• v.52 no.2
• /
• pp.179-188
• /
• 2012

We investigate in this paper rings containing a non-essential $nil$-injective maximal left ideal. We show that if R is a left MC2 ring containing a non-essential $nil$-injective maximal left ideal, then R is a left $nil$-injective ring. Using this result, some known results are extended.

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

Let D be an integrally closed domain with quotient field K, X be an indeterminate over D, $f=a_0+a_1X+{\cdots}+a_nX^n{\in}D[X]$ be irreducible in K[X], and $Q_f=fK[X]{\cap}D[X]$. In this paper, we show that $Q_f$ is a maximal ideal of D[X] if and only if $(\frac{a_1}{a_0},{\cdots},\frac{a_n}{a_0}){\subseteq}P$ for all nonzero prime ideals P of D; in this case, $Q_f=\frac{1}{a_0}fD[X]$. As a corollary, we have that if D is a Krull domain, then D has infinitely many height-one prime ideals if and only if each maximal ideal of D[X] has height ${\geq}2$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.2
• /
• pp.295-306
• /
• 2012

Let (R, $m_R$, k) be a local maximal commutative subalgebra of $M_n$(k) with nilpotent maximal ideal $m_R$. In this paper, we will construct a maximal commutative subalgebra $R^{ST}$ which is isomorphic to R and study some interesting properties related to $R^{ST}$. Moreover, we will introduce a method to construct an algebra in $MC_n$(k) with i($m_R$) = n and dim(R) = n.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.2
• /
• pp.117-119
• /
• 1985

Let R be a commutative noetherian ring with 1.neq.0, denoting by .nu.(I) the cardinality of a minimal basis of the ideal I. Let A be a polynomial ring in n>0 variables with coefficients in R, and let M be a maximal ideal of A. Generally it is shown that .nu.(M $A_{M}$).leq..nu.(M).leq..nu.(M $A_{M}$)+1. It is well known that the lower bound is not always satisfied, and the most classical examples occur in nonfactional Dedekind domains. But in many cases, (e.g., A is a polynomial ring whose coefficient ring is a field) the lower bound is attained. In [2] and [3], the conditions when the lower bound is satisfied is investigated. Especially in [3], it is shown that .nu.(M)=.nu.(M $A_{M}$) if M.cap.R=p is a maximal ideal or $A_{M}$ (equivalently $R_{p}$) is not regular or n>1. Hence the problem of determining whether .nu.(M)=.nu.(M $A_{M}$) can be studied when p is not maximal, $A_{M}$ is regular and n=1. The purpose of this note is to provide some conditions in which the lower bound is satisfied, when n=1 and R is a regular local ring (hence $A_{M}$ is regular)./ is regular).

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.633-643
• /
• 2010

Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

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

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.483-488
• /
• 2012

In this paper we introduce the notion of P-strongly regular near-ring. We have shown that a zero-symmetric near-ring N is P-strongly regular if and only if N is P-regular and P is a completely semiprime ideal. We have also shown that in a P-strongly regular near-ring N, the following holds: (i) $Na$ + P is an ideal of N for any $a{\in}N$. (ii) Every P-prime ideal of N containing P is maximal. (iii) Every ideal I of N fulfills I + P = $I^2$ + P.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1733-1757
• /
• 2017

Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.