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

Rotman's Remarks on Modules in Context of Chain Conditions

  1. Nov 5, 2015 #1
    I am reading Joseph J. Rotman's book: Advanced Modern Algebra (AMA) and I am currently focused on Section 7.1 Chain Conditions (for modules) ...

    I need some help in order to gain a full understanding of some remarks made in AMA on page 526 on modules in the context of chain conditions and composition series for modules ... ...

    The remarks read as follows:


    ?temp_hash=b80cb4256b3277eca0177962d7865532.png


    My questions on this text are as follows:


    Question 1

    In the above text we read:

    " ... ... The Correspondence Theorem shows that a submodule N of a left R-module is a maximal submodule if and only if M/N is simple ... ... "

    Can someone please explain exactly how the Correspondence Theorem leads to this result ... ?


    Question 2

    In the above text we read:

    " ... ... a left R-module is simple if and only if it is isomorphic to R/I for some maximal left ideal I ... ... "

    Can someone please demonstrate, formally and rigorously why this is true ...?

    Hope someone can help ...

    Peter


    =================================================

    The above post refers to the Correspondence Theorem for Modules which in Rotman's Advanced Modern Algebra is Theorem 6.22 ... I am therefore providing the text of Theorem 6.22 as follows:


    ?temp_hash=b80cb4256b3277eca0177962d7865532.png
     

    Attached Files:

  2. jcsd
  3. Nov 5, 2015 #2

    andrewkirk

    User Avatar
    Science Advisor
    Homework Helper
    Gold Member

    Say ##M/N## is simple and let ##N'## be a submodule of ##M## such that ##N\subseteq N'\subseteq M##.
    Then, from simplicity of ##M/N##, ##N'/N## must equal either ##N/N={0}## or ##M/N##.
    So, under the correspondence theorem, ##\phi^{-1}(N'/N)## must equal either ##N## or ##M##. So ##N## must be maximal.

    To prove the other direction, assume that ##M/N## is not simple so that we can find ##N\subsetneq N'\subsetneq M## such that
    ##N/N\subsetneq N'/N\subsetneq M/N##.

    The second part of your question looks to be the same as what is in your other thread.
     
  4. Nov 6, 2015 #3
    Thanks so much for the help, Andrew ...

    Just reflecting on the details of your post, now ..

    Thanks again ...

    Peter
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Rotman's Remarks on Modules in Context of Chain Conditions
  1. Modules in Macaulay2 (Replies: 0)

  2. What is a module? (Replies: 4)

Loading...