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

My definition of an artianian module is : A module is artinian if

  1. Aug 15, 2008 #1
    My definition of an artianian module is : A module is artinian if every decending chain of submodules terminates.


    Let A be a semisimple ring and M an A-module.
    If M is a finite direct sum of simple modules then M is artinian.

    Proof: Suppose that M= S_1+...+S_n where + denotes direct sum. We prove this by induction on n. For n=1 we have that M is artinian. Assume the result for n-1. Then
    $S_1+...+S_{n-1}$ and S_n are artinian modules and so is M.

    Can somebody help me with this proof because I dont understand that why is S_n artinian and how we have proved the theorem.
     
  2. jcsd
  3. Aug 15, 2008 #2

    morphism

    User Avatar
    Science Advisor
    Homework Helper

    Re: modules

    A simple module is trivially artinian.

    And there is a theorem that states if a module M has an artinian submodule N such that the quotient M/N is artinian, then M is artinian too.
     
  4. Aug 15, 2008 #3

    mathwonk

    User Avatar
    Science Advisor
    Homework Helper
    2015 Award

    Re: modules

    try proving that if both V/W and W are finite dimensional vector spaces then so is V. its the same sort of thing. really prove it with your bare hands, dont just quote some theorem.
     
  5. Aug 16, 2008 #4
    Re: modules

    Thanks morphism and mathwonk.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: My definition of an artianian module is : A module is artinian if
  1. Modules in Macaulay2 (Replies: 0)

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

Loading...