Kähler 微分加群

$I = \ker(\mu\colon B \otimes_A B \to B)$ とおく。$I/I^2$ は $(B \otimes_A B)/I \cong B$ 上の加群、すなわち $B$ 加群である。これを $\Omega_{B/A}$ と書き、$B$ の $A$ 上の Kähler 微分加群という。$d = d_{B/A}\colon B \to \Omega_{B/A}$ を

で定める。$d(b)$ を $db$ と書く。