I was reading about how we stopped considering the number $1$ as prime since this would mean the fundamental theorem of arithmetic wouldn't apply any more (since we can repeat the number $1$ over and over again and then the factorization wouldn't be unique) however, this got me wondering about the unique factorization of $1$ itself and I found out that we call it the "empty product" but what is the point of this? If the point from removing $1$ from the list of the prime numbers was to not make it an exception while stating this theorem and some others but this added another definition to make up for it so it feels like there was no point in doing it in the first place. Is there any other reason why we removed $1$ from the list of primes and made this?
What’s the point of removing $1$ from the list of primes and having an empty product in the fundamental theorem of arithmetic
number theoryprime factorizationprime numbers
Best Answer
There is actually a more fundamental reason why we exclude $1$. Primes are usually defined (in any integral domain $R$) as $p \in R$ such that whenever $p | ab$ then $p | a$ or $p | b$.
However, this definition always excludes units. Since units divide everything, every unit would be trivially a prime. This is because we generally want to aim for unique prime factorization. That is, for any $n \in R$ we want a unique list of distinct primes $p_1,..., p_k$ and positive integers $\alpha_1,..., \alpha_k$ such that
$$ n = \prod_{i=1}^k p_i ^{\alpha_i} $$
If $1$ was a prime, then we would have $1 = 1^2 = 1^3 = ...$ so we lose uniqueness. Unique prime factorization can be useful for many arguments and if we count primes as units we would always have infinitely many factorizations.