Let
be a
-superalgebra in a variety
(later
will be the variety of Jordan or Lie
superalgebras). Let
be a
-supermodule equipped with a
pair of
-bilinear mappings
, of
into
of degree 0.
Then
is a
-supermodule on which we define a
multiplication by
|
|
|
(1.5)
|
for all
. Since this product is
-bilinear,
is a superalgebra over
, called the
split null extension
of
determined by the bilinear
mappings of
and
(see
[
J
, Chap. II, Sect., 5]
for
the classical case). If
is a superalgebra in the variety
then we say that
is a
-module
for
. In this case, for each
let
be the space of
all homogeneous
-module homomorphisms
satisfying for all homogeneous
and all
|
|
|
We define
|
|
|
Then it is easy to see that
is a submodule
of
and hence a
-supermodule. The elements of
are called the
-derivations (from
to
)
. If
, we simply write
.