Lagrange's Theorem (group Theory) - History

History

Lagrange did not prove Lagrange's theorem in its general form. He stated, in his article Réflexions sur la résolution algébrique des équations, that if a polynomial in n variables 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 (xy).) 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.

Lagrange did not prove his theorem; all he did, essentially, was to discuss some special cases. The first complete proof of the theorem was provided by Abbati and published in 1803.

Read more about this topic:  Lagrange's Theorem (group Theory)

Famous quotes containing the word history:

    “What is most interesting and valuable in it, however, is not the materials for the history of Pontiac, or Braddock, or the Northwest, which it furnishes; not the annals of the country, but the natural facts, or perennials, which are ever without date. When out of history the truth shall be extracted, it will have shed its dates like withered leaves.”
    —Henry David Thoreau (1817–1862)

    “... in America ... children are instructed in the virtues of the system they live under, as though history had achieved a happy ending in American civics.”
    —Mary McCarthy (1912–1989)

    “The whole history of civilisation is strewn with creeds and institutions which were invaluable at first, and deadly afterwards.”
    —Walter Bagehot (1826–1877)