• 대한수학회논문집
• /
• 제33권3호
• /
• pp.711-719
• /
• 2018

In this paper we define and study a new kind of dimension called, semisimple dimension, that measures how far a module is from being semisimple. Like other kinds of dimensions, this is an ordinal valued invariant. We give some interesting and useful properties of rings or modules which have semisimple dimension. It is shown that a noetherian module with semisimple dimension is an artinian module. A domain with semisimple dimension is a division ring. Also, for a semiprime right non-singular ring R, if its maximal right quotient ring has semisimple dimension as a right R-module, then R is a semisimple artinian ring. We also characterize rings whose modules have semisimple dimension. In fact, it is shown that all right R-modules have semisimple dimension if and only if the free right R-module ${\oplus}^{\infty}_{i=1}$ R has semisimple dimension, if and only if R is a semisimple artinian ring.

• 대한수학회지
• /
• 제47권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.

• 호남수학학술지
• /
• 제40권2호
• /
• pp.211-218
• /
• 2018

Let R be a commutative Noetherian ring, a be an ideal of R and M be an R-module. It is shown that if $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}{\dim}\;M$, then the R-module $Ext^i_R(N,M)$ is minimax for all $i{\geq}0$ and for any finitely generated R-module N with $Supp_R(N){\subseteq}V(a)$ and dim $N{\leq}1$. As a consequence of this result we obtain that for any a-torsion R-module M that $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}dim$ M, all Bass numbers and all Betti numbers of M are finite. This generalizes [8, Corollary 2.7]. Also, some equivalent conditions for the cominimaxness of local cohomology modules with respect to ideals of dimension at most one are given.

• 호남수학학술지
• /
• 제34권2호
• /
• pp.161-169
• /
• 2012

Let R be a commutative Noetherian ring and I, J be ideals of R. We introduced the notion of (I; J)-cominimax R-modules. For an integer $n$ and an R-module M, let $H^i_{I,J}(M)$ be an (I; J)-cominimax R-module for all $i<n$. The J-minimaxness of some Ext modules of $H^n_{I,J}(M)$ is investigated. Among of the obtaining results, there is a generalization of the main result of [1].

• 대한수학회보
• /
• 제57권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.

• 대한수학회보
• /
• 제51권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.

• 대한수학회논문집
• /
• 제32권3호
• /
• pp.523-534
• /
• 2017

In this paper, we introduce two group graded types of $B{\acute{e}}zout$ modules, namely graded-$B{\acute{e}}zout$ modules and weakly graded-$B{\acute{e}}zout$ modules, which are two $B{\acute{e}}zout$ versions in Graded Module Theory. We investigate the relationship among the three types of $B{\acute{e}}zout$ modules, the ordinary $B{\acute{e}}zout$ modules and the two graded types of $B{\acute{e}}zout$ modules. Also, we study the structure of these new $B{\acute{e}}zout$ modules along with different properties; for instance, "A graded-$B{\acute{e}}zout$ R-module, with R being a Noetherian ring, is Noetherien iff it is gr-Noetherian".

• 대한수학회보
• /
• 제51권2호
• /
• pp.519-530
• /
• 2014

Let (R,m) be a Noetherian local ring and M a finitely generated R-module. For an integer s > -1, we say that M is Cohen-Macaulay in dimension > s if every system of parameters of M is an M-sequence in dimension > s introduced by Brodmann-Nhan [1]. In this paper, we give some characterizations for Cohen-Macaulay modules in dimension > s in terms of the Noetherian dimension of the local cohomology modules $H^i_m(M)$, the polynomial type of M introduced by Cuong [5] and the multiplicity e($\underline{x}$;M) of M with respect to a system of parameters $\underline{x}$.

• 대한수학회논문집
• /
• 제36권1호
• /
• pp.1-10
• /
• 2021

Let R and S be two commutative rings, J be an ideal of S and f : R → S be a ring homomorphism. The amalgamation of R and S along J with respect to f, denoted by R ⋈f J, is the special subring of R × S defined by R ⋈f J = {(a, f(a) + j) | a ∈ R, j ∈ J}. In this paper, we study some basic properties of a special kind of R ⋈f J-modules, called the amalgamation of M and N along J with respect to ��, and defined by M ⋈�� JN := {(m, ��(m) + n) | m ∈ M and n ∈ JN}, where �� : M → N is an R-module homomorphism. The new results generalize some known results on the amalgamation of rings and the duplication of a module along an ideal.

• 대한수학회보
• /
• 제60권3호
• /
• pp.637-647
• /
• 2023

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, M an arbitrary R-module and X a finite R-module. We prove a characterization for Hⁱ_𝔞(M) and Hⁱ_𝔞(X, M) to be 𝔞-weakly cofinite for all i, whenever one of the following cases holds: (a) ara(𝔞) ≤ 1, (b) dim R/𝔞 ≤ 1 or (c) dim R ≤ 2. We also prove that, if M is a weakly Laskerian R-module, then Hⁱ_𝔞(X, M) is 𝔞-weakly cofinite for all i, whenever dim X ≤ 2 or dim M ≤ 2 (resp. (R, m) a local ring and dim X ≤ 3 or dim M ≤ 3). Let d = dim M < ∞, we prove an equivalent condition for top local cohomology module H^d_𝔞(M) to be weakly Artinian.