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 fcalc so that where for all . See also Formal series over an (un)twisted affine Lie algebra tidy | en | sembr