# One and Prime Numbers.

**URL:** <https://boards.straightdope.com/t/one-and-prime-numbers/777464>\
**Category:** Factual Questions\
**Created:** [January 18, 2017, 1:23pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464 "2017-01-18T13:23:07Z")\
**Posts on this page:** 17\
**Page:** 1

<div class="post-metadata">

**Author:** ![Jim\_B](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/jim_b/32/4338_2.png) [@Jim\_B](https://boards.straightdope.com/u/Jim_B)\
**Post date:** [January 18, 2017, 1:23pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/1 "2017-01-18T13:23:07Z")

</div>

Why isn’t the number one (1) considered a prime number?

Prime numbers are any number not perfectly divisible by any other number, except themselves, and one.

I get the idea. One is perfectly divisible by one. But isn’t that just unavoidable? It has to be divisible by one, because it _is_ one.

Also, are prime numbers universal? I mean, would an alien on another planet think one is not a prime number? Or _would_ he?

:):)🙂

---

<div class="post-metadata">

**Author:** ![Andy\_L](https://avatars.discourse-cdn.com/v4/letter/a/c67d28/32.png) [@Andy\_L](https://boards.straightdope.com/u/Andy_L)\
**Post date:** [January 18, 2017, 1:29pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/2 "2017-01-18T13:29:08Z")

</div>

It’s somewhat arbitrary - there have been mathematicians who considered 1 to be prime. However, it’s convenient to be able to state that all integers are the product of a unique set of prime factors - and if you allow 1 to be prime, you can’t say that (6 would equal 3_2_1 or 3_2_1_1_1 or an infinite number of other decompositions). See here for more [Fundamental theorem of arithmetic - Wikipedia](https://en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic)

---

<div class="post-metadata">

**Author:** ![Thudlow\_Boink](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/thudlow_boink/32/320_2.png) [@Thudlow\_Boink](https://boards.straightdope.com/u/Thudlow_Boink)\
**Post date:** [January 18, 2017, 2:15pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/3 "2017-01-18T14:15:44Z")

</div>

To expand on what **Andy L** said, from [Wolfram Mathworld](http://mathworld.wolfram.com/PrimeNumber.html):

> [@](#):
>
> The number 1 is a special case which is considered neither prime nor composite (Wells 1986, p. 31). Although the number 1 used to be considered a prime (Goldbach 1742; Lehmer 1909, 1914; Hardy and Wright 1979, p. 11; Gardner 1984, pp. 86-87; Sloane and Plouffe 1995, p. 33; Hardy 1999, p. 46), it requires special treatment in so many definitions and applications involving primes greater than or equal to 2 that it is usually placed into a class of its own. A good reason not to call 1 a prime number is that if 1 were prime, then the statement of the fundamental theorem of arithmetic would have to be modified since “in exactly one way” would be false because any n=n·1. In other words, unique factorization into a product of primes would fail if the primes included 1. A slightly less illuminating but mathematically correct reason is noted by Tietze (1965, p. 2), who states “Why is the number 1 made an exception? This is a problem that schoolboys often argue about, but since it is a question of definition, it is not arguable.” As more simply noted by Derbyshire (2004, p. 33), “2 pays its way [as a prime] on balance; 1 doesn’t.”

Primes are the building blocks of numbers in much the way elements are the building blocks of chemical compounds: just as water is H[sub]2[/sub]O, 50 is 2\*5[sup]2[/sup].

If it helps, you can think of 1 as “invisible,” a “do-nothing” when it comes to multiplication and division (which is what primes have to do with). It’s not a prime; it’s not a composite; it’s _nothing_. (Mathematically speaking, it’s the _identity_.)

---

<div class="post-metadata">

**Author:** ![ftg](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ftg/32/2801_2.png) [@ftg](https://boards.straightdope.com/u/ftg)\
**Post date:** [January 18, 2017, 2:17pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/4 "2017-01-18T14:17:21Z")

</div>

> [@Jim\_B](#):
>
> Also, are prime numbers universal? I mean, would an alien on another planet think one is not a prime number?

The beauty and simplicity of excluding 1 as a prime for such things as the Fundamental Theorem of Arithmetic strongly suggests that anyone with a human-like intelligence would favor 1 is not a prime. It really helps a lot.

Otherwise you’d be saying “All integers 2 or greater have a unique factorization into primes other than 1.” And this “other than 1” would be repeated on page after page of their version of [Hardy and Wright](https://en.wikipedia.org/wiki/An_Introduction_to_the_Theory_of_Numbers).

But maybe some reasonably civilized group of aliens just didn’t care about number theory and primes. They focused on real numbers, calculus, etc. So they never really thought about it. Or maybe they considered 1 a prime so early on that it would have been culturally difficult to change things when they realize later it was a mistake. (E.g., we really, really should have had zero as a natural number right away. It would have made a lot of things easier.)

Note that there are other algebras where there’s a concept of primeness. What if the aliens had quickly jumped to using one of these? But even then for anything useful in general, 1 shouldn’t be a prime. (Although several primes become composite.)

---

<div class="post-metadata">

**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\
**Post date:** [January 18, 2017, 3:59pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/5 "2017-01-18T15:59:03Z")

</div>

It is also related to the fact that the product of the empty set of numbers is 1 and that the zeroth power of every positive number is 1. That convention is required for various formulas to hold. There are deeper reasons, but they all point in the same direction: 1 is not prime.

---

<div class="post-metadata">

**Author:** ![Blue\_Blistering\_Barnacle](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/blue_blistering_barnacle/32/3386_2.png) [@Blue\_Blistering\_Barnacle](https://boards.straightdope.com/u/Blue_Blistering_Barnacle)\
**Post date:** [January 18, 2017, 4:59pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/6 "2017-01-18T16:59:31Z")

</div>

This has been helpful to me. Like OP, I’ve often felt that excluding “1” from primes seemed rather arbitrary.

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [January 19, 2017, 12:32am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/7 "2017-01-19T00:32:07Z")

</div>

> [@](#):
>
> Or maybe they considered 1 a prime so early on that it would have been culturally difficult to change things when they realize later it was a mistake.

Sort of like our situation with pi. The ratio of circumference to radius (sometimes called “tau”, 6.283…) is a much more natural quantity to work with, since the radius is a much more natural description of a circle than diameter. But pi is so firmly established now that it’s going to be awfully hard to change.

---

<div class="post-metadata">

**Author:** ![friedo](https://avatars.discourse-cdn.com/v4/letter/f/8edcca/32.png) [@friedo](https://boards.straightdope.com/u/friedo)\
**Post date:** [January 19, 2017, 1:43am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/8 "2017-01-19T01:43:22Z")

</div>

> [@Hari\_Seldon](#):
>
> [T]he product of the empty set of numbers is 1 and… the zeroth power of every positive number is 1.

Aren’t those two statements equivalent?

---

<div class="post-metadata">

**Author:** ![markn\_1](https://avatars.discourse-cdn.com/v4/letter/m/f9ae1b/32.png) [@markn\_1](https://boards.straightdope.com/u/markn_1)\
**Post date:** [January 19, 2017, 1:52am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/9 "2017-01-19T01:52:35Z")

</div>

> [@Chronos](#):
>
> Sort of like our situation with pi. The ratio of circumference to radius (sometimes called “tau”, 6.283…) is a much more natural quantity to work with, since the radius is a much more natural description of a circle than diameter.

Eh, there are [arguments for tau](http://tauday.com/tau-manifesto) and there are equally (or to my mind, more) [compelling arguments for pi](http://www.thepimanifesto.com/), especially when you leave the highly restricted topic of geometric circles and look at how pi (or tau) is used elsewhere in mathematics.

Of course, the logical solution is [a compromise](https://www.xkcd.com/1292/).

---

<div class="post-metadata">

**Author:** ![glowacks](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/glowacks/32/5548_2.png) [@glowacks](https://boards.straightdope.com/u/glowacks)\
**Post date:** [January 19, 2017, 2:06am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/10 "2017-01-19T02:06:29Z")

</div>

> [@markn\_1](#):
>
> Eh, there are [arguments for tau](http://tauday.com/tau-manifesto) and there are equally (or to my mind, more) [compelling arguments for pi](http://www.thepimanifesto.com/), especially when you leave the highly restricted topic of geometric circles and look at how pi (or tau) is used elsewhere in mathematics.
> 
> Of course, the logical solution is [a compromise](https://www.xkcd.com/1292/).

I don’t know if you intended this, but that URL attempting to explain the pi side of the argument doesn’t lead anywhere interesting. I might say that such a fact sums up most of the “arguments” in favor of pi as far as I’m concerned. That’s not a debate that should be in this thread though, but I would be interested if people have attempted to logically defend pi and pry it off that multiple of 2 that it’s so attracted it.

---

<div class="post-metadata">

**Author:** ![markn\_1](https://avatars.discourse-cdn.com/v4/letter/m/f9ae1b/32.png) [@markn\_1](https://boards.straightdope.com/u/markn_1)\
**Post date:** [January 19, 2017, 2:13am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/11 "2017-01-19T02:13:03Z")

</div>

I’m not sure what you mean. This is the URL:  
[http://www.thepimanifesto.com/](http://www.thepimanifesto.com/)

Are you saying you can’t see that page, or you just don’t agree with the arguments?

---

<div class="post-metadata">

**Author:** ![Chronos](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/chronos/32/134_2.png) [@Chronos](https://boards.straightdope.com/u/Chronos)\
**Post date:** [January 19, 2017, 2:47am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/12 "2017-01-19T02:47:00Z")

</div>

Half of the Pi Manifesto is devoted to the fact that the area formula for a circle, using pi, is A = pi_r^2. But as soon as you state that formula, you’ve already conceded the argument, because from a pi-ist point of view, the area formula is instead A = pi_D^2/4. At first blush, this looks about as bad as the tau-ist formula A = tau\*r^2/2. But the tau-ist formula is superior, because the factor of 1/2 actually makes sense in that formula: It’s the same factor of 1/2 that shows up in the formula for the area of a triangle.

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [January 19, 2017, 3:39am UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/13 "2017-01-19T03:39:49Z")

</div>

Also, it means there would be lots of ways of factoring any number…

5 = 5_1 = 5_1_1 = 5_1_1_1 etc.

---

<div class="post-metadata">

**Author:** ![Hari\_Seldon](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/hari_seldon/32/5173_2.png) [@Hari\_Seldon](https://boards.straightdope.com/u/Hari_Seldon)\
**Post date:** [January 19, 2017, 2:41pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/14 "2017-01-19T14:41:50Z")

</div>

> [@friedo](#):
>
> Aren’t those two statements equivalent?

Of course.

---

<div class="post-metadata">

**Author:** ![ftg](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ftg/32/2801_2.png) [@ftg](https://boards.straightdope.com/u/ftg)\
**Post date:** [January 19, 2017, 5:59pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/16 "2017-01-19T17:59:07Z")

</div>

> [@Trinopus](#):
>
> Also, it means there would be lots of ways of factoring any number…
> 
> 5 = 5_1 = 5_1_1 = 5_1_1_1 etc.

See the second post.

---

<div class="post-metadata">

**Author:** ![Trinopus](https://avatars.discourse-cdn.com/v4/letter/t/2bfe46/32.png) [@Trinopus](https://boards.straightdope.com/u/Trinopus)\
**Post date:** [January 19, 2017, 7:28pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/17 "2017-01-19T19:28:25Z")

</div>

> [@ftg](#):
>
> See the second post.

I missed that. (Why do you bother posting something like this?)

---

<div class="post-metadata">

**Author:** ![ftg](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/ftg/32/2801_2.png) [@ftg](https://boards.straightdope.com/u/ftg)\
**Post date:** [January 19, 2017, 9:51pm UTC](https://boards.straightdope.com/t/one-and-prime-numbers/777464/18 "2017-01-19T21:51:44Z")

</div>

> [@Trinopus](#):
>
> I missed that. (Why do you bother posting something like this?)

A lot of people here point out these sort of things. I’ve been on the receiving several times myself. I find it to be a useful reminder to try and be more careful in the future.
