• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.37-43
• /
• 2023

Let 𝔞 and 𝔟 be ideals of a commutative Noetherian ring R and M be a finitely generated R-module of dimension d > 0. We prove some results concerning the top local cohomology and top formal local cohomology modules. Among other things, we determine Supp_R(𝔟 H^d_𝔞(M)) and Supp_R(𝔟𝔉^d_𝔞(M)). Also, we obtain some relations between Ann_R(𝔟 H^d_𝔞(M)), Att_R(𝔟 H^d_𝔞(M)) and Supp_R(𝔟 H^d_𝔞(M)) and we get similar results for 𝔟𝔉^d_𝔞(M).

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.827-835
• /
• 2015

Let U be a ${\sigma}$-square closed Lie ideal of a 2-torsion free ${\sigma}$-prime ${\Gamma}$-ring M. Let $d{\neq}1$ be an automorphism of M such that $[u,d(u)]_{\alpha}{\in}Z(M)$ on U, $d{\sigma}={\sigma}d$ on U, and there exists $u_0$ in $Sa_{\sigma}(M)$ with $M{\Gamma}u_0{\subseteq}U$. Then, $U{\subseteq}Z(M)$. By applying this result, we generalize the results of Oukhtite and Salhi respect to ${\Gamma}$-rings. Finally, for a non-zero derivation of a 2-torsion free ${\sigma}$-prime $\Gamma$-ring, we obtain suitable conditions under which the $\Gamma$-ring must be commutative.

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

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

Let X be a Banach space and Z a closed subspace of a Banach space Y. Denote by Ｌ(X, Y) the space of all bounded linear operators from X to Y and by Ｋ(X, Y) its subspace of compact linear operators. Using Hahn-Banach extension operators corresponding to ideal projections, we prove that if either $X^{**}$ or $Y^{*}$ has the Radon-Nikodym property and Ｋ(X, Y) is an M-ideal (resp. an HB-subspace) in Ｌ(X, Y), then Ｋ(X, Z) is also an M-ideal (resp. HB-subspace) in Ｌ(X, Z). If Ｌ(X, Y) has property SU instead of being an M-ideal in Ｌ(X, Y) in the above, then Ｋ(X, Z) also has property SU in Ｌ(X, Z). If X is a Banach space such that $X^{*}$ has the metric compact approximation property with adjoint operators, then M-ideal (resp. HB-subspace) property of Ｋ(X, Y) in Ｌ(X, Y) is inherited to Ｋ(X, Z) in Ｌ(X, Z).

• 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}$./.

• Communications of the Korean Mathematical Society
• /
• v.12 no.3
• /
• pp.499-505
• /
• 1997

This paper is a continuation of [3]. We prove that if A is quasi-associative (resp. an implicative) ideal of a BCI-algebra X then the k-nil radical of A is a quasi-associative (resp. an implicative) ideal of X. We also construct the quotient algebra $X/[Z;k]$ of a BCI-algebra X by the k-nhil radical [A;k], and show that if A and B are closed ideals of BCI-algebras X and Y respectively, then

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.663-668
• /
• 2001

X and Y are Banach spaces for which K(X, Y), the space of compact operators from X to Y, is an M-ideal in L(X, Y), the space of bounded linear operators form X to Y. If Z is a closed subspace of Y such that L(X, Z) has property SU in L(X, Y) and d(T, K(X, Z)) = d(T, K(X, Y)) for all $T \in L(X, Z)$, then K(X, Z) is an M-ideal in L(X, Z) if and only if it has property SU is L(X, Z).

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.743-750
• /
• 2010

For several Banach spaces X and Y and operator ideal $\cal{U}$, if $\cal{U}$(X, Y) denotes the component of operator ideal $\cal{U}$; according to Freedman's definitions, it is shown that a necessary and sufficient condition for a closed subspace $\cal{M}$ of $\cal{U}$(X, Y) to have the alternative Dunford-Pettis property is that all evaluation operators $\phi_x\;:\;\cal{M}\;{\rightarrow}\;Y$ and $\psi_{y^*}\;:\;\cal{M}\;{\rightarrow}\;X^*$ are DP1 operators, where $\phi_x(T)\;=\;Tx$ and $\psi_{y^*}(T)\;=\;T^*y^*$ for $x\;{\in}\;X$, $y^*\;{\in}\;Y^*$ and $T\;{\in}\;\cal{M}$.

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

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.45-49
• /
• 1983

If R is ring and M is a right (or left) R-module, then M is called a faithful R-module if, for some a in R, x.a=0 for all x.mem.M then a=0. In [4], R.E. Johnson defines that M is a prime module if every non-zero submodule of M is faithful. Let us define that M is of prime type provided that M is faithful if and only if every non-zero submodule is faithful. We call a right (left) ideal I of R is of prime type if R/I is of prime type as a R-module. This is equivalent to the condition that if xRy.subeq.I then either x.mem.I ro y.mem.I (see [5:3:1]). It is easy to see that in case R is a commutative ring then a right or left ideal of a prime type is just a prime ideal. We have defined in [5], that a chain of right ideals of prime type in a ring R is a finite strictly increasing sequence I$_{0}$.contnd.I$_{1}$.contnd....contnd.I$_{n}$; the length of the chain is n. By the right dimension of a ring R, which is denoted by dim, R, we mean the supremum of the length of all chains of right ideals of prime type in R. It is an integer .geq.0 or .inf.. The left dimension of R, which is denoted by dim$_{l}$ R is similarly defined. It was shown in [5], that dim$_{r}$R=0 if and only if dim$_{l}$ R=0 if and only if R modulo the prime radical is a strongly regular ring. By "a strongly regular ring", we mean that for every a in R there is x in R such that axa=a=a$^{2}$x. It was also shown that R is a simple ring if and only if every right ideal is of prime type if and only if every left ideal is of prime type. In case, R is a (right or left) primitive ring then dim$_{r}$R=n if and only if dim$_{l}$ R=n if and only if R.iden.D$_{n+1}$ , n+1 by n+1 matrix ring on a division ring D. in this paper, we establish the following results: (1) If R is prime ring and dim$_{r}$R=n then either R is a righe Ore domain such that every non-zero right ideal of a prime type contains a non-zero minimal prime ideal or the classical ring of ritght quotients is isomorphic to m*m matrix ring over a division ring where m.leq.n+1. (b) If R is prime ring and dim$_{r}$R=n then dim$_{l}$ R=n if dim$_{l}$ R=n if dim$_{l}$ R<.inf. (c) Let R be a principal right and left ideal domain. If dim$_{r}$R=1 then R is an unique factorization domain.TEX>R=1 then R is an unique factorization domain.