Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Direct sum and direct product

  1. Jan 3, 2015 #1
    Under what conditions are the symbols [itex]\bigoplus[/itex] and [itex]\times[/itex] intechangangable?
     
  2. jcsd
  3. Jan 3, 2015 #2

    lavinia

    User Avatar
    Science Advisor
    Gold Member

    I can't think of a case where they are interchangeable.

    Direct sum is an algebraic structure. The Cartesian product is a set.

    The underlying set of a direct sum is the Cartesian product of the underlying sets. For instance the Cartesian place is the product of the real line with itself as a set, But if you view the real line a Z-module, the the direct product is also a Z-module.
     
  4. Jan 3, 2015 #3

    pwsnafu

    User Avatar
    Science Advisor

    Are you asking about the direct product ##\otimes## or the Cartesian product ##\times##?
     
  5. Jan 3, 2015 #4

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Assuming that you meant ##\otimes##, the direct sum and the direct product of two groups are the same thing. The former term is preferred when the binary operation is commutative and is represented by a symbol that looks more or less like a ##+##, e.g. ##\oplus## or ##\boxplus##. The latter term is preferred in all other cases, and especially when the binary operation is not commutative.
     
  6. Jan 5, 2015 #5

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper

    Another example, which I thought was meant, is the direct sum and product of two modules over a (say commutative) ring. In this case, one may distinguish between the defining properties and the actual set theoretic construction. It turns out the properties are opposite, or dual, to each other, but the constructions are the same. I.e. the same physical object has both properties.

    defn: a (categorical) direct sum of modules A and B, is a module C plus a pair of morphisms A-->C and B-->C, that sets up a 1-1 correspondence between morphisms out of C and pairs of morphisms out of A and B. I.e. if A-->X and B-->X are any pair of morphisms out of A and B, there is a unique morphism C-->X out of C such that the two morphisms out of A and B are obtained by composition A-->C-->X, B-->C-->X.

    defn: a categorical direct product is defined the same way but for morphisms going into A,B and C. I.e. one is given a pair of morphisms C-->A, C-->B, such that every pair of morphisms X-->A, X-->B, arises from a unique morphism X-->C, by composition X-->C-->A, X-->C-->B.

    It turns out then that the cartesian product set AxB, together with the standard morphisms in and out, gives on the one hand the direct sum, and on the other also the direct product. So strictly speaking the two are not the same, since the sum is given by both the object AxB and the standard injective morphisms A-->AxB, B-->AxB, while the product is given by the same object AxB but the (different) standard projections AxB-->A, AxB-->B.

    In the category of not necessarily commutative groups, the cartesian product construction no longer has both properties. The cartesian product again gives the direct product, but the direct sum object must be constructed in a much more involved way called a "free product". The direct product of Z and Z for instance is the cartesian product ZxZ with the usual definition of coordinatewise operations, but the (categorical) direct sum is the free group on 2 generators.

    When one generalizes to the sum and product of not just two, but an infinite number of modules, the constructions are also different, i.e. this time the cartesian product set represents only the direct product, and the direct sum is obtained by restricting all but a finite number of coordinate entries in a "tuple" to be zero. Notice then the direct sum of an infinite number of copies of the integers Z has the obvious basis as a free abelian group, but it is not at all obvious (to me) how to specify a free basis of the product. My free graduate algebra notes on my website at UGA explain some of this.

    http://www.math.uga.edu/%7Eroy/843-1.pdf [Broken]

    http://www.math.uga.edu/%7Eroy/845-3.pdf [Broken]
     
    Last edited by a moderator: May 7, 2017
  7. Jan 5, 2015 #6
    I do not believe this is true. The direct product of groups is the Cartesian product where the operation is taken coordinate-wise. The direct sum is the subset of the direct product consisting of those elements having only finitely many non-identity coordinates.

    In any event, the ##\otimes## symbol is typically reserved for the tensor product of modules and never for direct products.
     
    Last edited: Jan 5, 2015
  8. Jan 6, 2015 #7
    Sorry for the misunderstanding I did mean the direct sum and the direct product. I'm just doing some basic abstract algebra and was looking at the classification theorem for finite abelian groups. The confusion arose for me because I have seen, when writing a primary decomposition of a group into cyclic groups, the notations [itex] C_2\times C_3[/itex] and [itex]C_2\oplus C_3[/itex] used interchangeably and I was wondering if the [itex]\times [/itex] notation is a sloppy form of the [itex]\otimes [/itex] direct product notation.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Direct sum and direct product
Loading...