lagrange's theorem

noun Mathematics.

1. the theorem that the order of each subgroup of a finite group is a factor of the order of the group.