The following proof was provided/explained to me by @grassmanian on twitter. I thank him again for the support. Unfortunately, neither he nor I have found a way to show that each maximal ideal of contains a unique prime number without using the fact that is a PID, hence the mostly in the title. We beginContinue reading “A (mostly) purely algebraic proof of the infinitude of prime numbers”