group theory

Contents

Idea

A subgroup of a group $G$ is a “smaller” group $K$ sitting inside $G$.

Definition

A subgroup is a subobject in the category Grp of groups: a monomorphism of groups

$K↪G\phantom{\rule{thinmathspace}{0ex}}.$K \hookrightarrow G \,.

Here $K$ is a subgroup of $G$.

Properties

Of free groups

Every subgroup of a free group is itself free. This is the statement of the Nielsen-Schreier theorem.

Of Lie groups

For $H↪G$ a sub-Lie group inclusion write $BH\to BG$ for the induced map on delooping Lie groupoids. The homotopy fiber of this map (in Smooth∞Grpd) is the coset space $G/H$: there is a homotopy fiber sequence

$G/H\to BH\to BG\phantom{\rule{thinmathspace}{0ex}}.$G/H \to \mathbf{B}H \to \mathbf{B}G \,.

Now let $H↪K↪G$ be a sequence of two subgroup inclusions. By the above this yields the diagram

$\begin{array}{ccccc}K/H& \to & G/H& \to & G/K\\ ↓& & ↓& & ↓\\ BH& \to & BH& \to & BK\\ ↓& & ↓& & ↓\\ BK& \to & BG& \to & BG\end{array}$\array{ K/H &\to& G/H &\to& G/K \\ \downarrow && \downarrow && \downarrow \\ \mathbf{B}H &\to& \mathbf{B}H &\to& \mathbf{B}K \\ \downarrow && \downarrow && \downarrow \\ \mathbf{B}K &\to& \mathbf{B}G &\to& \mathbf{B}G }

Examples

Revised on November 1, 2013 06:42:04 by Urs Schreiber (145.116.130.141)