nLab free resolution

Context

Homological algebra

homological algebra

and

nonabelian homological algebra

diagram chasing

Contents

Idea

The resolution of a chain complex by a complex of free modules.

Properties

Existence

Proposition

For $R$ a ring, every $R$-module admits a free resolution.

Examples

Proposition

Assuming the axiom of choice, then every abelian group $A$ admits a free resolution of just length 2, hence with trivial syzygies, hence there exists a short exact sequence of abelian groups of the form

$0 \to F_2 \longrightarrow F_1 \longrightarrow A \to 0$

where both $F_1$ and $F_2$ are free abelian groups.

Proof

Let $F_1 = \mathbb{Z}[A]$ be the free abelian group on the underlying set of $A$, and let $F_1 \to A$ be the canonical morphism that sends a generator to itself (the adjunction counit of the free-forgetful adjunction).

Then let $F_2 \to F_1$ be the kernel of that map, hence $F_2$ a subgroup of $F_1$. Assuming the axiom of choice then every subgroup of a free abelian group is itself free abelian, hence $F_2$ is free abelian (prop.).

Remark

Prop. 2 implies that all Ext-groups between abelian groups are concentrated in degrees 0 and 1.

(By the discussion at derived functor in homological algebra.)

References

Lecture notes include for instance

around page 5 of

Revised on July 13, 2016 10:47:07 by Ingo Blechschmidt (137.250.162.16)