Sylow theorem

Etymology
Named after the Norwegian mathematician Peter Ludwig Sylow.

Noun

 * 1)  Any of a collection of theorems of finite group theory that give detailed information about the number of subgroups of fixed order that a given finite group contains.