• Bulletin of the Korean Mathematical Society
• /
• v.47 no.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.

• Journal of the Korean Mathematical Society
• /
• v.57 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.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.