symmetric multilinear function
Let be a commutative ring with identity and be unital -modules.
Suppose that is a multilinear map, where thereare copies of .
Let be a subgroup of , the symmetric group
on , and satisfy
- 1.
- 2.
for all
We say that is symmetric with respect to and if
holds for all and all .
Now suppose that .
If then we say that is a symmetric multilinear function.If , the sign of the permutation , we say that is a skew-symmetric multilinear function.
For example, the permanent is a symmetric multilinear function of its rows (columns).
The determinant is a skew-symmetric multilinear function of its rows (columns).