We consider the problem to determine normal forms of the coordinates of covariant tensors T Î Tr V of order r over a finite-dimensional K-vector space, K = R , C. A connection between such tensors and the group ring K[Sr] can be established by assigning a group ring element Tb : = åp Î SrT(vp(1) , ¼, vp(r)) p Î K[Sr] to every tensor T Î Tr V and every r-tuple b = (v1 , ¼, vr) Î Vr of vectors. Then each symmetry class T Í Tr V of tensors can be characterized by a linear subspace W Í K[Sr] which is spanned by all Tb of the T Î T. The elements of the orthogonal subspace W^ Í K[Sr]* of W within the dual space K[Sr]* yield the set of all linear identities that are fulfiled by the coordinates of all tensors T Î T. These identities can be used to calculate linearly independent coordinates (i.e. normal forms) of the T Î T.
If the T Î T are single tensors and dimV ³ r, then W is a left ideal W = K[Sr]·e generated by an idempotent e. In the case of tensor products T1 ÄT2 Ä¼ÄTm or T Ä¼ÄT (m-times), W is a left ideal whose structure is described by a Littlewood-Richardson product [a1][a2]¼[am] or a plethysm [ a] Ä[m], respectively. We have also treated the cases in which dimV < r or the T Î T contain aditional contractions of index pairs. In these cases characterizing linear subspaces W Í K[Sr] with a structure W = f ·K[Sr]·e or W = åi = 1k ai ·K[Sr] ·e come into play. Here e , f Î K[Sr] are idempotents.
We have implemented a Mathematica package by which the characterizing idempotents and bases of the spaces W and the identities from W^ can be determined in all above cases. This package contains an ideal decomposition algorithm and tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms.
File translated from TEX by TTH, version 2.10.
On 23 Sep 1999, 01:05.
visitors since 20. April 2003