Lagrange's theorem noun1 •The theorem in group theory that for any finite group, the size (order) of any subgroup must be a divisor of that of the group itself.
