Index of a subgroup (source code)

= Index of a subgroup
{title2=$[G:H]$}
{wiki}

= Subgroup index
{synonym}

The index $[G:H]$ is the number of left cosets of $H$ in $G$.