theoremgroup-theory Intuition Formal Statement For finite group G and subgroup H≤G, [G:H]=∣H∣∣G∣. In particular, note that ∣H∣ divides ∣G∣. Corollaries Related: Quotient (Groups)