  Our purpose is to explore, in the context of loop ensembles on finite graphs,
the relations between combinatorial group theory, loops topology, loop
measures, and signatures of discrete paths. We determine the distributions of
the loop homotopy class, and of the first and second homologies, defined by the
lower central series of the fundamental group.
