module over a commutative ring with a bilinear product [–, –] such that for any element x, [–, x] is a derivation