Lagrange's theorem en · NOUN
Etymology
Named after Joseph Louis Lagrange (1736–1813), an Italian Enlightenment Era mathematician and astronomer.
Meanings
- (uncountable) 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.