h = g*d
The composition of maps $g*d$ is a derivation $M\ \to\ N$, with the composition $g*f$ defining the module structure of $N$ over $M$, where $f: M\ \to\ L$ defines the module structure of $L$ over $M$.
|
|
|
|
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/GradedLieAlgebras/doc.m2:2704:0.