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

Direct Products of Modules - Bland - Proposition 2.1.1 and its proof

  1. May 2, 2014 #1
    I am reading Paul E. Bland's book, Rings and Their Modules, Section 2.1: Direct Products and Direct Sums.

    I have a question regarding the proof of Proposition 2.1.1

    Proposition 2.1.1 and its proof (together with with a relevant preliminary definition) read as follows:



    attachment.php?attachmentid=69351&stc=1&d=1399080841.jpg



    As can be seen in the above text, the first line of the proof reads as follows:

    -----------------------------------------------------------------------------

    Proof. Let N be an R-Module and suppose that, for each [itex]\alpha \in \Delta, \ \ f_\alpha : \ N \to M_\alpha [/itex] is an R-linear mapping.

    ... ... ... etc. etc.


    -----------------------------------------------------------------------------

    My question is as follows:

    How do we know such a family of module homomorphisms or R-linear mappings [itex] f_\alpha [/itex] from [itex] N [/itex] to [itex] M_\alpha [/itex] exist?

    ... ... or is the point that if they do not exist, then the direct product does not exist?

    Hope someone can help.

    Peter
     

    Attached Files:

    Last edited: May 3, 2014
  2. jcsd
  3. May 4, 2014 #2
    I'm sorry you are not generating any responses at the moment. Is there any additional information you can share with us? Any new findings?
     
  4. May 4, 2014 #3
    Still reflecting on this issue Greg ...

    Hoping for some help,

    Peter
     
  5. May 5, 2014 #4

    disregardthat

    User Avatar
    Science Advisor

    This is the proof of the universal property of the direct product of modules. We say that for any N and family of maps [itex]f_{\alpha} : N \to M_{\alpha}[/itex], there is a unique map [itex]f : N \to \prod_{\Delta} M_{\alpha}[/itex] such that the above diagram commute.

    So basically, given and N and such a family of maps, you can produce the map f.

    In the sense of this theorem you are not given an arbitrary N, and then assuming that such a family of maps exist. There's not a condition merely on N, there's a condition on N and a family of maps [itex]f_{\alpha}[/itex].

    The direct product always exists, by the way, as it is defined above.
     
    Last edited: May 5, 2014
  6. May 5, 2014 #5
    [itex] [/itex]

    Thanks disregardthat ... appreciate your help ..

    So the point is to show that the direct product exists ... that helps considerably ... now understand the point of the Proposition ... thanks ...

    But still somewhat perplexed ... so be grateful if you can help on two issues ...

    1. How, or in what way does showing the existence of f demonstrate the existence of the direct product [itex] ( \prod_\Delta, M_\alpha \pi_\alpha ) [/itex]?

    2. why, in order to show the existence of the the direct product [itex] ( \prod_\Delta, M_\alpha \pi_\alpha ) [/itex] do we need to show that f exists for every R-module N and every family [itex] \{ f_\alpha \ : \ N \to M_\alpha \}_\Delta [/itex]

    Hope you can help?

    Peter
     
    Last edited: May 6, 2014
  7. May 6, 2014 #6

    disregardthat

    User Avatar
    Science Advisor

    Just to be clear: The direct product trivially exists, because it is defined above. The point of the theorem is to show the universal (or fundamental) property of the direct product, not that it exists.
    As I said above, this is not about showing the existence of the direct product.

    Take a look at the text of the theorem and read it carefully. We're proving a specific property of the direct product.
     
  8. May 6, 2014 #7
    Thanks ...

    Are you able to say something about why Bland is proving this ... that is, what is the significance and consequences of the theorem ... are you able to comment briefly ...

    In (partly) answering this question, Bland says the following on page 41 (the page following Proposition 2.1.1 on page 40) as follows:

    "Proposition 2.1.1 and the preceding discussion provide the motivation for the formal definition of a direct product of a family of R-modules."

    He then formally defines a direct product as follows:


    attachment.php?attachmentid=69478&stc=1&d=1399366479.jpg



    Note that Bland writes:

    "Proposition 2.1.1 shows that every family [itex] \{ M_\alpha \}_\Delta [/itex] of R-modules has a direct product"

    This is what got me thinking Bland was using Proposition 2.1.1 to establish the existence of a direct product, but I expressed myself badly ... I think Bland is using proposition 2.1.1 in order to precisely define the direct product ...

    BUT ... this leaves me somewhat puzzled ... why is he doing this ... what exactly is wrong or weak or inexact in his previous definition where he opened his discussion of direct products?

    Bland's original definition is as follows:


    attachment.php?attachmentid=69479&stc=1&d=1399367336.jpg



    Why not stay with the original definition? What is gained by basing a definition on Proposition 2.1.1?

    Can someone please help?

    Peter
     

    Attached Files:

  9. May 6, 2014 #8

    disregardthat

    User Avatar
    Science Advisor

    Proving the universal property for the direct product, shows that the direct product of modules is a product in the category of R-modules.

    In any category (not only the category of R-modules), products make sense, but they do not always exist. By showing the universal property of (categorical) products for direct products, we have shown that products exist in the category of R-modules. Therefore, in line with a more general (categorical) view, it makes sense to say that a product of R-modules is something which satisfies a certain universal property. Then, using the theorem, we know that it exists.

    There are many things in commutative algebra which will be defined via universal properties. Another notable example is the tensor product of two modules. There will always be an existence and a uniqueness (up to isomorphism) proof following such a definition. The existence proof will consist of constructing an object satisfying the universal property. While it is a valid point to ask why we don't just define it by its specific construction, in practice it is much more convenient to treat these objects as something which satisfies a certain universal property not necessarily bound to any given construction (there can be many). There will be so many cases where we have different representations of the product/coproduct/tensor product/limit/colimit (all these are defined by universal properties) so it is more of a hassle to care about specific constructions than to just treat them as defined abstractly.


    As a side note, I personally think it's a bit odd to call definition 2.1.2 a definition of direct products. As I'm used to, direct product refer to the specific construction, and product (or categorical product) in the category of R-modules as the object defined via the universal product. I'd rather see him call it a product in 2.1.2. I don't agree with calling them both direct products, as this makes it confusing whenever he refers to the "direct product". I may be wrong, but I think this is non-standard terminology. Someone else might chime in on this issue.
     
    Last edited: May 6, 2014
  10. May 6, 2014 #9
    Thanks disregardthat ... that is an extremely helpful post! Still reflecting over what you wrote ... but you have convinced me that I need to detour from my study of rings and modules and get a basic understanding of category theory ...

    I am still thinking over your interesting point regarding Definition 2.1.2 ...

    By the way, when you write:

    " I'd rather see him call it a product in 2.1.2. I don't agree with calling them both direct products, ... ... ... "

    do you mean that you would rather that Bland call P a product in Definition 2.1.2 ... ... or is the 2.1.2 in your sentence referring to Proposition 2.1.2?

    The way I am reading what you said is that you are arguing that P in Definition 2.1.2 should be referred to as a 'product' (not a 'direct product') and that the original definition of the construction of a direct product at the beginning of Bland's section on 'Direct Products and Direct Sums' (where he first defines direct product) be regarded as the 'direct product'.

    Have I interpreted you correctly?

    Peter
     
  11. May 7, 2014 #10

    disregardthat

    User Avatar
    Science Advisor

    Yes, you interpret correctly.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Direct Products of Modules - Bland - Proposition 2.1.1 and its proof
  1. Direct product (Replies: 3)

Loading...