The Green-Tao Theorem and the Infinitude of Primes in Domains

We first prove an elementary analogue of the Green-Tao Theorem. The celebrated Green-Tao Theorem states that there are arbitrarily long arithmetic progressions in the set of prime numbers. In fact, we show the Green-Tao Theorem for polynomial rings over integral domains with several variables. Using the Generalized Polynomial van der Waerden Theorem, we also prove that in an infinite unique factorization domain, if the cardinality of the set of units is strictly less than that of the domain, then there are infinitely many prime elements. Moreover, we deduce the infinitude of prime numbers in the positive integers using polynomial progressions of length three. In addition, using unit equations, we provide two more proofs of the infinitude of prime numbers. Finally, we give a new proof of the divergence of the sum of reciprocals of all prime numbers.