Prime numbers are arguably the superstars of number theory. They are the building blocks from which we get every other number, as we will see. In this post, we will define prime numbers, prove several known results, and field many, many open problems related to them.
Definition 1. Let be any integer. We say that
divides
, denoted
, if there exists an integer
such that
. For other nomenclature, we say that
is a divisor or a factor of
.
It is obvious that is a factor of any integer
. Furthermore, any number
is a factor of
. It is also obvious that
if and only if
. Henceforth, unless it is useful to consider negatives, we will assume
.
We will need several divisibility results in the course of our study of number theory. This is by no means exhaustive, but is certainly useful for our discussions.
Theorem 1. We have the following divisibility properties.
- For integers
,
and
implies
.
- For integers
,
implies
.
- For integers
,
and
implies
.
- For positive integers
,
implies
.
- For positive integers
,
and
implies
.
Proof. For the first result, find integers such that
and
. Then
Therefore, . The second result follows similarly, and the third result arises from repeated applications of the first two results. For the fourth result, find an integer
, such that
The final result follows from and
.
Prime numbers are numbers that can only be divided by either or itself. We formalise their definition as follows.
Definition 2. Let be a positive integer. We say that
is composite if it has at least one divisor
. We say that
is prime if it is not composite.
Lemma 1 describes an equivalent formulation of a prime number.
Lemma 1. A positive integer is prime if and only if for any positive integer
, if
, then
or
.
Can all numbers be written as a product of primes? This is the famed fundamental theorem of arithmetic, which we will first state, but only prove later on.
Theorem 2. For any number such that
, there exist primes
such that
Proof. We prove this result independently here.
The full theorem asserts a stronger result, that the decomposition into primes is unique. Immediately, we can state a rather surprising result.
Theorem 3. There are infinitely many primes.
Proof. Suppose, for a contradiction, that there are only finitely many primes . Consider the number
. Since
for any
,
is not prime.
Therefore, is composite. By the fundamental theorem of arithmetic, there exists some
such that
. Since it is obvious that
, we have
so that
. Hence,
, a contradiction.
Thus, we contradicted the claim that there are only finitely many primes. Therefore, there are infinitely many primes.
The first few primes are , so on and so forth. The record for the largest known prime keeps getting larger, and has at least
digits. A seemingly related question pertains twin primes. A pair
of consecutive primes are twin if
. For instance,
,
, and
are twin primes. The question is simple.
Conjecture 1. There are infinitely many pairs of twin primes.
This is a conjecture, known uncreatively as the twin prime conjecture, since there is no known proof of the result yet. So far, teams of mathematicians have found infinitely many pairs of primes with , where
. As of writing this, the current smallest unconditional record for
is
. If further mathematical results are proven, the number shrinks further to
and even
.
Another conjecture seems straightforward to prove, yet due to our collective skill issue, has not. This conjecture is straightforward: observe that ,
,
, so on and so forth. Notice that each even number listed is the sum of two primes. That is the conjecture, known as Goldbach’s conjecture.
Conjecture 2. For any positive even integer , there exist primes
such that
.
It seems loomingly stunning that as straightforward as our definition of a prime number is, we really don’t know a lot about them. There’s even a one-million-dollar-problem on the table that is intimately connected with locating these primes.
Intuitively, the reason for this difficulty is that a prime number is defined in opposition to a composite number:
- A number is composite if it has smaller parts; a number is prime if it does not.
- A number is rational if roughly speaking it can be written as a fraction of integers; a number is irrational if it is not rational.
- In the more advanced topic of topology, a topological space is disconnected if it can be separated but connected if it is not disconnected.
In general, it is easier to work with mathematical ideas that are explicitly defined, rather than ideas that are implicitly defined (i.e. it is the opposition of something else), and prime numbers are no exception to that general rule.
Welcome to number theory—easy-to-state problems with not-easy-at-all solutions, if any. To discusss discrete mathematics, we will keep the problems relatively solvable.
—Joel Kindiak, 13 Nov 24, 1722H
Leave a comment