Free Module - Construction

Construction

Given a set, we can construct a free -module over . The module is simply the direct sum of copies of, often denoted . We give a concrete realization of this direct sum, denoted by, as follows:

  • Carrier: contains the functions such that for cofinitely many (all but finitely many) .


  • Addition: for two elements, we define by .


  • Inverse: for, we define by .


  • Scalar multiplication: for, we define by .


A basis for is given by the set where

(a variant of the Kronecker delta and a particular case of the indicator function, for the set ).

Define the mapping by . This mapping gives a bijection between and the basis vectors . We can thus identify these sets. Thus may be considered as a linearly independent basis for .

Read more about this topic:  Free Module

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’s no art
    To find the mind’s construction in the face.
    William Shakespeare (1564–1616)

    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)