Factor system

In mathematics, a factor system (sometimes called factor set) is a fundamental tool of Otto Schreier’s classical theory for group extension problem. It consists of a set of automorphisms and a binary function on a group satisfing certain condition (so-called cocycle condition). In fact, a factor system constitutes a realisation of the cocycles in the second cohomology group in group cohomology.