Definitions

# Acyclic models theorem

In Algebraic Topology, the Method of Acyclic Models, or Acyclic Models Theorem describes a process by which two homology theories can be shown to be isomorphic. The theorem was developed by topologists Samuel Eilenberg and Saunders MacLane. They discovered that, when topologists were writing proofs to establish equivalence of various homology theories, there were numerous similarities in the processes. Eilenberg and MacLane then discovered the theorem to generalize this process.

# Statement of the Theorem

Let $mathcal\left\{K\right\}$ be an arbitrary category, and $mathcal\left\{CC\right\}$ be the category of chain complexes of Abelian groups. Let $F,V : mathcal\left\{K\right\} to mathcal\left\{CC\right\}$ be covariant functors so that $F_i = V_i = 0$ for $i < 0$.

Assume now that there are $mathcal\left\{M\right\}_k subset mathcal\left\{K\right\}$ for $k ge 0$ so that $F_k$ has a basis in $mathcal\left\{M\right\}_k$, so $F$ is a Free functor. Finally, let $V$ be acyclic, which means that $H_\left\{k+1\right\}\left(V\left(M\right)\right) = 0$ for $M in mathcal\left\{M\right\}_\left\{k+1\right\} cup mathcal\left\{M\right\}_\left\{k+2\right\}$.

Then every natural transformation $varphi : H_0\left(F\right) to H_0\left(V\right)$ is induced by a natural chain map $f : F to V$. Additionally, $f$ is unique upto natural homotopy.

# References

Search another word or see Acyclic models theoremon Dictionary | Thesaurus |Spanish