# Kähler differentials

(Redirected from Kähler differential)

Jump to navigation
Jump to search
## Definition

Let be an algebra. An *A* differential of *B* into an -module is a map such that

- for all
- for

Observe that the set of all such maps is a -module. Moreover, is a representable functor; we call the representative the module of Kähler differentials. That is, satisfies the following universal property: