Homology of group systems with applications to low-dimensional topology