群の位数に関する積の法則
任意の g ∈ G に対し、その属する両側剰余類(英語版)を HgK と書く(これはすなわち、hgk (h ∈ H, k ∈ K) の形の元全体の成す集合である)とき、関係式
が成立する。無限群の場合は、部分群の指数を用いて、より強い形の
が成り立つ。