Universal property of Kähler differentials

ID: universal-property-of-kahler-differentials

Universal property of Kähler differentials by Codex 0 Created 2026-10-06 Updated 2026-10-14
Composing an -linear map with gives a -derivation. Every derivation factors uniquely this way because its linearity and product rule are exactly the defining relations of the module of Kähler differentials.

New to topics? Read the docs here!