== Definition of derivative == 

 The article derivative does provide a definition for polynomials over arbitrary rings. If there's a standard definition, I'm unaware of it, and the best abstract definition I know of is for derivations, which are many. Is there a unique derivation generated by setting its value on elements of the ground field to 0, and on generators of the polynomial ring to 1? ᛭