---
title: Relatively Cotorsion Modules
url: https://www.emergentmind.com/topics/relatively-cotorsion-modules
type: topic
---

# Relatively Cotorsion Modules

Relatively cotorsion modules are modules defined by Ext-orthogonality with respect to a specified class of test modules rather than with respect to all flat modules. For a class $\mathcal A$ of left $R$-modules, the corresponding relative cotorsion class is
\[
\mathcal A^\perp=\{\,M\mid \operatorname{Ext}^1_R(A,M)=0\text{ for all }A\in\mathcal A\,\}.
\]
This construction places classical cotorsion theory into a broader framework: if $\mathcal A=\mathcal F$ is the class of flat modules, then $\mathcal A^\perp=\mathcal F^\perp$ is the usual class of cotorsion modules; if $\mathcal A$ is replaced by flat Mittag–Leffler modules, finitely $n$-presented modules, Gorenstein projectives, $S$-flat modules, or modules induced along a ring homomorphism, one obtains distinct relative cotorsion theories with their own approximation, filtration, and derived-categorical behavior [1609.05302]. The modern literature treats these classes not as isolated variants, but as instances of cotorsion pairs, Tor-pairs, balanced pairs, and higher or weak cotorsion structures [1510.08966].

## 1. General formalism and the role of cotorsion pairs

A cotorsion pair in a module category is a pair $(\mathcal A,\mathcal B)$ such that
\[
\mathcal A={}^{\perp_1}\mathcal B
\qquad\text{and}\qquad
\mathcal B=\mathcal A^{\perp_1},
\]
where orthogonality is computed with $\operatorname{Ext}^1$. In this setting, modules in $\mathcal A^{\perp_1}$ are cotorsion relative to $\mathcal A$, while modules in ${}^{\perp_1}\mathcal B$ are the corresponding left-hand test objects. The cotorsion pair generated by a class $\mathcal A$ is
\[
({}^{\perp}(\mathcal A^\perp),\mathcal A^\perp),
\]
and this is the basic mechanism by which relative cotorsion classes arise [1609.05302].

Several papers emphasize that relative cotorsion theory is primarily a theory of orthogonality classes rather than a single distinguished notion. In the $FP_n$ context, one studies
\[
FP_n\text{-inj}=FP_n^\perp
\quad\text{and}\quad
FP_n\text{-flat}=\{\,N\mid \operatorname{Tor}^R_1(F,N)=0\ \forall F\in FP_n\,\},
\]
obtaining complete or perfect cotorsion pairs for every ring and every $n\ge 0$ [1510.08966]. In the Gorenstein-projective context, the pair
\[
(\mathrm{GProj},\mathrm{GProj}^\perp)
\]
is hereditary over every ring, so $\mathrm{GProj}^\perp$ is the relative cotorsion class with respect to Gorenstein projectives [2104.08602]. In higher-dimensional variants, left and right $n$-cotorsion pairs replace degree-$1$ vanishing by vanishing up to degree $n$, together with bounded relative resolution conditions [1902.10863].

Completeness, heredity, and approximation are central structural properties. Completeness means the existence of special precovers and preenvelopes; hereditary means $\operatorname{Ext}^i_R(A,B)=0$ for all $i\ge1$ and all $A\in\mathcal A$, $B\in\mathcal B$. In Grothendieck categories, cotorsion pairs generated by a set are complete by the Eklof–Trlifaj theorem, and this mechanism is repeatedly used in the relative setting [2509.07645]. This suggests that relative cotorsion modules are best viewed as the right-hand side of a homological approximation system, not merely as isolated Ext-vanishing objects.

## 2. Principal relative cotorsion classes in the literature

Different choices of the testing class $\mathcal A$ produce distinct relative cotorsion theories. The following families recur in the literature.

| Test class $\mathcal A$ | Relative cotorsion class | Typical source |
|---|---|---|
| Flat modules $\mathcal F$ | $\mathcal F^\perp$ | Classical cotorsion |
| Flat Mittag–Leffler modules $\mathcal{FM}$ | $\mathcal{FM}^\perp$ | [1609.05302] |
| Finitely $n$-presented modules $FP_n$ | $FP_n^\perp=FP_n$-inj | [1510.08966] |
| Gorenstein projectives $\mathrm{GProj}$ | $\mathrm{GProj}^\perp$ | [2104.08602] |
| $S$-flat modules $S\mathcal F$ | $S\mathcal C=(S\mathcal F)^\perp$ | [2403.09242] |
| $A$-flat and $R$-projective modules along $\varphi:R\to A$ | $\mathsf C_\varphi$ or $A^{A/R}$ | [2509.07645] |
| Classes from semidualizing bimodules | $RW_n$ or $Iw$-pd$<n{-}1$ | [1907.05602] |

The $FP_n$ hierarchy interpolates between several standard theories. For $n=0$, $FP_0$-injectives are injective modules and $FP_0$-flat modules are flat modules; for $n=1$, $FP_1$-injectives are absolutely pure modules; for $n=\infty$, $FP_\infty$-injectives are absolutely clean modules and $FP_\infty$-flat modules are level modules [1510.08966]. This gives a graded family of relative cotorsion theories controlled by finiteness conditions on presentations.

A different kind of relativity arises from multiplicative subsets. If $S\subseteq R$ is multiplicative, an $R$-module is $S$-weakly cotorsion when $\operatorname{Ext}^1_R(S^{-1}R,C)=0$, and an $R$-module is $S$-cotorsion when $\operatorname{Ext}^1_R(F,C)=0$ for every $S$-flat module $F$ [1708.06833]. The latter yields a hereditary perfect cotorsion pair $(S\mathcal F,S\mathcal C)$ over any commutative ring [2403.09242].

Relative cotorsion may also be encoded by local depth data. Over a commutative noetherian ring, hereditary cotorsion pairs cogenerated by pure-injective modules of finite injective dimension are classified by integer-valued functions $\varphi:\operatorname{Spec}R\to\mathbb Z_{\ge0}$ bounded by $\operatorname{depth}(R_\mathfrak p)$, and the left class is exactly the class of modules $M$ satisfying
\[
\operatorname{depth}_{R_\mathfrak p}(M_\mathfrak p)\ge \varphi(\mathfrak p)
\quad\text{for all }\mathfrak p\in\operatorname{Spec}R
\]
[2411.04514]. Here the “relative cotorsion” condition is converted into a system of local depth inequalities.

## 3. When relative cotorsion coincides with classical cotorsion

One of the most studied questions is whether a relative cotorsion class actually recovers the classical cotorsion modules. A basic example is the class $\mathcal{FM}$ of flat Mittag–Leffler modules. The main result of “The cotorsion pair generated by the class of flat Mittag–Leffler modules” states that if every flat left $R$-module is filtered by totally ordered direct limits of projective modules, then
\[
\mathcal{FM}^\perp=\mathcal F^\perp,
\]
so the cotorsion pair generated by $\mathcal{FM}$ coincides with the Enochs flat–cotorsion pair [1609.05302]. This covers countable rings, left perfect rings, and discrete valuation domains.

The mechanism behind this identification is a closure theorem: if a class $\mathcal X$ is closed under direct sums and $\aleph_1$-free modules, then ${}^{\perp}(\mathcal X^\perp)$ contains all totally ordered direct limits of modules from $\mathcal X$ [1609.05302]. Applied to $\mathcal X=\mathcal{FM}$ and combined with Eklof’s filtration theorem, this moves from projectives to totally ordered direct limits of projectives, and then from these limits to all flat modules under the stated ring-theoretic filtration hypothesis.

A similar recovery phenomenon occurs in relative Bass theory for a ring homomorphism $R\to A$ with $A$ finitely generated projective as a right $R$-module. In that situation, a left $A$-module is cotorsion over $A$ if and only if its underlying $R$-module is cotorsion:
\[
M\in\mathsf{Cot}_A
\iff
\operatorname{Res}_R^A(M)\in\mathsf{Cot}_R.
\]
Equivalently, every flat left $A$-module is a direct summand of an $A$-module filtered by induced modules $A\otimes_R F$ with $F$ flat over $R$ [2507.15425]. This yields a precise relative version of the familiar fact that over a finite-dimensional algebra over a field, every flat module is projective.

The literature also records explicit failures of the hypotheses used in such identifications. For flat Mittag–Leffler modules, there exists a von Neumann regular ring with a flat module that is not a totally ordered direct limit of projectives, so the filtration hypothesis is not automatic [1609.05302]. Likewise, for a ring map $R\to A$ without the projectivity hypothesis, cotorsion over $A$ need not be detected by restriction to $R$; the example $R=k$, $A=k[t]$ exhibits flat non-projective $A$-modules while every $k$-vector space is cotorsion over $k$ [2507.15425]. These examples delimit the range of equivalence theorems without asserting a general failure of relative identification beyond the stated hypotheses.

## 4. Relative cotorsion from finiteness, localization, and semidualizing data

The $FP_n$ framework organizes relative cotorsion via finiteness of presentations. A module is finitely $n$-presented if it admits an exact sequence
\[
F_n\to F_{n-1}\to\cdots\to F_0\to M\to 0
\]
with each $F_i$ finitely generated projective, and the corresponding right orthogonal $FP_n^\perp$ consists of the $FP_n$-injective modules [1510.08966]. For every ring and every $n$, the pair
\[
({}^{\perp}(FP_n\text{-inj}),\,FP_n\text{-inj})
\]
is complete, while
\[
(FP_n\text{-flat},\,(FP_n\text{-flat})^\perp)
\]
is perfect [1510.08966]. When $R$ is $n$-coherent, these classes stabilize:
\[
FP_n\text{-inj}=FP_\infty\text{-inj},
\qquad
FP_n\text{-flat}=FP_\infty\text{-flat},
\]
and the associated cotorsion pairs become hereditary.

Localization produces another relative theory. For a multiplicative subset $S$, $S$-strongly flat modules are defined as those orthogonal to $S$-weakly cotorsion modules, and under hypotheses such as countability of $S$ or $\operatorname{pd}_R S^{-1}R\le 1$, flat $F$ is $S$-strongly flat exactly when $F/sF$ is projective for all $s\in S$ and $S^{-1}F$ is projective [1708.06833]. The later notion of $S$-cotorsion instead uses all $S$-flat modules as test objects; the pair $(S\mathcal F,S\mathcal C)$ is hereditary and perfect, and $R$ is $S$-perfect if and only if every module is $S$-cotorsion [2403.09242].

Semidualizing bimodules furnish a more elaborate relative homological algebra. Given a semidualizing $(R,S)$-bimodule $\omega$, one defines $\omega$-projective, $\omega$-flat, and $\omega$-injective classes, together with the derived vanishing classes
\[
R\omega_n=\{\,M\mid \operatorname{Ext}^j_R(\omega,M)=0\text{ for }1\le j\le n\,\},
\]
and the corresponding classes on the $S$-side defined by Tor-vanishing [1907.05602]. Under the cograde hypotheses of Theorem 4.19 in that paper, the pairs
\[
(P_\omega\text{-id}^{<n-1}(R),\,R\omega_n)
\quad\text{and}\quad
(WS_n,\,I_\omega\text{-pd}^{<n-1}(S))
\]
are complete cotorsion pairs [1907.05602]. Here relative cotorsion is encoded by bounded $\omega$-injective or $\omega$-projective dimension rather than by flatness.

These constructions show that “relative cotorsion module” is not tied to a single geometric or algebraic source. It may reflect finiteness of relations, localization at multiplicative subsets, or semidualizing adjunction data, depending on which testing class governs the orthogonality.

## 5. Gorenstein, higher, and weak variants

Relative cotorsion theory interacts strongly with Gorenstein homological algebra. For any ring, $(\mathrm{GProj},\mathrm{GProj}^\perp)$ is a hereditary cotorsion pair, so modules in $\mathrm{GProj}^\perp$ are cotorsion relative to Gorenstein projectives [2104.08602]. Under the hypothesis that projective modules are $\lambda$-pure-injective for some infinite regular $\lambda$, the class of Gorenstein projectives is deconstructible, and the cotorsion pair is complete [2104.08602]. The same paper also proves that, assuming $0^\sharp$ does not exist, $\lambda$-pure-injective and pure-injective coincide.

A related but distinct development concerns projectively coresolved Gorenstein flat modules. The class $\mathrm{PGF}$ forms the left-hand side of a complete hereditary cotorsion pair
\[
(\mathrm{PGF},\mathrm{PGF}^{\perp_1}),
\]
and Gorenstein flat modules satisfy a short-exact-sequence characterization involving $\mathrm{PGF}$ and flat modules [1804.09080]. In particular, there is a hereditary cotorsion pair
\[
(\mathrm{GF},\,\mathrm{EC}\cap \mathrm{PGF}^{\perp_1})
\]
generated by a set, and $\mathrm{GF}$ is a covering class over every ring [1804.09080]. Dually, the pair $({}^{\perp_1}\mathrm{GI},\mathrm{GI})$ is hereditary and perfect, so Gorenstein injectives also sit as the right class of a robust relative cotorsion theory [1804.09080].

Higher-dimensional generalizations are formalized by $n$-cotorsion pairs. A left $n$-cotorsion pair $(\mathcal A,\mathcal B)$ requires
\[
\operatorname{Ext}^i_\mathcal C(\mathcal A,\mathcal B)=0
\quad\text{for }1\le i\le n,
\]
together with the existence of short exact sequences whose kernels have $\mathcal B$-resolution dimension at most $n-1$ [1902.10863]. This recovers ordinary cotorsion pairs when $n=1$ and provides an appropriate language for higher Gorenstein and cluster-tilting situations.

There is also a weaker theory motivated by $\tau$-tilting. A left weak cotorsion pair $(\mathcal C,\mathcal T)$ in $\mathrm{mod}\,A$ requires $\operatorname{Ext}^1_A(\mathcal C,\mathcal T)=0$ and approximation sequences on both sides, but does not require $\mathcal T=\mathcal C^{\perp_1}$ [2111.10995]. In such a pair,
\[
\mathcal C= {}^{\perp_1}\mathcal T
\]
in the paper’s notation $11\,\mathcal T$, so the left-hand class is still a relative cotorsion class, though the right-hand side is weaker than in classical cotorsion theory [2111.10995]. For a support $\tau$-tilting module $T$, the pair
\[
(11\,\mathrm{Gen}\,T,\ \mathrm{Gen}\,T)
\]
is a left weak cotorsion pair [2111.10995].

## 6. Relative constructions along ring homomorphisms and derived-categorical frameworks

A particularly explicit relative theory starts from a ring homomorphism $R\to A$ and a hereditary complete cotorsion pair $(\mathcal F,\mathcal C)$ in $R$-Mod. Under suitable hypotheses, the induced cotorsion pair $(\mathcal F_A,\mathcal C_A)$ in $A$-Mod can be described by cofiltrations or filtrations built from coinduced or induced modules [2006.01778]. If every $R$-module has finite $\mathcal F$-resolution dimension bounded by $k$ and $\mathcal F$ is preserved by $\operatorname{Hom}_R(A,-)$, then
\[
\mathcal C_A=\operatorname{Cof}^{k+1}(\operatorname{Hom}_R(A,\mathcal C))^\oplus,
\]
meaning that $\mathcal C_A$ consists exactly of direct summands of modules with finite cofiltrations by coinduced modules $\operatorname{Hom}_R(A,C_i)$, $C_i\in\mathcal C$ [2006.01778]. Under countable product hypotheses, one obtains $\omega$-indexed or $\omega+k$-indexed cofiltrations.

The 2025 paper on relative Bass theory specializes this philosophy to the classical flat–cotorsion pair and proves that, when $A$ is finitely generated projective as a right $R$-module, cotorsion over $A$ is exactly cotorsion over $R$ under restriction of scalars [2507.15425]. The proof uses derived change-of-rings adjunctions, the relative bar resolution, and the cotorsion periodicity theorem asserting that in an acyclic complex of cotorsion modules, all cocycles are cotorsion [2507.15425].

Derived categories of the second kind provide a broader ambient framework. Given a hereditary complete cotorsion pair $(\mathsf A,\mathsf B)$ generated by a set in a Grothendieck category, the Becker coderived category of $\mathsf A$ and the Becker contraderived category of $\mathsf B$ are naturally equivalent:
\[
\mathbf D^{\mathrm{co}(\mathsf A)}
\simeq
\operatorname{Hot}(\mathsf A\cap\mathsf B)
\simeq
\mathbf D^{\mathrm{ctr}(\mathsf B)}.
\]
For cotorsion pairs associated with a ring homomorphism, such as the flaprojective pair $(A_{A/R},A^{R\text{-cot}})$ and the relatively cotorsion pair $(A_{\mathrm{flat}^R},A^{A/R})$, these equivalences are controlled by periodicity properties [2509.07645]. In particular, for $\varphi:R\to A$ with $A$ projective over $R$, the “Relatively Cotorsion Conjecture” asserts that the associated coderived and contraderived categories coincide with the extremal projective and flat cases precisely when relative cotorsion periodicity holds [2509.07645].

This derived-categorical perspective does not replace module-theoretic relative cotorsion; rather, it reframes it. Relative cotorsion modules become the fibrant or contraadjusted objects underlying coderived–contraderived equivalences, Quillen adjunctions, and recollement patterns.

## 7. Structural themes, examples, and open directions

Several structural themes recur across the literature. First, relative cotorsion classes are often deconstructible or generated by a set, which yields completeness by Eklof–Trlifaj [1510.08966]. Second, many left-hand classes are resolving while the right-hand classes are coresolving; this is explicit for $(S\mathcal F,S\mathcal C)$, for $(\mathrm{GProj},\mathrm{GProj}^\perp)$, and for cotorsion pairs arising from semidualizing bimodules [2403.09242]. Third, filtration and cofiltration methods are pervasive: flat modules filtered by totally ordered direct limits of projectives, $A$-modules cofiltered by $\operatorname{Hom}_R(A,\mathcal C)$, and weakly cotorsion modules generated from $R/sR$ and $S^{-1}R$ are representative examples [1609.05302].

A common misconception is that “relative cotorsion” always means classical cotorsion with a different name. The literature shows otherwise. In some contexts, such as flat Mittag–Leffler modules over suitable rings or restriction along certain finite projective ring extensions, the relative class coincides with the classical cotorsion class [1609.05302]. In others, such as $FP_n$-injective, $\mathrm{GProj}^\perp$, or $S$-cotorsion theories, it does not collapse to the flat–cotorsion theory and instead tracks different homological constraints [1510.08966].

Another point of potential confusion is terminological. The phrase “cotorsion” may refer either to right Ext-orthogonals in the Enochs sense or, in the stabilization-theoretic sense, to the cotorsion quotient functor
\[
C(M)=M/\operatorname{Tr}(\mathcal J,M),
\]
where $\operatorname{Tr}(\mathcal J,M)$ is the trace of injectives in $M$ [1701.00151]. That functorial notion is formally dual to a torsion functor and is distinct from cotorsion pairs, even though the same word appears in both theories.

Open directions are explicitly recorded in several places. For the flat Mittag–Leffler theory, the failure of the filtration hypothesis does not settle whether $\mathcal{FM}^\perp=\mathcal F^\perp$ in general [1609.05302]. For the relative Bass theorem, it remains open whether finite presentation of $A$ as a right $R$-module, without projectivity, suffices for the cotorsion equivalence [2507.15425]. In the coderived–contraderived framework, periodicity conjectures are formulated both for flaprojective and relatively cotorsion pairs associated with a ring homomorphism [2509.07645].

Taken together, these developments present relatively cotorsion modules as a flexible and technically rich family of Ext-orthogonality classes. Their significance lies not only in the individual examples—flat Mittag–Leffler, $FP_n$, Gorenstein, $S$-flat, semidualizing, or relative-to-$R\to A$—but in the recurrent homological pattern: a chosen testing class determines a cotorsion pair, the cotorsion pair controls approximations and filtrations, and those approximations in turn interact with local algebra, model structures, and derived categories.

Source: https://www.emergentmind.com/topics/relatively-cotorsion-modules