Why are prime numbers considered special because of the properties of having whole number factors of 1 and itself? This seems rather arbitrary given the test is algorithmic and would compete with an infinite number of algorithmic tests resulting in a seemingly random selection pattern. Hope i have expressed myself adequately
1 Answer
Mostly because any non-prime integer can be factored in a unique product of prime numbers, that is: They are the atoms of the natural numbers. The same idea of primality can be expanded with a few tweaks$^{[1]}$ for polynomials, Gaussian integers, Hurwitz integers, etc.
In the case of polynomials, the factorization depends on the domain you're in $(\Bbb{R},\Bbb{Q},\dots)$ and the set of prime objects is different for each one of them. Thinking a little further, they are an interesting mathematical object which abstract the idea of mounting a certain object in which there is only one way to mount it, with certain rules, can be achieved.
An interesting and usually unusual theorem is the following:
Theorem (C. Cellitti,1914). Every $2\times 2$ matrix with integral elements can be written as a product of powers of
$$\begin{pmatrix} {1}&{1}\\ {0}&{1} \end{pmatrix} \quad \quad \quad \begin{pmatrix} {1}&{0}\\ {1}&{1} \end{pmatrix}$$
And matrices of the form
$$\begin{pmatrix} {a}&{0}\\ {0}&{1} \end{pmatrix}$$
Where $a\in \Bbb{Z}$.
This will show you that there are other sources of factorization in a way almost akin to the natural numbers. Take a look at Weintraub's: Factorization: Unique and Otherwise.
$[1]:$ See here for prime elements and here for irreducible elements. In some domains, they are different things.
-
$\begingroup$ Thanks, "They are the atoms of the natural numbers" I have seen this but it really works. Weird :-) $\endgroup$– JustinOct 3, 2016 at 22:53
-
$\begingroup$ @Justin Did you see and understand the proof of the unique factorization? $\endgroup$ Oct 4, 2016 at 1:15
-
$\begingroup$ Where do you find such interesting theorems? $\endgroup$– bjd2385Oct 6, 2016 at 21:25
-
$\begingroup$ @jm324354 Take a look at Eves': Elementary Matrix Theory. It is an interesting book because it has more theorems and ideas than proofs - but has a lot of references. I find this kind of book to be very useful if you want to make a quick map of the subject to explore the areas you find interesting later. Also, take a look of Eves' other books too, they are really worth reading. $\endgroup$ Oct 6, 2016 at 23:15
special
. Even numbers are also special in their own way. So are multiples of $7$, or perfect squares, or triangular numbers etc. $\endgroup$