Partial Groups, Simplicial <i>K(G</i>, 1)’s and Kan Complexes

Abstract

In our paper Simplicial K(G , 1)’s we constructed a sub-complex of the nerve of a group G determined by a partial group structure, and we proved, under a generalized associativity condition called regularity, that the sub-complex realizes as a K(G , 1). This type of sub-complex appears naturally in several topological and algebraic contexts. In this note we prove that regularity of a partial group implies that the Kan extension condition is satisfied on its nerve in dimensions greater than one, and in dimension one a weaker version of the extension condition holds.