Simplicial group

In mathematics, more precisely, in the theory of simplicial sets, a simplicial group is a simplicial object in the category of groups. Similarly, a simplicial abelian group is a simplicial object in the category of abelian groups. A simplicial group is a Kan complex (in particular, its homotopy groups make sense). The Dold–Kan correspondence says that a simplicial abelian group may be identified with a chain complex. In fact it can be shown that any simplicial abelian group is non-canonically homotopy equivalent to a product of Eilenberg–MacLane spaces, [1]

A commutative monoid in the category of simplicial abelian groups is a simplicial commutative ring.

Eckmann (1945) discusses a simplicial analogue of the fact that a cohomology class on a Kähler manifold has a unique harmonic representative and deduces Kirchhoff's circuit laws from these observations.

References

  1. Paul Goerss and Rick Jardine (1999,Ch 3. Proposition 2.20)
  • Eckmann, Beno (1945), "Harmonische Funktionen und Randwertaufgaben in einem Komplex", Commentarii Mathematici Helvetici, 17: 240–255, doi:10.1007/BF02566245, MR 0013318
  • Goerss, P. G.; Jardine, J. F. (1999). Simplicial Homotopy Theory. Progress in Mathematics. Vol. 174. Basel, Boston, Berlin: Birkhäuser. ISBN 978-3-7643-6064-1.
  • Charles Weibel, An introduction to homological algebra


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.