Kähler differentials: Difference between revisions
Jump to navigation
Jump to search
imported>Giovanni Antonio DiMatteo (beginning page) |
imported>Giovanni Antonio DiMatteo (→Definition: hmm... how to insert commutative diagrams) |
||
| Line 1: | Line 1: | ||
==Definition== | ==Definition== | ||
| Line 6: | Line 5: | ||
#<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 [[representable functor]]; we call the representative <math>\Omega_{B/A}</math> the module of Kähler differentials. | 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 [[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: | ||
Revision as of 18:56, 9 December 2007
Definition
Let be an algebra. An A differential of B into an -module is a map D:B\to M 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:
