e = d1 d2
The vector space $D$ of graded derivations from $L$ to $L$ with the identity map as defining map, see LieDerivation, is a graded Lie algebra. If $L$ has a differential $del$, then $D$ is a differential graded Lie algebra with differential $d$\ \to\ [$del$,$d$].
|
|
|
|
|
|
The source of this document is in GradedLieAlgebras/doc.m2:2738:0.