Normal Forms, Factorability and Cohomology of HV-groups
Abstract
A factorability structure on a group G is a specification of normal forms
of group elements as words over a fixed generating set. There is a chain
complex computing the (co)homology of G. In contrast to the well-known bar
resolution, there are much less generators in each dimension of the chain
complex. Although it is often difficult to understand the differential,
there are examples where the differential is particularly simple, allowing
computations by hand. This leads to the cohomology ring of hv-groups,
which I define at the end of the talk in terms of so called "horizontal"
and "vertical" generators.