Abstract :
A commutative ring A is said to be binomial if A is torsion-free (as a image-module) and the element a(a−1)(a−2)cdots, three dots, centered(a−n+1)/n! of image lies in A for every aset membership, variantA and every positive integer n. Binomial rings were first defined circa 1969 by Philip Hall in connection with his groundbreaking work in the theory of nilpotent groups. They have since had further applications to integer-valued polynomials, Witt vectors, and λ-rings. For any set image, the ring of integer-valued polynomials in image is the free binomial ring on the set image. Thus the binomial property provides a universal property for rings of integer-valued polynomials. We give several characterizations of binomial rings and their homomorphic images.
For example, we prove that a binomial ring is equivalently a λ-ring A whose Adams operations are all the identity on A. This allows us to construct a right adjoint image for the inclusion from binomial rings to rings which has several applications in commutative algebra and number theory. For example, there is a natural image-algebra structure on the universal λ-ring Λ(A), and likewise on the abelian group of multiplicative A-arithmetic functions. Similarly, there is a natural image-module structure on the abelian group image for any ideal image in A with respect to which A is complete.
