Kähler differentials

From Citizendium
(Redirected from Kähler differential)
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

Definition

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

  1. for all
  2. 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: