微分環
体 K 上の微分多元環は、スカラー乗法と両立する微分を備えた K-多元環 A を言う。すなわち、各微分 ∂ は係数体と元ごとに可換:
である。これは作用素のレベルでは、スカラー乗法を定義する環準同型 η: K → A を用いて ∂ ∘ M ∘ ( η × id ) = M ∘ ( η × ∂ ) {\textstyle \partial \circ M\circ (\eta \times \operatorname {id} )=M\circ (\eta \times \partial )} と書ける