• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1855-1861
• /
• 2013

Let R be a commutative Noetherian ring, I an ideal of R, M and N two R-modules. We characterize the least integer i such that $H^i_I(M,N)$ is not weakly Artinian by using the notion of weakly filter regular sequences. Also, a local-global principle for minimax generalized local cohomology modules is shown and the result generalizes the corresponding result for local cohomology modules.

• Kyungpook Mathematical Journal
• /
• v.54 no.3
• /
• pp.471-476
• /
• 2014

Let R be a ring. A right R-module M is PS-injective if every R-homomorphism $f:aR{\rightarrow}M$ for every principally small right ideal aR can be extended to $R{\rightarrow}M$. We investigate, in this paper, rings whose simple singular modules are PS-injective. New characterizations of semiprimitive rings and semisimple Artinian rings are given.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.167-177
• /
• 2020

Let I be an ideal of Noetherian local ring (R, m) and M an artinian R-module. In this paper, we study colocalization of local homology modules. In fact we give Colocal-global Principle for the artinianness and minimaxness of local homology modules, which is a dual case of Local-global Principle for the finiteness of local cohomology modules. We define the representation dimension r^I (M) of M and the artinianness dimension a^I (M) of M relative to I by r^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not representable}, and a^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not artinian} and we will prove that i) a^I (M) = r^I (M) = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)} ≥ inf{a^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) inf{i ∈ ℕ₀ : H^I_i (M) is not minimax} = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}. Also, we define the upper representation dimension R^I (M) of M relative to I by R^I (M) = sup{i ∈ ℕ₀ : H^I_i (M) is not representable}, and we will show that i) sup{i ∈ ℕ₀ : H^I_i (M) ≠ 0} = sup{i ∈ ℕ₀ : H^I_i (M) is not artinian} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) sup{i ∈ ℕ₀ : H^I_i (M) is not finitely generated} = sup{i ∈ ℕ₀ : H^I_i (M) is not minimax} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}.

• Kyungpook Mathematical Journal
• /
• v.55 no.2
• /
• pp.289-300
• /
• 2015

In [9], the author extends the definition of lifting and supplemented modules to ${\delta}$-lifting and ${\delta}$-supplemented by replacing "small submodule" with "${\delta}$-small submodule" introduced by Zhou in [13]. The aim of this paper is to show new properties of ${\delta}$-lifting and ${\delta}$-supplemented modules. Especially, we show that any finite direct sum of ${\delta}$-hollow modules is ${\delta}$-supplemented. On the other hand, the notion of amply ${\delta}$-supplemented modules is studied as a generalization of amply supplemented modules and several properties of these modules are given. We also prove that a module M is Artinian if and only if M is amply ${\delta}$-supplemented and satisfies Descending Chain Condition (DCC) on ${\delta}$-supplemented modules and on ${\delta}$-small submodules. Finally, we obtain the following result: a ring R is right Artinian if and only if R is a ${\delta}$-semiperfect ring which satisfies DCC on ${\delta}$-small right ideals of R.

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

Let (R, m) be a Noetherian local ring, I an ideal of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of length of A-cosequence in dimension > k in I defined by Nhan-Hoang [8]. It is shown that for all $t{\leq}r$ the sets $$(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/I^n,A)))_{{\geq}k}\;and\\(\bigcup_{i=0}^{t}Att_R(Tor_i^R(R/(a_1^{n_1},{\cdots},a_l^{n_l}),A)))_{{\geq}k}$$ are independent of the choice of $n,n_1,{\cdots},n_l$ for any system of generators ($a_1,{\cdots},a_l$) of I.

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

Let R be a commutative Noetherian ring and let M be an Artinian R-module. Let M${\subseteq}$M′ be submodules of M. Suppose F is an R-module which is projective relative to M. Then it is shown that $Att_{R}$($Hom_{A}$ (F,M′) :$Hom_{A}$(F,M) $In^n$), n ${\in}$N and $Att_{R}$($Hom_{A}$(F,M′) :$Hom_{A}$(F,M) In$^n$ $Hom_{A}$(F,M") :$Hom_{A}$(F,M) $In^n$),n ${\in}$ N are ultimately constant.

• Kyungpook Mathematical Journal
• /
• v.61 no.2
• /
• pp.239-248
• /
• 2021

In this paper we study modules with the W F I⁺-extending property. We prove that if M satisfies the W F I⁺-extending, pseudo duo properties and M/(Soc M) has finite uniform dimension then M decompose into a direct sum of a semisimple submodule and a submodule of finite uniform dimension. In particular, if M satisfies the W F I⁺-extending, pseudo duo properties and ascending chain (respectively, descending chain) condition on essential submodules then M = M₁ ⊕ M₂ for some semisimple submodule M₁ and Noetherian (respectively, Artinian) submodule M₂. Moreover, we show that if M is a W F I-extending module with pseudo duo, C₂ and essential socle then the quotient ring of its endomorphism ring with Jacobson radical is a (von Neumann) regular ring. We provide several examples which illustrate our results.

• Journal of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1271-1290
• /
• 2013

Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, it coincides with prime (resp. semiprime) submodule of X. Other concepts encountered in the general theory are M-$m$-system sets, M-$n$-system sets, M-prime radical and M-Baer's lower nilradical of modules. Relationships between these concepts and basic properties are established. In particular, we identify certain submodules of M, called "primeM-ideals", that play a role analogous to that of prime (two-sided) ideals in the ring R. Using this definition, we show that if M satisfies condition H (defined later) and $Hom_R(M,X){\neq}0$ for all modules X in the category ${\sigma}[M]$, then there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules in ${\sigma}[M]$ and prime M-ideals of M. Also, we investigate the prime M-ideals, M-prime submodules and M-prime radical of Artinian modules.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.577-587
• /
• 2002

Let A be a commutative ring and M an Artinian .A-module. Let $\sigma$ be a torsion radical functor and (T, F) it's corresponding partition of Spec(A) In [1] the concept of Cohen-Macauly modules was generalized . In this paper we shall define $\sigma$-co-Cohen-Macaulay (abbr. $\sigma$-co-CM). Indeed this is one of the aims of this paper, we obtain some satisfactory properties of such modules. An-other aim of this paper is to generalize the concept of cograde by using the left derived functor $U^{\alpha}$$_{I}$(-) of the $\alpha$-adic completion functor, where a is contained in Jacobson radical of A.A.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1385-1394
• /
• 2016

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.