Why is the definition of prime numbers written to include 2

Question

This question is often asked as "why is 2 a prime number" and the only answers I can find are "The definition of prime numbers is written in such a way that 2 is prime". Sometimes, if the question was "Why is 2 a prime number even though it's even" the answer will include some explanation that being even is not such a special property, it just means a number is divisible by two and of course two is divisible by two, that's the number itself and three is divisible by three and it's still prime and so on.

But there is something special about a number being even, and it 2 does have a special property that is not shared by any other prime number. It can be divided into equal subsets.

The answer I'm looking for will answer the question in the title and also answer: If we change the definition of a prime number, what effects does that have on mathematics theories, proofs, etc. Are certain claims that were useful and important under the old definition no longer true?

Specifically, What's the impact of changing the definition of prime to this: A prime is any integer that cannot be divided into smaller equal groups. N.B. this also changes the primeness of 1 but not any other number.

Answer 1

We define things in such a way that they have some practical use, and help us make sense of the world around us. This is exactly how words and concepts are created, and also evolve. For example, we decided to give a name to a class of objects in the sky with similar behavior: 'planets'. These objects form what a philosopher might call a 'natural' class of objects. Having labels for them allows us to talk and think about those objects more easily, helping us with explanations, predictions, doing science, and again making sense of things in general.

But like I said, definitions can evolve: Pluto is no longer considered a 'planet', because after finding out more about our solar system we realized Pluto is in significant ways different from Neptune, Jupiter, Earth, etc. That is, by putting Pluto into different (though still related) class of 'dwarf-planets', we now look at it a little differently.

The same holds for mathematical definitions. For example, we could define 'huppelflup numbers' to be exactly those numbers that can be divided by 17 or by 631 ... but there just isn't much practical use to such a definition, and so we don't.

But the way we define prime numbers has lots of practical uses. For example, with the current definition, we get the nice, clean, result that every number has a unique prime factorization. And it's not just applications within mathematics that matter: prime numbers have tremendous importance for real life as well.

Now, if we were to exclude $2$ as a prime, this would no longer be true. And a bunch of other results would likewise have to be stated in a much more cumbersome way.

And by the way, this unique prime factorization theorem is exactly why mathematicians did exclude $1$ as a prime .. even though originally it was.

So yes, you're right that it is not as if definitions are fixed until the end of time. And maybe at some point in the future we redefine the sets of primes again to also exclude $2$, because doing so will have some other advantages.

However, I wouldn't hold my breadth: the current definition is very nice.

Answer 2

$2$ is considered a prime because most of the time that turns out to be convenient. $1$ is not considered a prime for the same reason.

That being said, $2$ is definitely the oddest prime.

Answer 3

You may wish to read the 2012 Journal of Integer Sequences article What is the Smallest Prime?, by Chris K. Caldwell and Yeng Xiong. The abstract starts with

What is the first prime? It seems that the number two should be the obvious answer, and today it is, but it was not always so. There were times when and mathematicians for whom the numbers one and three were acceptable answers.

Also, as already basically stated in the comments and other answers, the Introduction says

... whether or not a number (especially unity) is a prime is a matter of definition, so a matter of choice, context and tradition, not a matter of proof. Yet definitions are not made at random; these choices are bound by our usage of mathematics and, especially in this case, by our notation.

I enjoyed reading this article & found it educational. The only thing I have to add to this article & what's already been stated here is that I also believe it's generally good to question things instead of just accepting the status quo because "that's the way it is". During my years tutoring math at university, I had a philosophy of "there's no such thing as a stupid question, only a stupid answer". What I mean is that if the person has made a reasonable effort to resolve it on their own and the question is sincere, it's deserving of a reasonable answer.

Answer 4

Concepts which use prime numbers as objects for study and consideration are learned at a much earlier stage, in acquiring mathematical maturity, than sets. I don't think you mean "group" in the way that word is used in mathematics, but even in the way you do use, it's less useful than the indivisibility definition.

Plainly, there are many primitive concepts for which the decomposition of numbers into products of indivisible factors is telling something about their properties.

And there is the principle that definitions of terms are considered good if the theorems which can be phrased and proven using those terms are as simply-stated as possible.

Answer 5

Can you clarify what definition of the prime number you are using? The one I know is

a natural number that is divisible only by itself and 1

Or a variation of it. Number 2 expressly satisfies the rule and does not require any "special" ruling to be included.

Answer 6

An addendum to the other answers:

The number $2$ is actually so special that it often is exluded from consideration. The set of primes with $2$ excluded is often referred to as the set of odd primes.

Imprecisely: We are "lucky" enough that we can describe this set using other accepted terms and expressions, otherwise we might have come up with a new name for this set.

Examples:

"Law of quadratic reciprocity — Let p and q be distinct odd prime numbers" - from Wikipedia page on Quadratic Reciprocity

"If a, b, c is a non-trivial solution to $x^p + y^p = z^p , p$ odd prime, then $y^2 = x(x − ap)(x + bp)$ (Frey curve) will be an elliptic curve" - from Wikipedia page on Fermat's last theorem.

"Let the characteristic of K be different from 2." - from Wikipedia page on Quadratic forms.