View source for Symmetrization (of tensors)

<!--
s0917501.png
$#A+1 = 22 n = 0
$#C+1 = 22 : ~/encyclopedia/old_files/data/S091/S.0901750 Symmetrization (of tensors)
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

One of the operations in tensor algebra that constructs a symmetric tensor (relative to a group of indices) from a given tensor. Symmetrization always takes place over several upper or lower indices. A tensor  $  S $
with components  $  \{ s _ {j _ {i}  \dots j _ {q} } ^ {i _ {1} \dots i _ {p} } :  1 \leq  i _  \nu  , j _  \mu  \leq  n \} $
is the result of symmetrization of a tensor  $  T $
with components  $  \{ t _ {j _ {1}  \dots j _ {q} } ^ {i _ {1} \dots i _ {p} } :  1 \leq  i _  \nu  , j _  \mu  \leq  n \} $
relative to  $  m $
upper indices, for example relative to the group of indices  $  I = ( i _ {1} \dots i _ {m} ) $, 
if

$$ \tag{* }
s _ {j _ {1}  \dots j _ {q} } ^ {i _ {1} \dots i _ {p} }  = \ 
{
\frac{1}{m!}
 }
\sum _ {I \rightarrow \alpha }
t _ {j _ {1}  \dots j _ {q} } ^ {\alpha _ {1} \dots \alpha _ {m} i _ {m + 1 }  \dots i _ {p} } .
$$

Here the summation is taken over all  $  m! $
permutations  $  \alpha = ( \alpha _ {1} \dots \alpha _ {m} ) $
of  $  I $. 
Symmetrization relative to a group of lower indices is defined similarly. Symmetrization with respect to a group of indices is defined by placing these indices between round brackets  $  (  ) $. 
The fixed indices (those not used in the symmetrization) are distinguished by vertical lines. For example (symmetrization over  $  4, 1, 7 $; 
$  5 $
remains fixed),

$$ 
t ^ {( 4 | 5 | 17) }  = \ 
{
\frac{1}{3!}
 }
[ t  ^ {4517} + t  ^ {1574} +
t  ^ {7541} + t  ^ {4571} +
t  ^ {7514} + t  ^ {1547} ].
$$

Successive symmetrization relative to groups  $  I _ {1} $
and  $  I _ {2} $, 
$  I _ {1} \subset  I _ {2} $, 
coincides with symmetrization relative to  $  I _ {2} $. 
In other words, if  $  s _ {j _ {1}  \dots j _ {q} } = t _ {( j _ {1}  \dots ( j _ {k} \dots j _ {1} ) \dots j _ {q} ) } $, 
then  $  s _ {j _ {1}  \dots j _ {q} } = t _ {( j _ {1}  \dots j _ {q} ) } $(
inner brackets are removed).

A tensor which does not change on symmetrization with respect to some group of indices is called a [[Symmetric tensor|symmetric tensor]].

Symmetrization, with respect to some group, of a tensor which was alternated first (see [[Alternation|Alternation]]) with respect to that group, leads to the zero tensor.

The multiplication of two or more tensors, followed by symmetrization of the product relative to all indices, is called symmetric multiplication. Symmetrization of tensors, side by side with the alternation operation, is used for the decomposition of a tensor into tensors with a simpler structure. Symmetrization is also used for the formation of sums of the form (*) with multi-indexed terms. For example, if the elements of the matrix

$$ 
\left \| 
\begin{array}{ccc}
a _ {1}  ^ {1}  &\dots  &a _ {n}  ^ {1}  \\
\cdot  &{}  &\cdot  \\
\cdot  &{}  &\cdot  \\
a _ {1}  ^ {n}  &\dots  &a _ {n}  ^ {n}  \\
\end{array}
 \ 
\right \|
$$

commute under multiplication, then the expression

$$ 
n!  a _ {1}  ^ {(} 1 a _ {2}  ^ {2} \dots a _ {n}  ^ {n)}  =  n! \ 
a _ {(} 1  ^ {1} a _ {2}  ^ {2} \dots a _ {n)}  ^ {n}  =  n! \ 
a _ {(} 1  ^ {(} 1 a _ {2}  ^ {2} \dots a _ {n)}  ^ {n)}
$$

is called the permanent of the matrix.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.A. Shirokov,   "Tensor calculus. Tensor algebra" , Kazan'  (1961)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D.V. Beklemishev,   "A course of analytical geometry and linear algebra" , Moscow  (1971)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  J.A. Schouten,   "Tensor analysis for physicists" , Cambridge Univ. Press  (1951)</TD></TR></table>

====Comments====
Cf. also the editorial comments to [[Symmetrization|Symmetrization]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.A. Akivis,   V.V. Goldberg,   "An introduction to linear algebra &amp; tensors" , Dover, reprint  (1977)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  M. Marcus,   "Finite dimensional multilinear algebra" , '''1''' , M. Dekker  (1973)  pp. 77ff</TD></TR></table>