Assertion: universal cover | /r/HasProperty | topological group
Facets:
Source sentences:
text: Essentially there is an obstruction to the existence of a universal cover which is also a topological group such that the covering map is a morphism: this obstruction lies in the third cohomology group of the group of components of G with coefficients in the fundamental group of G at the identity.