Assertion: abelian group's subgroup | /r/CreatedBy | the embedding of π 1
Facets:
Source sentences:
text: In the case of a cover space, when the fiber is discrete, we have that π n (E) is isomorphic to π n (B) for n > 1, that π n (E) embeds injectively into π n (B) for all positive n, and that the subgroup of π 1 (B) that corresponds to the embedding of π 1 (E) has cosets in bijection with the elements of the fiber.