cotorsion pair

Cotorsion pairs in abelian categories are a notion generalizing both projective and injective objects.

Let $\mathcal{A}$ be an abelian category.

A **cotorsion pair** in $\mathcal{A}$ is a pair $(\mathcal{D},\mathcal{E})$ of classes of objects of $\mathcal{A}$ such that

- $D \in \mathcal{D}$ if and only if $Ext^1(D, E) = 0$ for all $E \in \mathcal{E}$
- $E \in \mathcal{E}$ if and only if $Ext^1(D, E) = 0$ for all $D \in \mathcal{D}$.

Let $\mathcal{I}$ denote the class of injective objects of $\mathcal{A}$. Then $(\mathcal{A}, \mathcal{I})$ is a cotorsion pair, where we write $\mathcal{A}$ for the class of all objects of $\mathcal{A}$.

Dually, there is a cotorsion pair $(\mathcal{P}, \mathcal{A})$ where $\mathcal{P}$ is the class of projective objects of $\mathcal{A}$.

The **flat cotorsion pair** on the category of $R$-modules (for some ring $R$) is defined by letting $\mathcal{D}$ be the class of flat $R$-modules and $\mathcal{E}$ the class of cotorsion modules?, i.e. $R$-modules $E$ such that $Ext^1_R(D,E)=0$ for all flat $D$.

We say that a cotorsion pair $(\mathcal{D},\mathcal{E})$ **has enough injectives** if for every object $X$ of $\mathcal{A}$, there exist objects $D \in \mathcal{D}$ and $E \in \mathcal{E}$ such that there is an exact sequence

(1)$0 \to X \to E \to D \to 0.$

We say that it **has enough projectives** if for every object $X$ of $\mathcal{A}$, there exist objects $D \in \mathcal{D}$ and $E \in \mathcal{E}$ such that there is an exact sequence

(2)$0 \to E \to D \to X \to 0.$

Note that the category $\mathcal{A}$ has enough injectives if and only if the cotorsion pair $(\mathcal{A}, \mathcal{I})$ has enough injectives, and $\mathcal{A}$ has enough projectives if and only if $(\mathcal{P}, \mathcal{A})$ has enough projectives.

A cotorsion pair $(\mathcal{D},\mathcal{E})$ is called **complete** if it has enough injectives and enough projectives.

- Mark Hovey,
*Cotorsion pairs and model categories*, pdf

Created on June 7, 2013 at 18:16:08. See the history of this page for a list of all contributions to it.