Exact sequence of groups
Over the integers
An exact sequence of groups is defined as the following data:
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.