• 호남수학학술지
• /
• 제42권3호
• /
• pp.591-600
• /
• 2020

A module M is called ss-semilocal if every submodule U of M has a weak supplement V in M such that U∩V is semisimple. In this paper, we provide the basic properties of ss-semilocal modules. In particular, it is proved that, for a ring R, _RR is ss-semilocal if and only if every left R-module is ss-semilocal if and only if R is semilocal and Rad(R) ⊆ Soc(RR). We define projective ss-covers and prove the rings with the property that every (simple) module has a projective ss-cover are ss-semilocal.

• 대한수학회지
• /
• 제59권4호
• /
• pp.821-841
• /
• 2022

In this paper, we introduce and study regular rings relative to the hereditary torsion theory w (a special case of a well-centered torsion theory over a commutative ring), called w-regular rings. We focus mainly on the w-regularity for w-coherent rings and w-Noetherian rings. In particular, it is shown that the w-coherent w-regular domains are exactly the Prüfer v-multiplication domains and that an integral domain is w-Noetherian and w-regular if and only if it is a Krull domain. We also prove the w-analogue of the global version of the Serre-Auslander-Buchsbaum Theorem. Among other things, we show that every w-Noetherian w-regular ring is the direct sum of a finite number of Krull domains. Finally, we obtain that the global weak w-projective dimension of a w-Noetherian ring is 0, 1, or ∞.

• 대한수학회보
• /
• 제52권1호
• /
• pp.137-147
• /
• 2015

We derive in the paper the tensor product functor -${\otimes}_R$- by using proper $\mathcal{GP}_C$-resolutions, where C is a semidualizing module. After giving several cases in which different relative homologies agree, we use the Pontryagin duals of $\mathcal{G}_C$-projective modules to establish a balance result for such relative homology over a Cohen-Macaulay ring with a dualizing module D.

• 대한수학회보
• /
• 제56권4호
• /
• pp.961-976
• /
• 2019

Let R be any commutative ring and S be any multiplicative closed set. We introduce an S-version of $\mathcal{F}$-Mittag-Leffler modules, called $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and define the projective dimension with respect to these modules. We give some characterizations of $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, investigate the relationships between $\mathcal{F}$-Mittag-Leffler modules and $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler modules, and use these relations to describe noetherian rings and coherent rings, such as R is noetherian if and only if $R_S$ is noetherian and every $\mathcal{F}_{\mathcal{S}}$-Mittag-Leffler module is $\mathcal{F}$-Mittag-Leffler. Besides, we also investigate the $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension of R, and prove that $R_S$ is noetherian if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is zero; $R_S$ is coherent if and only if its $\mathcal{M}^{\mathcal{F}_{\mathcal{S}}$-global dimension is at most one.

• 대한수학회보
• /
• 제60권4호
• /
• pp.1071-1083
• /
• 2023

The main motivation of this paper is to introduce and study the notions of strong Dedekind rings and semi-regular injective modules. Specifically, a ring R is called strong Dedekind if every semi-regular ideal is Q₀-invertible, and an R-module E is called a semi-regular injective module provided Ext¹_R(T, E) = 0 for every 𝓠-torsion module T. In this paper, we first characterize rings over which all semi-regular injective modules are injective, and then study the semi-regular injective envelopes of R-modules. Moreover, we introduce and study the semi-regular global dimensions sr-gl.dim(R) of commutative rings R. Finally, we obtain that a ring R is a DQ-ring if and only if sr-gl.dim(R) = 0, and a ring R is a strong Dedekind ring if and only if sr-gl.dim(R) ≤ 1, if and only if any semi-regular ideal is projective. Besides, we show that the semi-regular dimensions of strong Dedekind rings are at most one.

• 대한수학회지
• /
• 제57권1호
• /
• pp.131-144
• /
• 2020

Characterizations of almost perfect domains by certain covers and envelopes, due to Bazzoni-Salce [7] and Bazzoni [4], are generalized to almost perfect commutative rings (with zero-divisors). These rings were introduced recently by Fuchs-Salce [14], showing that the new rings share numerous properties of the domain case. In this note, it is proved that admitting strongly flat covers characterizes the almost perfect rings within the class of commutative rings (Theorem 3.7). Also, the existence of projective dimension 1 covers characterizes the same class of rings within the class of commutative rings admitting the cotorsion pair (𝒫₁, 𝒟) (Theorem 4.1). Similar characterization is proved concerning the existence of divisible envelopes for h-local rings in the same class (Theorem 5.3). In addition, Bazzoni's characterization via direct sums of weak-injective modules [4] is extended to all commutative rings (Theorem 6.4). Several ideas of the proofs known for integral domains are adapted to rings with zero-divisors.

• 대한수학회보
• /
• 제60권6호
• /
• pp.1687-1695
• /
• 2023

In this paper, we study the Green ring r(𝔴⁰_n) of the weak Hopf algebra 𝔴⁰_n based on Taft Hopf algebra H_n(q). Let R(𝔴⁰_n) := r(𝔴⁰_n) ⊗_ℤ ℂ be the Green algebra corresponding to the Green ring r(𝔴⁰_n). We first determine all finite dimensional simple modules of the Green algebra R(𝔴⁰_n), which is based on the observations of the roots of the generating relations associated with the Green ring r(𝔴⁰_n). Then we show that the nilpotent elements in r(𝔴⁰_n) can be written as a sum of finite dimensional indecomposable projective 𝔴⁰_n-modules. The Jacobson radical J(r(𝔴⁰_n)) of r(𝔴⁰_n) is a principal ideal, and its rank equals n - 1. Furthermore, we classify all finite dimensional non-simple indecomposable R(𝔴⁰_n)-modules. It turns out that R(𝔴⁰_n) has n² - n + 2 simple modules of dimension 1, and n non-simple indecomposable modules of dimension 2.

• 대한수학회지
• /
• 제59권4호
• /
• pp.733-756
• /
• 2022

In this paper, we introduce the notion of Gorenstein quasiresolving subcategories (denoted by 𝒢𝒬𝓡_𝒳 (𝓐)) in term of quasi-resolving subcategory 𝒳. We define a resolution dimension relative to the Gorenstein quasi-resolving categories 𝒢𝒬𝓡_𝒳 (𝓐). In addition, we study the stability of 𝒢𝒬𝓡_𝒳 (𝓐) and apply the obtained properties to special subcategories and in particular to modules categories. Finally, we use the restricted flat dimension of right B-module M to characterize the finitistic dimension of the endomorphism algebra B of a 𝒢𝒬_𝒳-projective A-module M.

• 대한수학회지
• /
• 제51권6호
• /
• pp.1305-1319
• /
• 2014

A submodule N of a right R-module M is called coneat if for every simple right R-module S, any homomorphism $N{\rightarrow}S$ can be extended to a homomorphism $M{\rightarrow}S$. M is called coneat-flat if the kernel of any epimorphism $Y{\rightarrow}M{\rightarrow}0$ is coneat in Y. It is proven that (1) coneat submodules of any right R-module are coclosed if and only if R is right K-ring; (2) every right R-module is coneat-flat if and only if R is right V -ring; (3) coneat submodules of right injective modules are exactly the modules which have no maximal submodules if and only if R is right small ring. If R is commutative, then a module M is coneat-flat if and only if $M^+$ is m-injective. Every maximal left ideal of R is finitely generated if and only if every absolutely pure left R-module is m-injective. A commutative ring R is perfect if and only if every coneat-flat module is projective. We also study the rings over which coneat-flat and flat modules coincide.

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