• 대한수학회보
• /
• 제47권5호
• /
• pp.1041-1052
• /
• 2010

In this paper, strongly cotorsion (torsion-free) modules are studied and strongly cotorsion (torsion-free) dimension is introduced. It is shown that every module has a special $\mathcal{SC}_n$-preenvelope and an ST $\mathcal{F}_n$-cover for any $n\;{\in}\;\mathbb{N}$ based on some results of cotorsion pairs from [9]. Some characterizations of strongly cotorsion (torsion-free) dimension of a module are given.

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

• 대한수학회보
• /
• 제58권6호
• /
• pp.1387-1400
• /
• 2021

Suppose that $T=\(\array{A&0\\U&B}\)$ is a formal triangular matrix ring, where A and B are rings and U is a (B, A)-bimodule. Let ℭ₁ and ℭ₂ be two classes of left A-modules, 𝔇₁ and 𝔇₂ be two classes of left B-modules. We prove that (ℭ₁, ℭ₂) and (𝔇₁, 𝔇₂) are admissible balanced pairs if and only if (p(ℭ₁, 𝔇₁), h(ℭ₂, 𝔇₂) is an admissible balanced pair in T-Mod. Furthermore, we describe when ($P^{C_1}_{D_1}$, $I^{C_2}_{D_2}$) is an admissible balanced pair in T-Mod. As a consequence, we characterize when T is a left virtually Gorenstein ring.