Talk:Cover (algebra)

Puzzled
In the lead: "such as a group (trivially) covering a subgroup" — what does it mean? Trivially, we have the injective homomorphism from a subgroup to the group; but where is the needed (trivial?) surjective homomorphism from the group to the subgroup? Boris Tsirelson (talk) 07:40, 11 March 2019 (UTC)