Difference between revisions of "Wilson's Theorem"
(mild rewrite) |
Armalite46 (talk | contribs) (→Elementary proof) |
||
Line 7: | Line 7: | ||
The converse of this statement is more interesting. We provide two proofs: an elementary one that rests close to basic principles of [[modular arithmetic]], and an elegant method that relies on more powerful algebraic tools. | The converse of this statement is more interesting. We provide two proofs: an elementary one that rests close to basic principles of [[modular arithmetic]], and an elegant method that relies on more powerful algebraic tools. | ||
− | + | ==Elementary proof == | |
Suppose <math>p</math> is a prime. Then each of the integers <math>1, \dotsc, p-1</math> has an inverse modulo <math>p</math>. (Indeed, if one such integer <math>a</math> does not have an inverse, then for some distinct <math>b</math> and <math>c</math> modulo <math>p</math>, <math>ab \equiv ac \pmod{p}</math>, so that <math>a(b-c)</math> is a multiple of <math>p</math>, when <math>p</math> does not divide <math>a</math> or <math>b-c</math>—a contradiction.) This inverse is unique, and each number is the inverse of its inverse. If one integer <math>a</math> is its own inverse, then | Suppose <math>p</math> is a prime. Then each of the integers <math>1, \dotsc, p-1</math> has an inverse modulo <math>p</math>. (Indeed, if one such integer <math>a</math> does not have an inverse, then for some distinct <math>b</math> and <math>c</math> modulo <math>p</math>, <math>ab \equiv ac \pmod{p}</math>, so that <math>a(b-c)</math> is a multiple of <math>p</math>, when <math>p</math> does not divide <math>a</math> or <math>b-c</math>—a contradiction.) This inverse is unique, and each number is the inverse of its inverse. If one integer <math>a</math> is its own inverse, then |
Revision as of 15:05, 5 August 2013
Wilson's Theorem is a result in elementary number theory. It states that if is in integer, then is a multiple of if and only if is a prime.
Contents
Proofs
Suppose first that is composite. Then has a factor that is less than or equal to . Then divides , so does not divide . Therefore does not divide .
The converse of this statement is more interesting. We provide two proofs: an elementary one that rests close to basic principles of modular arithmetic, and an elegant method that relies on more powerful algebraic tools.
Elementary proof
Suppose is a prime. Then each of the integers has an inverse modulo . (Indeed, if one such integer does not have an inverse, then for some distinct and modulo , , so that is a multiple of , when does not divide or —a contradiction.) This inverse is unique, and each number is the inverse of its inverse. If one integer is its own inverse, then so that or . Thus we can partition the set into pairs such that . It follows that is the product of these pairs times . Since the product of each pair is conguent to 1 modulo , we have as desired.
Algebraic proof
Let be a prime. Consider the field of integers modulo . By Fermat's Little Theorem, every nonzero element of this field is a root of the polynomial Since this field has only nonzero elements, it follows that Now, either , in which case for any integer , or is even. In either case, , so that If we set equal to 0, the theorem follows.
Problems
Introductory
- Let be an integer such that . Find the remainder when is divided by .
Advanced
- If is a prime greater than 2, define . Prove that is divisible by . <url>Forum/viewtopic.php?&t=21733 Solution</url>
- Let be a prime number such that dividing by 4 leaves the remainder 1. Show that there is an integer such that is divisible by .