Formal sums over a vector space

Formal sums over a Lie algebra

Let be Lie algebra over and consider formal sums over . Then we have the alternating bilinear map #m/def/fcalc

so that

where for all .

See also

• Formal series over an (un)twisted affine Lie algebra

#state/tidy | #lang/en | #SemBr