有限群
任意の有限群G に対して、G の任意の部分群 H の位数(元の個数)は Gの位数を割り切る。この定理はジョゼフ=ルイ・ラグランジュにちなんで名付けられた。