Kähler differentials

From Citizendium
Revision as of 11:45, 1 January 2008 by imported>Giovanni Antonio DiMatteo (→‎Definition: mathmode)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to 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: