|
|
| Line 1: |
Line 1: |
| In [[mathematics]], specifically in [[ring theory]], the '''simple modules''' over a ring ''R'' are the (left or right) [[module (mathematics)|module]]s over ''R'' which have no non-zero proper submodules. Equivalently, a module ''M'' is simple [[if and only if]] every [[cyclic module|cyclic submodule]] generated by a non-zero element of ''M'' equals ''M''. Simple modules form building blocks for the modules of finite [[length of a module|length]], and they are analogous to the [[simple group]]s in group theory.
| |
|
| |
|
| In this article, all modules will be assumed to be right [[unital module]]s over a ring ''R''.
| |
|
| |
|
| == Examples ==
| | 15 for each minute that you provide Customer Service. Familiarity with scientific and medical terminology is a plus. The training which they receive may also assist them to better realize how to administer the anesthesia as provided. These waves will hit a certain internal organ or area of the body, bounce off that region of the body which the doctor wants to more closely examine, and send these echoes to the ultrasound equipment which changes them into a visual picture that will be interpreted by a diagnostic physician. Taylor, private investigator is advocating for Walbert, as he has for hundreds of other Targeted Individuals. <br><br>They are known for being an industry leader in managing, developing and acquiring single and multi-specialty ambulatory surgical centers. Meanwhile, Barak Obama, who has completely ignored this significant adverse impact of manmade EMR exposure on the U. In 2005, all of the HRT members in Iraq began to work under JSOC. Air Force will not comment on what kind of missions the X-37B does in space. Experience, e-mail capability, references and published clips required. <br><br>Some examples to be careful of include MSW social work programs, physical therapy and radiology technician programs, and investment brokerage education programs. Navy photo by Mass Communication Specialist 3rd Class Kleynia R. Anesthetist schools are assisting to prepare learners for the globe of anesthesia by educating them the fundamentals of governing care. But nearly seven weeks before [his February] capture at a beach resort, the Mexican newspaper El Universal reported how US agencies had armed and financed El Chapo's Sinaloa criminal empire for at least 12 years. Both Walbert and Boyce battle to survive ongoing, slow-kill injuries inflicted by RFID implants that are too often mistakenly thought to be for surveillance purposes, not for covert torture and murder. <br><br>They are looking for a Part-time Regional Manager Risk Management. According to the lawyer point of view, it is okay to alter virtually your entire economy to be almost exclusively dependent on high technology. public about a $trillion or so a year in healthcare costs. Note: For more on government secrecy, see the deeply revealing reports from reliable major media sources available here. This telescope is able to use the very highest energy x-ray light and turn it into detailed photographs. <br><br>Drugs that adversely affect liver function, and which the pharmaceutical industry has conned around 10 percent of the U. Online & printed human resources & employment weekly magazine is seeking for "success & money-motivated" appointment setters. All spiritual progress starts with accepting full responsibility for all our actions, mistakes, karma and life. Find below a list of the top ten high paying jobs that require no degree. Average starting annual salaries for paralegals range from $31,860 to $47,721, which include bonuses and [http://www.Twitpic.com/tag/profit-shares profit-shares].<br><br>If you liked this write-up and you would like to get additional information concerning [http://chicagoradtech.webstarts.com Radiology Technician in Chicago, Illinois] kindly visit the [http://www.dailymail.Co.uk/home/search.html?sel=site&searchPhrase=web-site web-site]. |
| '''[[Integer|Z]]'''-modules are the same as abelian groups, so a simple '''Z'''-module is an abelian group which has no non-zero proper subgroups. These are the [[cyclic group]]s of [[prime number|prime]] [[order (group theory)|order]].
| |
| | |
| If ''I'' is a right ideal of ''R'', then ''I'' is simple as a right module if and only if ''I'' is a minimal non-zero right ideal: If ''M'' is a non-zero proper submodule of ''I'', then it is also a right ideal, so ''I'' is not minimal. Conversely, if ''I'' is not minimal, then there is a non-zero right ideal ''J'' properly contained in ''I''. ''J'' is a right submodule of ''I'', so ''I'' is not simple.
| |
| | |
| If ''I'' is a right ideal of ''R'', then ''R''/''I'' is simple if and only if ''I'' is a maximal right ideal: If ''M'' is a non-zero proper submodule of ''R''/''I'', then the preimage of ''M'' under the quotient map {{nowrap|''R'' → ''R''/''I''}} is a right ideal which is not equal to ''R'' and which properly contains ''I''. Therefore ''I'' is not maximal. Conversely, if ''I'' is not maximal, then there is a right ideal ''J'' properly containing ''I''. The quotient map {{nowrap|''R''/''I'' → ''R''/''J''}} has a non-zero kernel which is not equal to {{nowrap|''R''/''I''}}, and therefore {{nowrap|''R''/''I''}} is not simple.
| |
| | |
| Every simple ''R''-module is isomorphic to a quotient ''R''/''m'' where ''m'' is a [[maximal ideal|maximal right ideal]] of ''R''.<ref>Herstein, ''Non-commutative Ring Theory'', Lemma 1.1.3</ref> By the above paragraph, any quotient ''R''/''m'' is a simple module. Conversely, suppose that ''M'' is a simple ''R''-module. Then, for any non-zero element ''x'' of ''M'', the cyclic submodule ''xR'' must equal ''M''. Fix such an ''x''. The statement that {{nowrap begin}}''xR'' = ''M''{{nowrap end}} is equivalent to the surjectivity of the homomorphism {{nowrap|''R'' → ''M''}} that sends ''r'' to ''xr''. The kernel of this homomorphism is a right ideal ''I'' of ''R'', and a standard theorem states that ''M'' is isomorphic to ''R''/''I''. By the above paragraph, we find that ''I'' is a maximal right ideal. Therefore ''M'' is isomorphic to a quotient of ''R'' by a maximal right ideal.
| |
| | |
| If ''k'' is a [[field (mathematics)|field]] and ''G'' is a [[group (mathematics)|group]], then a [[group representation]] of ''G'' is a [[left module]] over the [[group ring]] ''k[G]''. The simple ''k[G]'' modules are also known as '''irreducible''' representations. A major aim of [[representation theory]] is to understand the irreducible representations of groups.
| |
| | |
| == Basic properties of simple modules ==
| |
| The simple modules are precisely the modules of [[length of a module|length]] 1; this is a reformulation of the definition.
| |
| | |
| Every simple module is [[indecomposable module|indecomposable]], but the converse is in general not true.
| |
| | |
| Every simple module is [[cyclic module|cyclic]], that is it is generated by one element.
| |
| | |
| Not every module has a simple submodule; consider for instance the '''Z'''-module '''Z''' in light of the first example above.
| |
| | |
| Let ''M'' and ''N'' be (left or right) modules over the same ring, and let {{nowrap begin}}''f'' : ''M'' → ''N''{{nowrap end}} be a [[module homomorphism]]. If ''M'' is simple, then ''f'' is either the zero homomorphism or [[injective]] because the [[kernel (algebra)|kernel]] of ''f'' is a submodule of ''M''. If ''N'' is simple, then ''f'' is either the zero homomorphism or [[surjective]] because the [[image (mathematics)|image]] of ''f'' is a submodule of ''N''. If {{nowrap begin}}''M'' = ''N''{{nowrap end}}, then ''f'' is an [[endomorphism]] of ''M'', and if ''M'' is simple, then the prior two statements imply that ''f'' is either the zero homomorphism or an isomorphism. Consequently the [[endomorphism ring]] of any simple module is a [[division ring]]. This result is known as '''[[Schur's lemma]]'''.
| |
| | |
| The converse of Schur's lemma is not true in general. For example, the '''Z'''-module '''[[rational number|Q]]''' is not simple, but its endomorphism ring is isomorphic to the field '''Q'''.
| |
| | |
| == Simple modules and composition series ==
| |
| {{main|Composition series}}
| |
| If ''M'' is a module which has a non-zero proper submodule ''N'', then there is a [[short exact sequence]]
| |
| :<math>0 \to N \to M \to M/N \to 0.</math>
| |
| A common approach to proving a fact about ''M'' is to show that the fact is true for the center term of a short exact sequence when it is true for the left and right terms, then to prove the fact for ''N'' and ''M''/''N''. If ''N'' has a non-zero proper submodule, then this process can be repeated. This produces a chain of submodules
| |
| :<math>\cdots \subset M_2 \subset M_1 \subset M.</math>
| |
| In order to prove the fact this way, one needs conditions on this sequence and on the modules ''M''<sub>''i''</sub>/''M''<sub>''i'' + 1</sub>. One particularly useful condition is that the [[length of a module|length]] of the sequence is finite and each quotient module ''M''<sub>''i''</sub>/''M''<sub>''i'' + 1</sub> is simple. In this case the sequence is called a '''composition series''' for ''M''. In order to prove a statement inductively using composition series, the statement is first proved for simple modules, which form the base case of the induction, and then the statement is proved to remain true under an extension of a module by a simple module. For example, the [[Fitting lemma]] shows that the [[endomorphism ring]] of a finite length [[indecomposable module]] is a [[local ring]], so that the strong [[Krull-Schmidt theorem]] holds and the category of finite length modules is a [[Krull-Schmidt category]].
| |
| | |
| The [[Jordan–Hölder theorem]] and the [[Schreier refinement theorem]] describe the relationships amongst all composition series of a single module. The [[Grothendieck group]] ignores the order in a composition series and views every finite length module as a formal sum of simple modules. Over [[semisimple ring]]s, this is no loss as every module is a [[semisimple module]] and so a [[direct sum of modules|direct sum]] of simple modules. [[Ordinary character theory]] provides better arithmetic control, and uses simple '''C'''''G'' modules to understand the structure of [[finite group]]s ''G''. [[Modular representation theory]] uses [[Brauer character]]s to view modules as formal sums of simple modules, but is also interested in how those simple modules are joined together within composition series. This is formalized by studying the [[Ext functor]] and describing the module category in various ways including [[quiver (mathematics)|quivers]] (whose nodes are the simple modules and whose edges are composition series of non-semisimple modules of length 2) and [[Auslander–Reiten theory]] where the associated graph has a vertex for every indecomposable module.
| |
| | |
| == The Jacobson density theorem ==
| |
| {{main|Jacobson density theorem}}
| |
| An important advance in the theory of simple modules was the [[Jacobson density theorem]]. The Jacobson density theorem states:
| |
| :Let U be a simple right R-module and write D = End<sub>R</sub>(U). Let A be any D-linear operator on U and let X be a finite D-linearly independent subset of U. Then there exists an element r of R such that x·A = x·r for all x in X.<ref>Isaacs, Theorem 13.14, p. 185</ref>
| |
| In particular, any [[primitive ring]] may be viewed as (that is, isomorphic to) a ring of ''D''-linear operators on some ''D''-space.
| |
| | |
| A consequence of the Jacobson density theorem is Wedderburn's theorem; namely that any right [[artinian ring|artinian]] [[simple ring]] is isomorphic to a full matrix ring of ''n'' by ''n'' matrices over a [[division ring]] for some ''n''. This can also be established as a corollary of the [[Artin–Wedderburn theorem]].
| |
| | |
| ==See also== | |
| * [[Semisimple module]]s are modules that can be written as a sum of simple submodules
| |
| * [[Irreducible ideal]]
| |
| * [[Irreducible representation]]
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| | |
| {{DEFAULTSORT:Simple Module}}
| |
| [[Category:Module theory]]
| |
| [[Category:Representation theory]]
| |
15 for each minute that you provide Customer Service. Familiarity with scientific and medical terminology is a plus. The training which they receive may also assist them to better realize how to administer the anesthesia as provided. These waves will hit a certain internal organ or area of the body, bounce off that region of the body which the doctor wants to more closely examine, and send these echoes to the ultrasound equipment which changes them into a visual picture that will be interpreted by a diagnostic physician. Taylor, private investigator is advocating for Walbert, as he has for hundreds of other Targeted Individuals.
They are known for being an industry leader in managing, developing and acquiring single and multi-specialty ambulatory surgical centers. Meanwhile, Barak Obama, who has completely ignored this significant adverse impact of manmade EMR exposure on the U. In 2005, all of the HRT members in Iraq began to work under JSOC. Air Force will not comment on what kind of missions the X-37B does in space. Experience, e-mail capability, references and published clips required.
Some examples to be careful of include MSW social work programs, physical therapy and radiology technician programs, and investment brokerage education programs. Navy photo by Mass Communication Specialist 3rd Class Kleynia R. Anesthetist schools are assisting to prepare learners for the globe of anesthesia by educating them the fundamentals of governing care. But nearly seven weeks before [his February] capture at a beach resort, the Mexican newspaper El Universal reported how US agencies had armed and financed El Chapo's Sinaloa criminal empire for at least 12 years. Both Walbert and Boyce battle to survive ongoing, slow-kill injuries inflicted by RFID implants that are too often mistakenly thought to be for surveillance purposes, not for covert torture and murder.
They are looking for a Part-time Regional Manager Risk Management. According to the lawyer point of view, it is okay to alter virtually your entire economy to be almost exclusively dependent on high technology. public about a $trillion or so a year in healthcare costs. Note: For more on government secrecy, see the deeply revealing reports from reliable major media sources available here. This telescope is able to use the very highest energy x-ray light and turn it into detailed photographs.
Drugs that adversely affect liver function, and which the pharmaceutical industry has conned around 10 percent of the U. Online & printed human resources & employment weekly magazine is seeking for "success & money-motivated" appointment setters. All spiritual progress starts with accepting full responsibility for all our actions, mistakes, karma and life. Find below a list of the top ten high paying jobs that require no degree. Average starting annual salaries for paralegals range from $31,860 to $47,721, which include bonuses and profit-shares.
If you liked this write-up and you would like to get additional information concerning Radiology Technician in Chicago, Illinois kindly visit the web-site.