Added to Favorites

Nearby Words

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

# References

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

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

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

Wikipedia, the free encyclopedia © 2001-2006 Wikipedia contributors (Disclaimer)

This article is licensed under the GNU Free Documentation License.

Last updated on Friday October 10, 2008 at 20:52:48 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

This article is licensed under the GNU Free Documentation License.

Last updated on Friday October 10, 2008 at 20:52:48 PDT (GMT -0700)

View this article at Wikipedia.org - Edit this article at Wikipedia.org - Donate to the Wikimedia Foundation

Copyright © 2014 Dictionary.com, LLC. All rights reserved.