# Simplicial group

From Groupprops

This is a variation of group|Find other variations of group | Read a survey article on varying group

QUICK PHRASES: simplicial object in category of groups, group object in category of simplicial sets

## Definition

### Abstract definition

A **simplicial group** can be defined in the following equivalent ways:

- Explicitly, it is a contravariant functor from the simplex category to the category of groups.
- It is a simplicial object in the category of groups.
- It is a group object in the category of simplicial sets.

### Explicit definition

A **simplicial group** is the following data:

- For every nonnegative integer, a group
- For every positive integer and all with , a group homomorphism called a
*face map* - For every nonnegative integer and all with , a group homomorphism called a
*degeneracy map*

(Note that there are actually *multiple* maps and corresponding to different values of . However, on any given , there is only one map, so we can typically avoid specifying the -value).

with the following conditions:

- for each where either side makes sense
- for each where either side makes sense
- for each where either side makes sense
- for each where either side makes sense
- for each where either side makes sense

Note that all these conditions follow from the relations originally present in the simplex category. They can be constructed systematically using the trapezoid rule.