Let be a vector space over a field. Let be the symmetric group on . An order-n tensor is said to be symmetric if for all , where is the permutation operator associated to . The set of symmetric tensors in is denoted by .