Let be a m dimensional vector space over real numbers.
be a linear operator on ,
be a linear operator on p-th exterior algebra ,as defined by
.
is another linear operator, as defined by
.
.
We difine be the identity endomorphism,
be the zero endomorphism of the scalars.
how can we get the formula?