Coset

\(aH = \{ah \mid h \in H\}\).

All cosets have equal size: \(|aH| = |H|\).

Lagrange’s Theorem

\(|G| = [G:H] \cdot |H|\), so \(|H|\) divides \(|G|\).