Proofs of Fermat's Little Theorem - Proof Using Group Theory

Proof Using Group Theory

This proof requires the most basic elements of group theory.

The idea is to recognise that the set G = {1, 2, …, p − 1}, with the operation of multiplication (taken modulo p), forms a group. The only group axiom that requires some effort to verify is that each element of G is invertible. Taking this on faith for the moment, let us assume that a is in the range 1 ≤ ap − 1, that is, a is an element of G. Let k be the order of a, so that k is the smallest positive integer such that

By Lagrange's theorem, k divides the order of G, which is p − 1, so p − 1 = km for some positive integer m. Then

Read more about this topic:  Proofs Of Fermat's Little Theorem

Famous quotes containing the words proof, group and/or theory:

    If any proof were needed of the progress of the cause for which I have worked, it is here tonight. The presence on the stage of these college women, and in the audience of all those college girls who will some day be the nation’s greatest strength, will tell their own story to the world.
    Susan B. Anthony (1820–1906)

    He hung out of the window a long while looking up and down the street. The world’s second metropolis. In the brick houses and the dingy lamplight and the voices of a group of boys kidding and quarreling on the steps of a house opposite, in the regular firm tread of a policeman, he felt a marching like soldiers, like a sidewheeler going up the Hudson under the Palisades, like an election parade, through long streets towards something tall white full of colonnades and stately. Metropolis.
    John Dos Passos (1896–1970)

    We commonly say that the rich man can speak the truth, can afford honesty, can afford independence of opinion and action;—and that is the theory of nobility. But it is the rich man in a true sense, that is to say, not the man of large income and large expenditure, but solely the man whose outlay is less than his income and is steadily kept so.
    Ralph Waldo Emerson (1803–1882)