768 名前：has its variables permuted in all n! ways, the number of different polynomials that are obtained is always a factor of n!. (For example, if the variables x, y, and z are permuted in all 6 possible ways in the polynomial x + y - z then we get a total of 3 different polynomials: x + y - z, x + z - y, and y + z - x. Note that 3 is a factor of 6.) The number of such polynomials is the index in the symmetric group Sn of the subgroup H of permutations that preserve the polynomial. (For the example of x + y - z, the subgroup H in S3 contains the identity and the transposition (x y).) So the size of H divides n!. With the later development of abstract groups, this result of Lagrange on polynomials was recognized to extend to the general theorem about finite groups which now bears his name.
In his Disquisitiones Arithmeticae in 1801, Carl Friedrich Gauss proved Lagrange's theorem for the special case of (Z/pZ)^*, the multiplicative group of nonzero integers modulo p, where p is a prime.[4] In 1844, Augustin-Louis Cauchy proved Lagrange's theorem for the symmetric group Sn.[5]
Camille Jordan finally proved Lagrange's theorem for the case of any permutation group in 1861.[6] []
