Simple module: Difference between revisions

Revision as of 13:38, 23 May 2010

Revision as of 21:55, 2 April 2011

Line 35:

In order to prove the fact this way, one needs conditions on this sequence and on the modules ''M''_''i''/''M''_{''i'' + 1}. One particularly useful condition is that the [[length of a module|length]] of the sequence is finite and each quotient module ''M''_''i''/''M''_{''i'' + 1} 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_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_R(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&middot;A = x&middot;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.

Line 56:

[[Category:Module theory]]

[[Category:Representation theory]]

[[de:Einfacher Modul]]