# Exact sequence of groups

From Groupprops

## Definition

### Over the integers

An **exact sequence of groups** is defined as the following data:

- A collection of groups, where varies over the integers
- A collection of group homomorphisms

such that for any , the kernel of equals the image of .

The exact sequence is typically written as:

Note that an exact sequence is a particular kind of chain complex of groups.