Let be a
field,
let
and
be
-vector spaces,
and let
-
denote a
-linear mapping, Let
-
denote a
multilinear mapping.
Show that the composed mapping
-
is multilinear. Moreover, show that, if is
alternating,
then also is alternating, and that, if is bijective, also the converse holds.