• Kyungpook Mathematical Journal
• /
• v.45 no.3
• /
• pp.445-453
• /
• 2005

We say that a module M is weak lifting if M is supplemented and every supplement submodule of M is a direct summand. The module M is called lifting, if it is weak lifting and amply supplemented. This paper investigates the structure of weak lifting modules and lifting modules having small radical over commutative noetherian rings.

• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.623-644
• /
• 2019

We investigate the homotopy category ${\mathcal{K}}_N(Inj{\mathfrak{A}})$ of N-complexes of injectives in a Grothendieck abelian category ${\mathfrak{A}}$ not necessarily locally noetherian, and prove that the inclusion ${\mathcal{K}}_N(Inj{\mathfrak{A}}){\rightarrow}{\mathcal{K}}({\mathfrak{A}})$ has a left adjoint and ${\mathcal{K}}_N(Inj{\mathfrak{A}})$ is well generated. We also show that the homotopy category ${\mathcal{K}}_N(PrjR)$ of N-complexes of projectives is compactly generated whenever R is right coherent.

• Journal of applied mathematics & informatics
• /
• v.39 no.3_4
• /
• pp.259-266
• /
• 2021

Let R be a commutative ring with identity and let S be a nonempty subset of R. We define S to be an almost multiplicative subset of R if for each a, b ∈ S, there exist integers m, n ≥ 1 such that a^mbⁿ ∈ S. In this article, we study some utilization of almost multiplicative subsets.

• Communications of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.337-345
• /
• 2022

Let R ⊆ T be an extension of a commutative ring and S ⊆ R a multiplicative subset. We say that (R, T) is an S-accr (a commutative ring R is said to be S-accr if every ascending chain of residuals of the form (I : B) ⊆ (I : B²) ⊆ (I : B³) ⊆ ⋯ is S-stationary, where I is an ideal of R and B is a finitely generated ideal of R) pair if every ring A with R ⊆ A ⊆ T satisfies S-accr. Using this concept, we give an S-version of several different known results.

• Journal of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.379-405
• /
• 2022

We introduce the notions of Koszul N-complex, Čech N-complex and telescope N-complex, explicit derived torsion and derived completion functors in the derived category D_N (R) of N-complexes using the Čech N-complex and the telescope N-complex. Moreover, we give an equivalence between the categories of cohomologically 𝖆-torsion N-complexes and cohomologically 𝖆-adic complete N-complexes, and prove that over a commutative Noetherian ring, via Koszul cohomology, via RHom cohomology (resp. ⊗ cohomology) and via local cohomology (resp. derived completion), all yield the same invariant.

• Kyungpook Mathematical Journal
• /
• v.62 no.4
• /
• pp.641-655
• /
• 2022

A right R-module N is called pseudo semisimple-M-injective if for any monomorphism from every semisimple submodule of M to N, can be extended to a homomorphism from M to N. In this paper, we study some properties of pseudo semisimple-injective modules. Moreover, some results of pseudo semisimple-injective modules over formal triangular matrix rings are obtained.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.149-160
• /
• 2023

Let 𝖆 and 𝖇 be ideals of a commutative Noetherian ring R and M a finitely generated R-module of finite dimension d > 0. In this paper, we obtain some results about the annihilators and attached primes of top local cohomology and top formal local cohomology modules. In particular, we determine Ann(𝖇 H^d_𝖆(M)), Att(𝖇 H^d_𝖆(M)), Ann(𝖇𝔉^d_𝖆(M)) and Att(𝖇𝔉^d_𝖆(M)).

• Journal of the Korean Mathematical Society
• /
• v.60 no.3
• /
• pp.683-694
• /
• 2023

Let a be an ideal of 𝔞 commutative noetherian ring R. We give some descriptions of the 𝔞-depth of 𝔞-relative Cohen-Macaulay modules by cohomological dimensions, and study how relative Cohen-Macaulayness behaves under flat extensions. As applications, the perseverance of relative Cohen-Macaulayness in a polynomial ring, formal power series ring and completion are given.

• Communications of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.71-77
• /
• 2024

Let A be a commutative integral domain with identity element and S a multiplicatively closed subset of A. In this paper, we introduce the concept of S-valuation domains as follows. The ring A is said to be an S-valuation domain if for every two ideals I and J of A, there exists s ∈ S such that either sI ⊆ J or sJ ⊆ I. We investigate some basic properties of S-valuation domains. Many examples and counterexamples are provided.

• East Asian mathematical journal
• /
• v.6 no.2
• /
• pp.167-182
• /
• 1990

The relationships between submodules of a module and ideals of the endomorphism ring of a module had been studied in [1]. For a submodule L of a moudle M, the set $I^L$ of all endomorphisms whose images are contained in L is a left ideal of the endomorphism ring End (M) and for a submodule N of M, the set $I_N$ of all endomorphisms whose kernels contain N is a right ideal of End (M). In this paper, author defines an H-invariant module and proves that every submodule of an H-invariant module is the image and kernel of unique endomorphisms. Every ideal $I^L(I_N)$ of the endomorphism ring End(M) when M is H-invariant is a left (respectively, right) principal ideal of End(M). From the above results, if a module M is H-invariant then each left, right, or both sided ideal I of End(M) is an intersection of a left, right, or both sided principal ideal and I itself appropriately. If M is an H-invariant module then the ACC on the set of all left ideals of type $I^L$ implies the ACC on M. Also if the set of all right ideals of type $I^L$ has DCC, then H-invariant module M satisfies ACC. If the set of all left ideals of type $I^L$ satisfies DCC, then H-invariant module M satisfies DCC. If the set of all right ideals of type $I_N$ satisfies ACC then H-invariant module M satisfies DCC. Therefore for an H-invariant module M, if the endomorphism ring End(M) is left Noetherian, then M satisfies ACC. And if End(M) is right Noetherian then M satisfies DCC. For an H-invariant module M, if End(M) is left Artinian then M satisfies DCC. Also if End(M) is right Artinian then M satisfies ACC.