Tensor Algebra - Construction

Construction

Let V be a vector space over a field K. For any nonnegative integer k, we define the kth tensor power of V to be the tensor product of V with itself k times:

That is, TkV consists of all tensors on V of rank k. By convention T0V is the ground field K (as a one-dimensional vector space over itself).

We then construct T(V) as the direct sum of TkV for k = 0,1,2,…

The multiplication in T(V) is determined by the canonical isomorphism

given by the tensor product, which is then extended by linearity to all of T(V). This multiplication rule implies that the tensor algebra T(V) is naturally a graded algebra with TkV serving as the grade-k subspace. This grading can be extended to a Z grading by appending subspaces for negative integers k.

The construction generalizes in straightforward manner to the tensor algebra of any module M over a commutative ring. If R is a non-commutative ring, one can still perform the construction for any R-R bimodule M. (It does not work for ordinary R-modules because the iterated tensor products cannot be formed.)

Read more about this topic:  Tensor Algebra

Famous quotes containing the word construction:

    The construction of life is at present in the power of facts far more than convictions.
    Walter Benjamin (1892–1940)

    There is, I think, no point in the philosophy of progressive education which is sounder than its emphasis upon the importance of the participation of the learner in the formation of the purposes which direct his activities in the learning process, just as there is no defect in traditional education greater than its failure to secure the active cooperation of the pupil in construction of the purposes involved in his studying.
    John Dewey (1859–1952)

    No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.
    —T.S. (Thomas Stearns)