A Geometric Proof of Fermat ’ s Little Theorem

We present an intuitively satisfying geometric proof of Fermat’s result for positive integers that 1 1 p a − ≡ for prime moduli p, provided p does not divide a. This is known as Fermat’s Little Theorem. The proof is novel in using the idea of colorings applied to regular polygons to establish a number-theoretic result. A lemma traditionally, if ambiguously, attributed to Burnside provides a critical enumeration step.


Historical Background
Pierre de Fermat wrote his friend Frénicle de Bessy in 1640 stating that he had discovered that 1 1 p a − ≡ for prime moduli p, provided p did not divide a, but his proof was overlong, so he did not bother to include the details.One might wish that Fermat had been more generous in recording his notes both in this instance and that famous "margin too small to contain••• (his proof of Fermat's Last Theorem)".Leibniz appears to have proved the theorem prior to 1683 without publishing it, and then Euler reprised Leibniz' work in a published version.This result, christened Fermat's Little Theorem by Kurt Hensel in 1913, is the basis for a convenient method for detecting primality, or more correctly, compositeness [1] [2] [3].If p does not divide a and 1 p a − is not congruent to 1mod p , then p must be composite.Modular arithmetic, particularly with the aid of a computer, makes short work of calculating the residues of high powers of a needed to check this condition.Unfortunately, the invalidity of the converse to Fermat's Little Theorem (if We present a proof of this useful theorem from an intuitively appealing direction based on coloring the vertices of regular polygons with prime numbers of sides.

Burnside's Lemma [4]
If G is a group of permutations acting on a set S, then for a particular G π ∈ , the invariant set of π is the collection of all elements of S that are fixed points of π , i.e. ( ) s s π = .The orbit of some s S ∈ is the collection of elements obtained by letting every permutation in G act on that s.Intuitively, there is a broad inverse size relationship between orbits and invariant sets.If most elements are not moved by most permutations, invariant sets will be large and orbits will be small, but more numerous.In 1897, the British mathematician William Burnside published the result, with attribution to Frobenius [5], that if G is a group of permutations acting on the finite set S, then the number of orbits of S under G is given by ( ) , where ( ) inv π is the size of the invariant set of the permutation G π ∈ .Burnside's Lemma is a direct conse- quence of the Orbit/Stabilizer Theorem [1] [2] [3] and was known at least as early as Cauchy, hence it is sometimes called "the lemma that is not Burnside's" [6].We will color the elements of S, specifically the vertices of a regular polygon with a prime number of sides, and adapt Burnside's/Not Burnside's Lemma to the problem of enumerating distinct colorings.

Colorings
A coloring χ is a mapping from the finite set S of objects to be colored to the finite set P, consisting of the "pallette" of colors.This is just a fanciful way of thinking about the rather dry notion of an arbitrary function between two finite sets.Colorings had their origin in the effort to establish the Four-Color Theorem, and they pop up in many seemingly unrelated combinatorial settings [7]  Just as the elements of S can be put into equivalence classes on the basis of whether they are in the same orbit under the action of G or not, colorings can be put into equivalence classes depending on whether they are in the same orbit under the action of G * or not.Orbits of colorings are called patterns.Two colorings 1 χ and 2 χ are equivalent, or represent the same pattern, if there is a such that for all s S ∈ we have ( ) ( ) , and so forth.We would write ( ) π χ χ * = to signify this situation.

Proof
If we have a symmetrical object with a coloring, we can apply Burnside's Lemma to enumerate the number of distinct patterns possible for the object.Let us consider a regular p-gon, where p is prime, and color the vertices with a pallette consisting of a colors, where p does not divide a.We will admit the digon to handle the case 2 p = .Now we are not going to tear or fold the polygon, so the only permutations of colorings allowed are going to be those induced by the rotation group of the polygon, namely the cyclic group p  .The invariant set of a particular π * induced by an element of this group is easy to characterize.The zero rotation has p a colorings fixed by it, namely the total number of possible paint jobs or mappings from the vertices to the pallette.Every non-zero element of p  carries each pure coloring (every vertex the same color) into itself, so there would be a such colorings fixed by the action of those rotations.But none of these

Conclusion
We have established Fermat's Little Theorem by coloring the vertices of a regular polygon and then finding the patterns that are stable under various rotations of the polygon.When the number of vertices is prime, the set of such invariant patterns is necessarily limited.This process lends itself to intuitively satisfying visualization.Burnside's Lemma then enumerates the relatively sparse

1 p.
− non-zero rotations can carry a non-pure coloring back to itself due to the indivisibility of p. Burnside's Lemma then gives us the total count of possible distinct patterns as Evidently this is a positive integer, and since p does not divide a, it must divide that determines what happens to the available colorings whenever the underlying objects in S are permuted by π .It is clear that G * is a group with the same order as G.
regarded as a mapping from the set of P-colorings of S back to itself.More mathematically, there is a group of induced maps G * that form an action on the set of colorings S P .Each G π ∈gives rise to a companion mapping T. Beatty et al.DOI: 10.4236/apm.2018.