wedgegeneral কী?

Het uitwendig product breidt uit tot een bilineaire afbeelding $\Lambda^kE^* \times \Lambda^\ell E^* \to \Lambda^{k+\ell}E^*$, bepaald door de bilineariteit en $(e_I^*) \wedge (e_J^*) = e_I^* \wedge e_J^*$ (aaneenschakelen en herordenen; het product is $0$ als $I \cap J \neq \varnothing$). Ze is associatief en gegradeerd anticommutatief: