A subgroup of a group is a “smaller” group sitting inside .
A subgroup is a subobject in the category Grp of groups: a monomorphism of groups
Here is a subgroup of .
Every subgroup of a free group is itself free. This is the statement of the Nielsen-Schreier theorem.
For a sub-Lie group inclusion write for the induced map on delooping Lie groupoids. The homotopy fiber of this map (in Smooth∞Grpd) is the coset space : there is a homotopy fiber sequence
Now let be a sequence of two subgroup inclusions. By the above this yields the diagram
Discussion in univalent foundations of mathematics (homotopy type theory, but mostly for 1-groups):
See also
Last revised on July 30, 2022 at 15:44:02. See the history of this page for a list of all contributions to it.