Prime number/Citable Version

From Citizendium
< Prime number
Revision as of 08:47, 6 April 2007 by imported>Jitse Niesen (→‎Unique Factorization: a bit more explicit and connect with the two definitions)
Jump to navigation Jump to search

A prime number is a whole number (i.e., one having no fractional or decimal part) that cannot be evenly divided by any numbers but 1 and itself. The first few prime numbers are 2, 3, 5, 7, 11, 13, and 17. With the exception of , all prime numbers are odd numbers, but not every odd number is prime. For example, and , so neither 9 nor 15 is prime. The study of prime numbers has a long history, going back to ancient times, and it remains an active part of number theory (a branch of mathematics) today. It is commonly believed that the study of prime numbers is an interesting, but not terribly useful, area of mathematical research. While this used to be the case, the theory of prime numbers has important applications now. Understanding properties of prime numbers and their generalizations is essential to modern cryptography, and to public key ciphers that are crucial to Internet commerce, wireless networks and, of course, military applications. Less well known is that other computer algorithms also depend on properties of prime numbers.

Definition

Prime numbers are usually defined to be positive integers (other than 1) with the property that they are only (evenly) divisible by 1 and themselves. In other words, a number is said to be prime if there are exactly two such that , namely and .


There is another way of defining prime numbers, and that is that a number is prime if whenever it divides the product of two numbers, it must divide one of those numbers. A nonexample (if you will) is that 4 divides 12, but 4 does not divide 2 and 4 does not divide 6 even though 12 is 2 times 6. This means that 4 is not a prime number. We may express this second possible definition in symbols (a phrase commonly used to mean "in mathematical notation") as follows: A number is prime if for any such that (read p divides ab), either or . If the first characterization of prime numbers is taken as the definition, the second is derived from it as a theorem, and vice versa.

Aside on mathematical notation: The second sentence above is a translation of the first into mathematical notation. It may seem difficult at first (perhaps even a form of obfuscation!), but mathematics relies on precise reasoning, and mathematical notation has proved to be a valuable, if not indispensible, aid to the study of mathematics. It is commonly noted while ancient Greek mathematicians had a good understanding of prime numbers, and indeed Euclid was able to show that there are infinitely many prime numbers, the study of prime numbers (and algebra in general) was hampered by the lack of a good notation, and this is one reason ancient Greek mathematics (or mathematicians) excelled in geometry, making comparatively less progress in algebra and number theory.

Unique Factorization

Every integer N > 1 can be written in a unique way as a product of prime factors, up to reordering. to see why this is true, assume that N can be written as a product of prime factors in two ways

We may now use a technique known as mathematical induction to show that the two prime decompositions are really the same.

Consider the prime factor . We know that

Using the second definition of prime numbers, it follows that divides one of the q-factors, say . Using the first definition, is in fact equal to

Now, if we set , we may write

and

where the circumflex ("hat symbol") indicates that is not part of the prime factorization of .

Continuing this way, we obtain a sequence of numbers where each is obtained by dividing by a prime factor. In particular, we see that and that there is some permutation ("rearrangement") σ of the indices such that . Said differently, the two factorizations of N must be the same up to a possible rearrangement of terms.

There are infinitely many primes

One basic fact about the prime numbers is that there are infinitely man of them. In other words, the list of prime numbers 2, 3, 5, 7, 11, 13, 17, ... doesn't ever stop. There are a number of ways of showing that this is so, but one of the oldest and most familiar proofs goes back go Euclid.

Euclid's Proof

Suppose the set of prime numbers is finite, say , and let

then for each we know that (because the remainder is 1). This means that N is not divisible by an prime, which is impossible. This contradiction shows that our assumption that there must only be a finite number of primes must have been wrong and thus proves the theorem.

Euler's Proof

The Swiss mathematician Leonhard Euler showed how the existence of infinitely many primes could be demostrated using a rather different approach. The starting point is the fact that the harmonic series

diverges. That is, for any , we can choose n such that

A second fact we will need about infinite series is that if

Now, unique factorization gives us

where the sum on the left is the harmonic series, and the product on the right is extended over all primes p. Now, if there are only finitely many primes, the product on the right has a (finite) value, but the harmonic series (the sum on the left) diverges. This shows that there must be infinitely many primes, after all.

Remark: One might well wonder what point there is in offering multiple proofs of the same result. After all, isn't one enough? In mathematics, the point of writing a proof is not so much to establish that something is true, but to understand why it is true. Euclid's proof is purely algebraic, and ultimately depends on the fact that prime numbers can be characterized in two different ways. Euler's proof, on the other hand, makes use of a couple of facts about infinite series combined with the unique factorization property establishe above. What is interesting is that these two proofs (and there are many others) use ideas from very different parts of mathematics to arrive at the same result. One has the feeling that this is evidence of particularly deep interconnections between different parts of mathematics.