permutation operator
Let be a vector space over a field. Let , the symmetric group on and definea multilinear map by
Then by the universal factorization property (http://planetmath.org/TensorProduct) for a tensor product
(http://planetmath.org/TensorProduct) there is aunique linear map such that. Then of course,
is called the permutation operator associated with .
1 Properties
- 1.
- 2.
, where is the identity mapping on
- 3.
is nonsingular and