Fermat's Little Theorem

    Given a prime number and a positive integer a, Fermat's Little Theorem says that a to the p minus one power is congruent to 1 modulo p. This theorem is a special case of Euler's Theorem involving the important Euler totient function. Fermat's Little Theorem takes care of solving linear congruences with prime modulus and provides a formula for finding the solution. These ideas are illustrated below with proofs and examples. Fermat's Little Theorem has many application in cryptology including factorization of integers.  

Proposition (Fermat's Little Theorem) If fermat little theorem _gr_1.gif] is prime and fermat little theorem _gr_2.gif] is a positive integer, then  

    (i) if fermat little theorem _gr_3.gif] then fermat little theorem _gr_4.gif] and
    
    (ii) fermat little theorem _gr_5.gif]
    
    Proof. (i): Consider the fermat little theorem _gr_6.gif] integers: fermat little theorem _gr_7.gif]..., fermat little theorem _gr_8.gif] These integers have the following property: if fermat little theorem _gr_9.gif] with fermat little theorem _gr_10.gif] then fermat little theorem _gr_11.gif] because fermat little theorem _gr_12.gif] Therefore, these integers must be congruent modulo fermat little theorem _gr_13.gif] to fermat little theorem _gr_14.gif] taken in some order. Multiplying all of these congruence together we find that
    
fermat little theorem _gr_15.gif]

and since fermat little theorem _gr_16.gif] we have fermat little theorem _gr_17.gif] as desired.
    (ii): If fermat little theorem _gr_18.gif] then by (i) we have fermat little theorem _gr_19.gif] and so fermat little theorem _gr_20.gif]. If fermat little theorem _gr_21.gif] then fermat little theorem _gr_22.gif] and so in either case we have fermat little theorem _gr_23.gif] as desired. fermat little theorem _gr_24.gif]

Example (Fermat's Little Theorem - Illustrating the Proof of) Illustrate why fermat little theorem _gr_25.gif]

    Solution. Fermat's Little Theorem states that fermat little theorem _gr_26.gif] To illustrate why this is true,  let fermat little theorem _gr_27.gif] and fermat little theorem _gr_28.gif] Notice that fermat little theorem _gr_29.gif] and

fermat little theorem _gr_30.gif]
    
Consequently, we have,

fermat little theorem _gr_31.gif]

Whence, fermat little theorem _gr_32.gif] fermat little theorem _gr_33.gif]

Example (Fermat's Little Theorem - Illustrating How to Use) Use Fermat Little Theorem to show that

fermat little theorem _gr_34.gif]

when fermat little theorem _gr_35.gif] and fermat little theorem _gr_36.gif]are distinct primes.

    Solution. By Fermat's Little Theorem we have fermat little theorem _gr_37.gif] and fermat little theorem _gr_38.gif];  thus we consider the system
    
fermat little theorem _gr_39.gif]

Using the Chinese Remainder Theorem we have,
    
fermat little theorem _gr_40.gif]

Finally since fermat little theorem _gr_41.gif],  we have fermat little theorem _gr_42.gif] as desired. fermat little theorem _gr_43.gif]

Example (Fermat's Little Theorem - Converse Is Not True) Compute fermat little theorem _gr_44.gif] modulo fermat little theorem _gr_45.gif] to show that the converse of Fermat's Little Theorem is not true.

    Solution. Since fermat little theorem _gr_46.gif], if the converse of Fermat's Little Theorem were true then fermat little theorem _gr_47.gif] would be prime. However, fermat little theorem _gr_48.gif] and so the converse of Fermat Little Theorem is not true. fermat little theorem _gr_49.gif]

Proposition (Inverse Modulo a Prime) If fermat little theorem _gr_50.gif] is a prime and fermat little theorem _gr_51.gif] is an integer such that fermat little theorem _gr_52.gif] then fermat little theorem _gr_53.gif] is an inverse of fermat little theorem _gr_54.gif] modulo fermat little theorem _gr_55.gif]    

    Proof. By Fermat's Little Theorem we know that fermat little theorem _gr_56.gif] and so fermat little theorem _gr_57.gif] Therefore, fermat little theorem _gr_58.gif]  is an inverse of fermat little theorem _gr_59.gif] modulo fermat little theorem _gr_60.gif] fermat little theorem _gr_61.gif]

Example (Inverse Modulo a Prime) Find the inverse of fermat little theorem _gr_62.gif] modulo fermat little theorem _gr_63.gif]

    Solution. Since fermat little theorem _gr_64.gif] and fermat little theorem _gr_65.gif] We see that fermat little theorem _gr_66.gif] and so fermat little theorem _gr_67.gif] is the inverse of fermat little theorem _gr_68.gif] modulo fermat little theorem _gr_69.gif] fermat little theorem _gr_70.gif]

Proposition (Linear Congruence Modulo a Prime) If fermat little theorem _gr_71.gif] and fermat little theorem _gr_72.gif] are positive integers and fermat little theorem _gr_73.gif] is a prime with fermat little theorem _gr_74.gif] then the solutions of the linear congruence fermat little theorem _gr_75.gif] are the integers fermat little theorem _gr_76.gif] such that fermat little theorem _gr_77.gif]

    Proof. Since fermat little theorem _gr_78.gif] is the inverse of fermat little theorem _gr_79.gif] modulo fermat little theorem _gr_80.gif] we have

fermat little theorem _gr_81.gif]

by Fermat's Little Theorem.   fermat little theorem _gr_82.gif]

Example (Linear Congruence Modulo a Prime) Solve the two linear congruences fermat little theorem _gr_83.gif] and fermat little theorem _gr_84.gif]

    Solution. By Fermat's Little Theorem we have fermat little theorem _gr_85.gif] and fermat little theorem _gr_86.gif]; so fermat little theorem _gr_87.gif] is the solution to fermat little theorem _gr_88.gif] and fermat little theorem _gr_89.gif] is the solution to fermat little theorem _gr_90.gif] fermat little theorem _gr_91.gif]

Cite this as:
Fermat Little Theorem
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/fermat-little-theorem.html
 
    
Library of Math
Online Math Organized by Subject Into Topics
math search
Library of Math AddThis Feed Button
The Library of Math - Online Math Organized by Subject Into Topics.
© 2005 - 2008 www.LibraryOfMath.com All rights reserved.
about us | feedback | privacy policy | terms of use | mision statement | help

Page copy protected against web site content infringement by Copyscape Valid CSS! Valid HTML 4.01 Transitional Subscribe to the Library of Math Feed
Art & Photography Shop | Being Healthy Shop | Best Sports Mall | Cafe Food Lover | Cafe Gift Shop | Cafe Internet Shop | Career Archives | City Annals
Countries Shop | Crazy Kids World | Dallas Cowboys Football Shop | Headline News Shop | Heart Boutique | Lover of Pets | Military Support Store
Musical Boutique | Online Math Store | Political Ramblings | Shop by Auction | Shop of Learning | Shop of Technology | Shop of Travels | Special Occasion Shop
Store of Hobbies | Theology Store | USA States Shop | Your Animal Store | Your Fitness World | Your Funny Store | Your Science Store