Index of a subgroup

• If H is a subgroup of G and K is a subgroup of H, then

${\displaystyle |G:K|=|G:H|\,|H:K|.}$

• If H and K are subgroups of G, then

${\displaystyle |G:H\cap K|\leq |G:H|\,|G:K|,}$

with equality if ${\displaystyle HK=G}$. (If ${\displaystyle |G:H\cap K|}$ is finite, then equality holds if and only if ${\displaystyle HK=G}$.)

• Equivalently, if H and K are subgroups of G, then

${\displaystyle |H:H\cap K|\leq |G:K|,}$

with equality if ${\displaystyle HK=G}$. (If ${\displaystyle |H:H\cap K|}$ is finite, then equality holds if and only if ${\displaystyle HK=G}$.)

• If G and H are groups and ${\displaystyle \varphi \colon G\to H}$ is a homomorphism, then the index of the kernel of ${\displaystyle \varphi }$ in G is equal to the order of the image:

${\displaystyle |G:\operatorname {ker} \;\varphi |=|\operatorname {im} \;\varphi |.}$

• Let G be a group acting on a set X, and let x ∈ X. Then the cardinality of the orbit of x under G is equal to the index of the stabilizer of x:

${\displaystyle |Gx|=|G:G_{x}|.\!}$

This is known as the orbit-stabilizer theorem.

• As a special case of the orbit-stabilizer theorem, the number of conjugates ${\displaystyle gxg^{-1}}$ of an element ${\displaystyle x\in G}$ is equal to the index of the centralizer of x in G.
• Similarly, the number of conjugates ${\displaystyle gHg^{-1}}$ of a subgroup H in G is equal to the index of the normalizer of H in G.
• If H is a subgroup of G, the index of the normal core of H satisfies the following inequality:

${\displaystyle |G:\operatorname {Core} (H)|\leq |G:H|!}$

where ! denotes the factorial function; this is discussed further below.

• As a corollary, if the index of H in G is 2, or for a finite group the lowest prime p that divides the order of G, then H is normal, as the index of its core must also be p, and thus H equals its core, i.e., it is normal.
• Note that a subgroup of lowest prime index may not exist, such as in any simple group of non-prime order, or more generally any perfect group.

• The alternating group ${\displaystyle A_{n}}$ has index 2 in the symmetric group ${\displaystyle S_{n},}$ and thus is normal.
• The special orthogonal group ${\displaystyle \operatorname {SO} (n)}$ has index 2 in the orthogonal group ${\displaystyle \operatorname {O} (n)}$, and thus is normal.
• The free abelian group ${\displaystyle \mathbb {Z} \oplus \mathbb {Z} }$ has three subgroups of index 2, namely

${\displaystyle \{(x,y)\mid x{\text{ is even}}\},\quad \{(x,y)\mid y{\text{ is even}}\},\quad {\text{and}}\quad \{(x,y)\mid x+y{\text{ is even}}\}}$.

• More generally, if p is prime then ${\displaystyle \mathbb {Z} ^{n}}$ has ${\displaystyle (p^{n}-1)/(p-1)}$ subgroups of index p, corresponding to the ${\displaystyle (p^{n}-1)}$ nontrivial homomorphisms ${\displaystyle \mathbb {Z} ^{n}\to \mathbb {Z} /p\mathbb {Z} }$.
• Similarly, the free group ${\displaystyle F_{n}}$ has ${\displaystyle (p^{n}-1)}$ subgroups of index p.
• The infinite dihedral group has a cyclic subgroup of index 2, which is necessarily normal.

If H has an infinite number of cosets in G, then the index of H in G is said to be infinite. In this case, the index ${\displaystyle |G:H|}$ is actually a cardinal number. For example, the index of H in G may be countable or uncountable, depending on whether H has a countable number of cosets in G. Note that the index of H is at most the order of G, which is realized for the trivial subgroup, or in fact any subgroup H of infinite cardinality less than that of G.

An infinite group G may have subgroups H of finite index (for example, the even integers inside the group of integers). Such a subgroup always contains a normal subgroup N (of G), also of finite index. In fact, if H has index n, then the index of N can be taken as some factor of n!; indeed, N can be taken to be the kernel of the natural homomorphism from G to the permutation group of the left (or right) cosets of H.

A special case, n = 2, gives the general result that a subgroup of index 2 is a normal subgroup, because the normal subgroup (N above) must have index 2 and therefore be identical to the original subgroup. More generally, a subgroup of index p where p is the smallest prime factor of the order of G (if G is finite) is necessarily normal, as the index of N divides p! and thus must equal p, having no other prime factors.

An alternative proof of the result that subgroup of index lowest prime p is normal, and other properties of subgroups of prime index are given in (Lam 2004).

Normal subgroups of prime power index are kernels of surjective maps to p-groups and have interesting structure, as described at Focal subgroup theorem: Subgroups and elaborated at focal subgroup theorem.

There are three important normal subgroups of prime power index, each being the smallest normal subgroup in a certain class:

• E^p(G) is the intersection of all index p normal subgroups; G/E^p(G) is an elementary abelian group, and is the largest elementary abelian p-group onto which G surjects.
• A^p(G) is the intersection of all normal subgroups K such that G/K is an abelian p-group (i.e., K is an index ${\displaystyle p^{k}}$ normal subgroup that contains the derived group ${\displaystyle [G,G]}$): G/A^p(G) is the largest abelian p-group (not necessarily elementary) onto which G surjects.
• O^p(G) is the intersection of all normal subgroups K of G such that G/K is a (possibly non-abelian) p-group (i.e., K is an index ${\displaystyle p^{k}}$ normal subgroup): G/O^p(G) is the largest p-group (not necessarily abelian) onto which G surjects. O^p(G) is also known as the p-residual subgroup.

As these are weaker conditions on the groups K, one obtains the containments

${\displaystyle \mathbf {E} ^{p}(G)\supseteq \mathbf {A} ^{p}(G)\supseteq \mathbf {O} ^{p}(G).}$

These groups have important connections to the Sylow subgroups and the transfer homomorphism, as discussed there.

• Virtually
• Codimension

• Normality of subgroups of prime index at PlanetMath.
• "Subgroup of least prime index is normal" at Groupprops, The Group Properties Wiki