Sylow theorem

(mathematics) 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.