Corollary 3 of THM 16.2 : "A polynomial of degree n over a field has at most n zeros, counting multiplicity"
Fields and an finite integral domains are one and the same. (THM 13.2)
Finite integral domains are commutative rings with unity and no zero-divisors (Definition of integral domain)
So, if the commutative ring has zero divisors, it cannot be a field, thus no polynomials may over it, thus Corollary 3 is false for any ring with zero-divisors.
Not sure if this is sound. Comments? --Bcaulkin 21:27, 1 April 2009 (UTC)
