拉格朗日定理（Lagrange's theorem）是一个数学定理，它是群论中的一个基本定理，描述了有限群的子群的结构。

设$G$是一个有限群，$H$是$G$的一个子群，则$H$的阶数（即$H$中元素的个数）必整除$G$的阶数。