Toward an arithmetic of polynomials

For R a commutative ring, which may have divisors of zero but which has no idempotents other than zero and one, we consider the problem of unique factorization of a polynomial with coefficients in R. We prove that, if the polynomial is separable, then such a unique factorization exists. We also define a Legendre symbol for a separable polynomial and a prime of commutative ring with exactly two idempotents in such a way that the symbols of classical number theory are subsumed. We calculate this symbol for R = Q in two cases where it has classically been of interest, namely quadratic extensions and cyclotomic extensions. We then calculate it in a situation which is new, namely the so called generalized cyclotomic extensions from a paper by S. Beale and D. K. Harrison. We study the Galois theory in the general ring situation and in particular define a category of separable polynomials (this is an extension of a paper by D. K. Harrison and M. Vitulli) and a cohomology theory of separable polynomials.