Direct sum




The direct sum is an operation from abstract algebra, a branch of mathematics. For example, the direct sum R⊕R{displaystyle mathbf {R} oplus mathbf {R} } mathbf{R} oplus mathbf{R} , where R{displaystyle mathbf {R} } mathbf{R} is real coordinate space, is the Cartesian plane, R2{displaystyle mathbf {R} ^{2}}{displaystyle mathbf {R} ^{2}}. To see how direct sum is used in abstract algebra, consider a more elementary structure in abstract algebra, the abelian group. The direct sum of two abelian groups A{displaystyle A}A and B{displaystyle B}B is another abelian group A⊕B{displaystyle Aoplus B}Aoplus B consisting of the ordered pairs (a,b){displaystyle (a,b)}(a,b) where a∈A{displaystyle ain A}ain A and b∈B{displaystyle bin B}bin B. (Confusingly this ordered pair is also called the cartesian product of the two groups.) To add ordered pairs, we define the sum (a,b)+(c,d){displaystyle (a,b)+(c,d)}(a, b) + (c, d) to be (a+c,b+d){displaystyle (a+c,b+d)}(a + c, b + d); in other words addition is defined coordinate-wise. A similar process can be used to form the direct sum of any two algebraic structures, such as rings, modules, and vector spaces.


We can also form direct sums with any number of summands, for example A⊕B⊕C{displaystyle Aoplus Boplus C}A oplus B oplus C, provided A,B,{displaystyle A,B,}A, B, and C{displaystyle C}C are the same kinds of algebraic structures, that is, all groups, rings, vector spaces, etc.


In the case of two summands, or any finite number of summands, the direct sum is the same as the direct product. If the arithmetic operation is written as +, as it usually is in abelian groups, then we use the direct sum. If the arithmetic operation is written as × or ⋅ or using juxtaposition (as in the expression xy{displaystyle xy}xy) we use direct product.


In the case where infinitely many objects are combined, most authors make a distinction between direct sum and direct product. As an example, consider the direct sum and direct product of infinitely many real lines. An element in the direct product is an infinite sequence, such as (1,2,3,...) but in the direct sum, there would be a requirement that all but finitely many coordinates be zero, so the sequence (1,2,3,...) would be an element of the direct product but not of the direct sum, while (1,2,0,0,0,...) would be an element of both. More generally, if a + sign is used, all but finitely many coordinates must be zero, while if some form of multiplication is used, all but finitely many coordinates must be 1. In more technical language, if the summands are (Ai)i∈I{displaystyle (A_{i})_{iin I}}(A_i)_{i in I}, the direct sum i∈IAi{displaystyle bigoplus _{iin I}A_{i}}bigoplus_{i in I} A_i is defined to be the set of tuples (ai)i∈I{displaystyle (a_{i})_{iin I}}(a_i)_{i in I} with ai∈Ai{displaystyle a_{i}in A_{i}}a_i in A_i such that ai=0{displaystyle a_{i}=0}a_i=0 for all but finitely many i. The direct sum i∈IAi{displaystyle bigoplus _{iin I}A_{i}}bigoplus_{i in I} A_i is contained in the direct product i∈IAi{displaystyle prod _{iin I}A_{i}}prod_{i in I} A_i, but is usually strictly smaller when the index set I{displaystyle I}I is infinite, because direct products do not have the restriction that all but finitely many coordinates must be zero.[1]




Contents






  • 1 Examples


    • 1.1 Internal and external direct sums




  • 2 Types of direct sum


    • 2.1 Direct sum of abelian groups


    • 2.2 Direct sum of modules


    • 2.3 Direct sum of group representations


    • 2.4 Direct sum of rings


    • 2.5 Direct sum in categories




  • 3 Homomorphisms


  • 4 See also


  • 5 Notes


  • 6 References





Examples


For example, the xy-plane, a two-dimensional vector space, can be thought of as the direct sum of two one-dimensional vector spaces, namely the x and y axes. In this direct sum, the x and y axes intersect only at the origin (the zero vector). Addition is defined coordinate-wise, that is (x1,y1)+(x2,y2)=(x1+x2,y1+y2){displaystyle (x_{1},y_{1})+(x_{2},y_{2})=(x_{1}+x_{2},y_{1}+y_{2})}(x_1,y_1) + (x_2,y_2) = (x_1+x_2, y_1 + y_2), which is the same as vector addition.


Given two objects A{displaystyle A}A and B{displaystyle B}B, their direct sum is written as A⊕B{displaystyle Aoplus B}Aoplus B. Given an indexed family of objects Ai{displaystyle A_{i}}A_{i}, indexed with i∈I{displaystyle iin I}iin I, the direct sum may be written A=⨁i∈IAi{displaystyle textstyle A=bigoplus _{iin I}A_{i}}textstyle A=bigoplus_{iin I}A_i. Each Ai is called a direct summand of A. If the index set is finite, the direct sum is the same as the direct product. In the case of groups, if the group operation is written as +{displaystyle +}+ the phrase "direct sum" is used, while if the group operation is written {displaystyle *}* the phrase "direct product" is used. When the index set is infinite, the direct sum is not the same as the direct product. In the direct sum, all but finitely many coordinates must be zero.



Internal and external direct sums


A distinction is made between internal and external direct sums, though the two are isomorphic. If the factors are defined first, and then the direct sum is defined in terms of the factors, we have an external direct sum. For example, if we define the real numbers R{displaystyle mathbf {R} }mathbf {R} and then define R⊕R{displaystyle mathbf {R} oplus mathbf {R} }mathbf{R} oplus mathbf{R} the direct sum is said to be external.


If, on the other hand, we first define some algebraic object, S{displaystyle S}S and then write S{displaystyle S}S as the direct sum of two of its subsets, V{displaystyle V}V and W{displaystyle W}W, then the direct sum is said to be internal. In this case, each element of S{displaystyle S}S is expressible uniquely as an algebraic combination of an element of V{displaystyle V}V and an element of W{displaystyle W}W. For an example of an internal direct sum, consider Z6{displaystyle Z_{6}}Z_6, the integers modulo six, whose elements are {0,1,2,3,4,5}{displaystyle {0,1,2,3,4,5}}{0, 1, 2, 3, 4, 5}. This is expressible as an internal direct sum Z6={1,3,5}⊕{0,2,4}{displaystyle Z_{6}={1,3,5}oplus {0,2,4}}{displaystyle Z_{6}={1,3,5}oplus {0,2,4}}.



Types of direct sum



Direct sum of abelian groups


The direct sum of abelian groups is a prototypical example of a direct sum. Given two abelian groups (A,∘){displaystyle (A,circ )}{displaystyle (A,circ )} and (B,∙){displaystyle (B,bullet )}{displaystyle (B,bullet )}, their direct sum A⊕B{displaystyle Aoplus B}Aoplus B is the same as their direct product, that is the underlying set is the Cartesian product B{displaystyle Atimes B}Atimes B and the group operation {displaystyle cdot }cdot is defined component-wise:



(a1,b1)⋅(a2,b2)=(a1∘a2,b1∙b2){displaystyle (a_{1},b_{1})cdot (a_{2},b_{2})=(a_{1}circ a_{2},b_{1}bullet b_{2})}{displaystyle (a_{1},b_{1})cdot (a_{2},b_{2})=(a_{1}circ a_{2},b_{1}bullet b_{2})}.

This definition generalizes to direct sums of finitely many abelian groups.


For an infinite family of abelian groups Ai for iI, the direct sum


i∈IAi{displaystyle bigoplus _{iin I}A_{i}}{displaystyle bigoplus _{iin I}A_{i}}

is a proper subgroup of the direct product. It consists of the elements (ai)∈j∈IAj{displaystyle textstyle (a_{i})in prod _{jin I}A_{j}}{displaystyle textstyle (a_{i})in prod _{jin I}A_{j}} such that ai is the identity element of Ai for all but finitely many i.[2]



Direct sum of modules



The direct sum of modules is a construction which combines several modules into a new module.


The most familiar examples of this construction occur when considering vector spaces, which are modules over a field. The construction may also be extended to Banach spaces and Hilbert spaces.



Direct sum of group representations



The direct sum of group representations generalizes the direct sum of the underlying modules, adding a group action to it. Specifically, given a group G and two representations V and W of G (or, more generally, two G-modules), the direct sum of the representations is VW with the action of gG given component-wise, i.e.



g·(v, w) = (g·v, g·w).


Direct sum of rings



Some authors will speak of the direct sum R⊕S{displaystyle Roplus S}R oplus S of two rings when they mean the direct product S{displaystyle Rtimes S}R times S, but this should be avoided[3] since S{displaystyle Rtimes S}R times S does not receive natural ring homomorphisms from R and S: in particular, the map R→S{displaystyle Rto Rtimes S}R to R times S sending r to (r,0) is not a ring homomorphism since it fails to send 1 to (1,1) (assuming that 0≠1 in S). Thus S{displaystyle Rtimes S}R times S is not a coproduct in the category of rings, and should not be written as a direct sum. (The coproduct in the category of commutative rings is the tensor product of rings.[4] In the category of rings, the coproduct is given by a construction similar to the free product of groups.)


Use of direct sum terminology and notation is especially problematic when dealing with infinite families of rings: If (Ri)i∈I{displaystyle (R_{i})_{iin I}}(R_i)_{i in I} is an infinite collection of nontrivial rings, then the direct sum of the underlying additive groups can be equipped with termwise multiplication, but this produces a rng, i.e., a ring without a multiplicative identity.



Direct sum in categories


An additive category is an abstraction of the properties of the category of modules.[5][6]


In such a category finite products and coproducts agree and the direct sum is either of them, cf. biproduct.


General case : [7]
In category theory the direct sum is often, but not always, the coproduct in the category of the mathematical objects in question. For example, in the category of abelian groups, direct sum is a coproduct. This is also true in the category of modules.



Homomorphisms


[clarification needed]


The direct sum i∈IAi{displaystyle bigoplus _{iin I}A_{i}}bigoplus_{i in I} A_i comes equipped with a projection homomorphism πj:i∈IAi→Aj{displaystyle pi _{j}colon bigoplus _{iin I}A_{i}to A_{j}}pi_j colon bigoplus_{i in I} A_i to A_j for each j and a coprojection αj:Aj→i∈IAi{displaystyle alpha _{j}colon A_{j}to bigoplus _{iin I}A_{i}}alpha_j colon A_j to bigoplus_{i in I} A_i for each j.[8] Given another algebraic object B (with the same additional structure) and homomorphisms gj:Aj→B{displaystyle g_{j}colon A_{j}to B}g_j colon A_j to B for every j, there is a unique homomorphism g:i∈IAi→B{displaystyle gcolon bigoplus _{iin I}A_{i}to B}g colon bigoplus_{i in I} A_i to B (called the sum of the gj) such that j=gj{displaystyle galpha _{j}=g_{j}}g alpha_j =g_j for all j. Thus the direct sum is the coproduct in the appropriate category.



See also



  • Direct sum of groups

  • Direct sum of permutations

  • Direct sum of topological groups

  • Restricted product

  • Whitney sum



Notes





  1. ^ Thomas W. Hungerford, Algebra, p.60, Springer, 1974, .mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
    ISBN 0387905189



  2. ^ Joseph J. Rotman, The Theory of Groups: an Introduction, p. 177, Allyn and Bacon, 1965


  3. ^ Math StackExchange on direct sum of rings vs. direct product of rings.


  4. ^ Lang 2002, section I.11


  5. ^ "p.45"


  6. ^ "appendix"


  7. ^ [1]


  8. ^ Heunen, Chris (2009). Categorical Quantum Models and Logics. Pallas Proefschriften. Amsterdam University Press. p. 26. ISBN 9085550246.




References



  • Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556, Zbl 0984.00001



Popular posts from this blog

Italian cuisine

Bulgarian cuisine

Carrot