Represent a class in by a chain cycle . Since every simplex of belongs to at least one of the two simplicial subcomplexes, split the chain in the simplicial chain complex as
Because , we have
The left side lies in and the right side in , so this common chain is supported in . It is a cycle because . The connecting homomorphism is therefore
Changing the decomposition or the representative changes only by a boundary in , which is why the construction descends to homology classes.
Because is a simplicial subcomplex of , every face of a simplex of also belongs to . The simplicial boundary operator therefore satisfies
so is a chain subcomplex of the simplicial chain complex .
Define a map on the quotient groups by
If with , then , so this definition is independent of the representative. Moreover,
Thus is the relative simplicial chain complex.
Use the orientations
The simplicial chain complex has
with
The map is injective, so . The complex is connected, so and . Hence has rank ; quotienting by the rank-one primitive subgroup gives
There are no higher simplices. Therefore
The result agrees with the Euler characteristic .