微分環

数学において、微分環（びぶんかん、）、微分体（びぶんたい、）、微分多元環（びぶんたげんかん、）は、それぞれ有限個の（加法的または線型な単項演算で積の微分法則（ライプニッツ則）を満足する）を備えた環、体、多元環である。微分環の微分はしばしば  等の記号を用いて表される。微分体の自然な例として、複素数体上の一変数有理関数体  に微分として普通の意味での微分  をとったものを挙げることができる。
	
そのような代数系自身の研究およびそれら代数系の微分方程式の代数的研究に対する応用を研究する分野を微分代数学 (Differntial Algebra) と呼ぶ。微分環はが導入した。

微分環 
環  とその上の写像  の組  が微分環であるとは、二つの条件  を満たす、すなわち  が  の加法群の間の準同型（加法的写像）で積に関してライプニッツ則を満足するものであるときに言う。注意すべきは、ここで環は非可換となる場合もありうるから、通常よく用いられる微分を後ろに書くある種の標準形  は積の可換性が保証されない場面では適切でないことである。

作用素のレベルで見れば、環の乗法を  として  なる等式として積の法則を書くこともできる。ただし、 は写像の直積で、各対  を対  へ写す。

微分体 
微分体は、微分を備える可換体  を言う。ここで、微分は体の構造と両立する（つまり除法と整合する）ようなものをとるべきであるが、よく知られた商の微分法則  は積の法則から導かれる。実際に  が成り立つべきところ、左辺に積の法則を適用して  となるから、 で整理すれば所期の式を得る。

微分体  に対してその定数体 () は  で与えられる。

微分多元環 
体  上の微分多元環は、スカラー乗法と両立する微分を備えた -多元環  を言う。すなわち、各微分  は係数体と元ごとに可換:  である。これは作用素のレベルでは、スカラー乗法を定義する環準同型  を用いて  と書ける

 リー環上の微分 体  上のリー環  上の微分  とは、-線型写像  であって、リー括弧積に関するライプニッツ則  を満たすものをいうのであった。任意の  に対し （つまり  はリー環の随伴表現）が  上の微分となることはヤコビの等式による。このように得られる微分を、リー環  の内部微分と呼ぶ。
リー環の内部微分を、その普遍包絡環へ延長して、普遍包絡環を微分多元環とすることができる。

例 
  が単位的多元環ならば、その乗法単位元を  として  である（）。従って、例えば  の微分体  は、常に有理数体を  の定数体の部分体として含む。
 任意の環は、零準同型（その任意の元を零元に写す）を自明な微分とみて、微分環である。
 一変数有理係数有理式体  は、 と正規化することで決まる、微分体として一意な構造を持つ（体の公理および微分の公理は、微分が  に関する通常の微分となることを保証する）。例えば、積の可換性と積の微分公式により、 が成り立つ。

微分体  は微分方程式  の解を持たないが、指数関数  を含むより大きい微分体に拡大して、この微分方程式がそこで解を持つようにすることができる。任意の微分方程式系に対する解を有する微分体をという。自然な代数的もしくは幾何学的対象としては現れないが、このような微分体は存在する。（濃度を適当に上から抑えるとき）すべての微分体は、単一の大きな微分的閉体の中に埋め込める。微分体は、微分ガロア理論の研究対象である。

 自然に生じる微分の例として、偏微分、リー微分、パンシェルル微分、多元環の元に関する交換子等がある。

擬微分作用素の環 

微分環および微分多元環  は、しばしばそれらの上の擬微分作用素の環  を通じて研究される。この環の上に乗法は、 で定義される。 は二項係数である。
ここで、恒等式  には恒等式  および  が用いられていることに注意。

関連項目 

 微分ガロア理論
 ケーラー微分
 
 D加群: 様々な微分作用素が作用する代数構造
 微分次数環
 
 可換環上の微分法

参考文献

関連文献 
 .
 .
 
 
  ()

外部リンク 
 
 
 
 

体論
微分方程式
数学に関する記事