This page follows on from the discussion of delta complexes here. We now want to represent this topology in algebra terms. 
We start by defining two functions on δ (functions from a function to a subset) which define subsets of the codomain and domain respectivly:
 Boundary: boundary at n given by Im δ_{n+1}
 Cycle: cycle at n given by Ker δ_{n}
where:
 Im is the image of δ which is the subset of a function's codomain which is the output of the function on a subset of its domain.
 Ker is the kernel of δ which is the subset of the domain which maps to zero. (gives partition of the domain that expresses equivalence).
Example 1 : Circle
A circle (not filled in) is topologically equivalent to an empty triangle.
So our faces are:

We can calculate cycles and boundaries as follows:
Boundary
We can now relate them using the boundary function. This boundary function removes each element in turn and alternates the sign.
B_{0} = Im δ_{1} = ab, ac, bc
 δab = ab
 δac = ac
 δbc = bc
So the boundary of the edges is the verticies.
B_{1} = Im δ_{2} = 0
The boundary of 0 is 0.
Higher order boundaries are all zero.
Cycles
The cycles are given by the 'kernel' of δ_{n} which are the 'chains' which map to zero
Z_{0} = Ker δ_{0} = a,b,c
This is given by the kernel of δ_{0} which are the vertices which map to zero, and they all map to zero because δ_{0} maps everything to zero.
Z_{1} = Ker δ_{1} = ab>bc>ca , bc>ca>ab , ca>ab>bc
We want the kernel of δ_{1} which are the edges which map to zero, here 'zero' can be interpreted as the identity mapping (a mapping from an element back to itself). So the cycles are the loops around the circle starting at any vertex and ending on that vertex.
Z_{2} = Ker δ_{2} =
Example 2 : Disk
A disk (filled in circle) is topologically equivalent to a solid triangle.
So our faces are:

We can now relate them using the boundary function:
 δabc = ab ac + bc
 δab = ab
 δac = ca
 δbc = bc
This boundary function removes each element in turn and alternates the sign.
So if we apply boundary twice we get:
δ(δabc) = δ(ab ac + bc)
= (ab) + (ca) + (bc)
= 0
So, in this case, applying boundary twice gives zero.
In fact applying delta twice always gives zero: 
Chains
In the earlier examples we just looked at the delta operator on single triangles. Here we look at a chain of triangles: This gives the boundary of the shape. 
As a Free Abelian Group
Now we allow integer multiples and sums of these. If i,jk... are integers then we have:
δ( i ab  j ac + k bc) = i (ab)  j (ac) + k (bc)
= (ij) a + (ki) b + (jk) c
This gives a free abelian group isomorphic to Z.
Chain Complex as a Sequence of Abelian Groups or Modules
C_{0}  Zero dimensional chain Elements of C_{0} are intergral linear combinations of vertices such as: 2x+7y+5z 
C_{1}  One dimensional chain Elements of C_{1} are intergral linear combinations of edges such as: 2xy+7xz+5yz 
We now treat δ as a group homomorphism which extends *.
δ(C_{1})>C_{0}
Being a group homomorphism means respecting the group structure of the two groups, that is,
 δ(u+v_{}) = δ u + δ v_{}
 δ(u^{1}) =(δ u)^{1}
It also respects the extra structure that groups are required to be continuous.
Algebraic meaning of cycle: δ(X_{}) = 0
We find cycles by finding null space of augmented matrix.
CoChain Complex
The difference between cochain complex and a chain complex is that, in a cochain complex the boundary operator increases the dimension rather than decreases it.
Next Steps
For information about how this can be implemented in computer code here.
Or to continue on the theoretical route see how this is used in homolgy here.