Frobenius's theorem (group theory)

In mathematics, specifically group theory, Frobenius's theorem states that if divides the order of a finite group , then the number of solutions of in is a multiple of . It was introduced by Frobenius (1903).