Kähler differentials: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Giovanni Antonio DiMatteo
m (Kähler differential moved to Kähler differentials: because the module is made up of many differentials, we almost never care about a single differential...)
imported>Giovanni Antonio DiMatteo
(→‎Definition: mathmode)
 
Line 2: Line 2:
==Definition==
==Definition==


Let <math>A\to B</math> be an [[Module|algebra]]. An ''A'' differential of ''B'' into an <math>A</math>-module <math>M</math> is a map ''D:B\to M'' such that  
Let <math>A\to B</math> be an [[Module|algebra]]. An ''A'' differential of ''B'' into an <math>A</math>-module <math>M</math> is a map <math>D:B\to M</math> such that  
#<math>D(a)=0</math> for all <math>a\in A</math>
#<math>D(a)=0</math> for all <math>a\in A</math>
#<math>D(b+b')=D(b)+D(b')</math> for <math>b,b'\in B</math>
#<math>D(b+b')=D(b)+D(b')</math> for <math>b,b'\in B</math>
#<math>D(bb')=b'D(b)+bD(b')</math>
#<math>D(bb')=b'D(b)+bD(b')</math>
Observe that the set of all such maps <math>Der_A(B,M)</math> is a <math>B</math>-module. Moreover, <math>Der_A(B,-)</math> is a [[Category of functors|representable functor]]; we call the representative <math>\Omega_{B/A}</math> the module of Kähler differentials. That is, <math>\Omega_{B/A}</math> satisfies the following universal property:
Observe that the set of all such maps <math>Der_A(B,M)</math> is a <math>B</math>-module. Moreover, <math>Der_A(B,-)</math> is a [[Category of functors|representable functor]]; we call the representative <math>\Omega_{B/A}</math> the module of Kähler differentials. That is, <math>\Omega_{B/A}</math> satisfies the following universal property:

Latest revision as of 11:45, 1 January 2008

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: