Skip to main content
Post Made Community Wiki
Source Link
KConrad
  • 50.6k
  • 9
  • 196
  • 277

Algebraic: a derivation on a ring $R$ is an additive map $R \rightarrow R$ that satisfies the product rule (with suitable generalizations allowing modules, etc.)

This is related to the Symbolic way of thinking on Thurston's list, but is not identical to that (e.g., it leads to important characterizations of separability for field extensions).