Simplicial group

Template:Short description 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 $A$ is non-canonically homotopy equivalent to a product of Eilenberg–MacLane spaces, $\prod _{i\ge 0}K({\pi }_{i}A,i).$

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

Template:Harvtxt 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.

See also

• Simplicial commutative ring

References

• Template:Citation
• Template:Cite book
• Charles Weibel, An introduction to homological algebra

Further reading

• Template:Nlab
• What is a simplicial commutative ring from the point of view of homotopy theory?
• W. G. Dwyer and D. M. Kan. “Homotopy theory and simplicial groupoids”. In: Nederl. Akad. Wetensch. Indag. Math. 46.4 (1984), pp. 379–385.
• http://pantodon.jp/index.rb?body=simplicial_group in Japanese

Template:Abstract-algebra-stub