Noun
Sylow theorem (plural Sylow theorems) (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.