• Kyungpook Mathematical Journal
• /
• v.20 no.2
• /
• pp.189-191
• /
• 1980

• Honam Mathematical Journal
• /
• v.43 no.3
• /
• pp.403-416
• /
• 2021

It is known that the rank 2 stably free syzygy module P⁽²⁾ is not free. This algebraic fact was proved analytically, but this remarkable fact still lacks of a simple algebraic proof. The main purpose of this paper is to give a partially algebraic proof by making use of a theorem whose proof is quite topological, and the further properties of the module will be discussed.

• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1281-1299
• /
• 2017

A submodule N of a module M is called ${\mathcal{S}}$-closed (in M) if M/N is nonsingular. It is well-known that the class Closed of short exact sequences determined by closed submodules is a proper class in the sense of Buchsbaum. However, the class $\mathcal{S}-Closed$ of short exact sequences determined by $\mathcal{S}$-closed submodules need not be a proper class. In the first part of the paper, we describe the smallest proper class ${\langle}\mathcal{S-Closed}{\rangle}$ containing $\mathcal{S-Closed}$ in terms of $\mathcal{S}$-closed submodules. We show that this class coincides with the proper classes projectively generated by Goldie torsion modules and coprojectively generated by nonsingular modules. Moreover, for a right nonsingular ring R, it coincides with the proper class generated by neat submodules if and only if R is a right SI-ring. In abelian groups, the elements of this class are exactly torsionsplitting. In the second part, coprojective modules of this class which we call ec-flat modules are also investigated. We prove that injective modules are ec-flat if and only if each injective hull of a Goldie torsion module is projective if and only if every Goldie torsion module embeds in a projective module. For a left Noetherian right nonsingular ring R of which the identity element is a sum of orthogonal primitive idempotents, we prove that the class ${\langle}\mathcal{S-Closed}{\rangle}$ coincides with the class of pure-exact sequences of modules if and only if R is a two-sided hereditary, two-sided $\mathcal{CS}$-ring and every singular right module is a direct sum of finitely presented modules.

• Bulletin of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.33-43
• /
• 1998

Matlis posed the following question in 1958: if N is a direct summand of a direct sum M of indecomposable injectives, then is N itself a direct sum of indecomposable innjectives\ulcorner It will be proved that the Matlis problem has an affirmative answer when M is a multiplication module, and that a weaker condition then that of M being a multiplication module can be given to module M when M is a countable direct sum of indecomposable injectives.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1523-1537
• /
• 2023

Let R be a commutative ring with identity and S a multiplicative subset of R. First, we introduce and study the u-S-projective dimension and u-S-injective dimension of an R-module, and then explore the u-S-global dimension u-S-gl.dim(R) of a commutative ring R, i.e., the supremum of u-S-projective dimensions of all R-modules. Finally, we investigate u-S-global dimensions of factor rings and polynomial rings.

• Journal of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1337-1364
• /
• 2023

We describe the Gorenstein derived categories of Gorenstein rings via the homotopy categories of Gorenstein injective modules. We also introduce the concept of Gorenstein cosilting complexes and study its basic properties. This concept is generalized by cosilting complexes in relative homological methods. Furthermore, we investigate the existence of the relative version of the Bongartz's theorem and construct a Bongartz's complement for a Gorenstein precosilting complex.

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

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let ${\pi}$ be a group and let M ${\rightarrow}$ N be a homomorphism between projective $\mathbb{Z}[{\pi}]$-modules such that $\mathbb{Z}_p\;{\otimes}_{\mathbb{Z}[{\pi}]}M{\rightarrow}\mathbb{Z}_p{\otimes}_{\mathbb{Z}[{\pi}]}\;N$ is injective; for which other right $\mathbb{Z}[{\pi}]$-modules V is the induced map $V{\otimes}_{\mathbb{Z}[{\pi}]}\;M{\rightarrow}\;V{\otimes}_{\mathbb{Z}[{\pi}]}\;N$ also injective? Our main theorem gives a new criterion which combines and generalizes many previous results.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.579-594
• /
• 2014

Let R be a ring and $Nil_*$(R) be the prime radical of R. In this paper, we say that a ring R is left $Nil_*$-coherent if $Nil_*$(R) is coherent as a left R-module. The concept is introduced as the generalization of left J-coherent rings and semiprime rings. Some properties of $Nil_*$-coherent rings are also studied in terms of N-injective modules and N-flat modules.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.623-642
• /
• 2024

This paper introduces and studies a generalization of (n, d)-rings introduced and studied by Costa in 1994 to rings with prime nilradical. Among other things, we establish that the ϕ-von Neumann regular rings are exactly either ϕ-(0, 0) or ϕ-(1, 0) rings and that the ϕ-Prüfer rings which are strongly ϕ-rings are the ϕ-(1, 1) rings. We then introduce a new class of rings generalizing the class of n-coherent rings to characterize the nonnil-coherent rings introduced and studied by Bacem and Benhissi.

• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.439-456
• /
• 1994

Let $\tau$ be a given hereditary torsion theory for left R-module category R-Mod. The class of all $\tau$-torsion left R-modules, denoted by T is closed under homomorphic images, submodules, direct sums and extensions. And the class of all $\tau$-torsionfree left R-modules, denoted by $F$, is closed under submodules, injective hulls, direct products, and isomorphic copies ([3], Proposition 1.7 and 1.10).