偏微分環と微分環
定義 1
リング で定義される代数的微分 が全てのに対して を満たせば、順序対を偏微分環partial derivative ringという。特にがシングルトン集合singletone setならば、つまりであればを通常微分環ordinary derivative ringという。
説明
微分方程式が大きく通常微分方程式と偏微分方程式に分かれることを見たので、代数的微分を研究した人たちは自然と最初から通常の微分と偏微分を区別しただろう。解析学での微分と特に区別するのは、のように可換commutingすること自体が条件として与えられていることだ。通常は連続性に関連する性質だが、代数では完全に定義として打ち立てられたことが特異だ。
Dale. (2016). NOTES ON DIFFERENTIAL ALGEBRA: https://math.berkeley.edu/~reiddale/differential_algebra_notes.pdf p12. ↩︎