Straight Dope Message Board (https://boards.straightdope.com/sdmb/index.php)
-   General Questions (https://boards.straightdope.com/sdmb/forumdisplay.php?f=3)

 Moris 06-26-2019 12:12 PM

Mathematicians: what's so special about evenness?

From Wikipedia:

In mathematics, parity is the property of an integer's inclusion in one of two categories: even or odd. An integer is even if it is divisible by two and odd if it is not even.

Fine. But, is there anything more to it? I mean, 2 is the "only even prime number". That's like saying "2 is the only prime number divisible by two". Is that more remarkable than 3 being the only prime number divisible by three?

Even integer on number line is always followed by odd integer. But then again, integer divisible by 3 or 7 or n is always followed by non-divisible integer n-1 times, so...

What I'm clumsily trying to say is: if we ignore cultural and historical references and capability of our brains to handle pattern of smallish numbers and sets, is "being even" meaning anything more than "being divisible by two" from purely mathematical standpoint?

 Chronos 06-26-2019 12:19 PM

Sometimes it's relevant that a number is divisible by two. Sometimes it's relevant that a number is divisible by three, or four, or some other number. But the larger the factor, the less common it is for divisibility to be relevant. 2 is the smallest nontrivial factor, so divisibility by 2 is more often relevant than the others.

 ftg 06-26-2019 01:22 PM

In terms of just the straightforward even/odd thing it's just a handy way to split the integers into two groups. There's a lot* of ways of doing this, of course. E.g., prime and non-prime.

Superficially even numbers are not more "special" than odd numbers. It turns out that a lot of theorems are going to mention "even" somewhere along the way than they do "odd".

It's like how we use the "prime" a lot more than we use "non-prime"/"composite". We're not trying to use one over the other.

That's just the way Math rolls. Some properties gets used/referred to more than others. It's an inherent property of these systems.

And if you're talking my field, Computer Science, evenness is inherently built into the base of the thing. It all comes down to 2s.

* Understatement of the mega-millennium.

 DPRK 06-26-2019 02:32 PM

I'm sure we can come up with any number of theorems which require one to distinguish between even and odd primes. For example, try investigating the number of distinct solutions to x2 = a (mod p), or formulating a quadratic reciprocity theorem.

 Hari Seldon 06-27-2019 09:19 AM

There are bunches of theorems that start, "Let p be an odd prime, then ..." that fail for two. The standard proof that every number is a sum of four squares (which needs to be proved only for primes) starts out by showing that some multiple kp, with k < p, is a sum of four squares and then takes two different paths depending on whether k is odd or even.

 Topologist 06-27-2019 12:18 PM

As others have said, sometimes 2 behaves differently from the odd primes and sometimes it doesn't. In my own work, the difference often comes from the fact that, working modulo 2, we always have -x = x, which is not true working modulo an odd prime.

Here's a specific case where that makes a difference. I often work with systems that are anticommutative, meaning that there's a multiplication with yx = -xy. Looking at the case where y = x, that means that x2 = -x2. That's fine and always true mod 2, but mod an odd prime it means that we have to have x2 = 0. The latter puts a significant restriction on what anticommutative structures are possible mod an odd prime that isn't present working mod 2.

 Derleth 06-27-2019 12:28 PM

Quote:
 Originally Posted by Topologist (Post 21720987) Here's a specific case where that makes a difference. I often work with systems that are anticommutative, meaning that there's a multiplication with yx = -xy. Looking at the case where y = x, that means that x2 = -x2. That's fine and always true mod 2, but mod an odd prime it means that we have to have x2 = 0. The latter puts a significant restriction on what anticommutative structures are possible mod an odd prime that isn't present working mod 2.
Interesting. I'm familiar with Clifford algebras, specifically geometric and spacetime algebra, which are simply the three-dimensional Clifford algebra and the four-dimensional Clifford algebra with the Minkowski metric, respectively. In those algebras, vector multiplication is anticommutative but x2 for x some vector of grade 1 or higher isn't 0, it's simply the dot product; if x is a basis vector, it's either 1 or -1, depending on the metric.

The only place I already knew about where x2 = 0 is in a form of nonstandard analysis where d2 = 0, such that differentiation can be done algebraically.

 Chronos 06-27-2019 01:19 PM

Aren't the integers mod 2 a pretty trivial arithmetic to be doing anything with, though?

 Topologist 06-27-2019 07:02 PM

Quote:
 Originally Posted by Chronos (Post 21721154) Aren't the integers mod 2 a pretty trivial arithmetic to be doing anything with, though?
Not when you're using the field F2 with two elements as your base field and working with algebras over F2 or the like. Lots of very rich structures possible. Think of them as algebraic systems in which twice something happens to always be 0.

Quote:
 Originally Posted by Derleth (Post 21721016) Interesting. I'm familiar with Clifford algebras, specifically geometric and spacetime algebra, which are simply the three-dimensional Clifford algebra and the four-dimensional Clifford algebra with the Minkowski metric, respectively. In those algebras, vector multiplication is anticommutative but x2 for x some vector of grade 1 or higher isn't 0, it's simply the dot product; if x is a basis vector, it's either 1 or -1, depending on the metric. The only place I already knew about where x2 = 0 is in a form of nonstandard analysis where d2 = 0, such that differentiation can be done algebraically.

I deliberately left out a lot of detail. In algebraic topology we often work with rings graded on the integers (or more exotic things), and those rings are anticommutative in the sense that yx = (-1)deg x • deg y xy. So you get a negative sign if both x and y lie in odd grading, but if either lies in even grading the product is commutative. This means, for example, that if you want to define something like a polynomial algebra Fp[x] with x in a nonzero grading, if p is odd and you want x to have grading 1, you can only get a truncated algebra, with x2 = 0. On the other hand, if p = 2, you can have x in grading 1 and get a full polynomial algebra.

 All times are GMT -5. The time now is 04:16 AM.