When does the converse to Schur's Lemma hold? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T10:13:48Z http://mathoverflow.net/feeds/question/2328 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2328/when-does-the-converse-to-schurs-lemma-hold When does the converse to Schur's Lemma hold? cdouglas 2009-10-24T18:28:58Z 2012-09-17T20:41:41Z <p>Let $R$ be a commutative ring, let $A$ be an $R$-algebra, and let $M$ be an $A$-module. If $M$ is simple, then End<code>$_{A-mod}(M)$</code> is a division ring.</p> <p>A common use is when $R$ is the complex numbers $\mathbb{C}$, and $M$ is such that End<code>$_{A-mod}(M)$</code> is finite dimensional. Then End<code>$_{A-mod}(M) = \mathbb{C}$</code>.</p> <p>Under what circumstances (regarding $R$ and/or $A$) is the converse true, that the endomorphism ring being a division ring, or being just $R$ itself, implies that $M$ is simple?</p> http://mathoverflow.net/questions/2328/when-does-the-converse-to-schurs-lemma-hold/2336#2336 Answer by Greg Muller for When does the converse to Schur's Lemma hold? Greg Muller 2009-10-24T19:03:00Z 2012-09-17T20:41:41Z <p>Let $p$ be a prime, and let $R(p)$ be the residue field at $p$. If $R \to R(p)$ is not a surjection, then then $R(p)$ is an $R$ module whose endomorphism ring is $R(p)$, but such that the image of $R$ is a proper submodule. </p> <p>If the map $R \to R(p)$ is a surjection for all primes, then having a field as an endomorphism ring should imply that a module is simple. Because $R/p$ is an integral domain, the map $R/p \to R(p)$ should be a surjection only if $R/p$ was already a field; that is, if $p$ was maximal. Therefore, $R$ has Krull dimension 0. Is this enough to imply that the ring was semisimple (aside from some finite-generation concerns)?</p> http://mathoverflow.net/questions/2328/when-does-the-converse-to-schurs-lemma-hold/2337#2337 Answer by Ben Webster for When does the converse to Schur's Lemma hold? Ben Webster 2009-10-24T19:12:40Z 2009-11-18T16:30:35Z <p>I assume you're allowing A to be non-commutative. In this case, things can go wrong in all kinds of ways. For example, all Verma modules have endomorphisms given by $\mathbb{C}$, but loads of those are not simple. Actually, every standard object in every highest weight category has endomorphisms given by a divison algebra.</p> <p>Another good example is that if you look at the path algebra of a Dynkin diagram, all indecomposible modules have endomorphisms given by the base field. By Gabriel's theorem, simples are in bijection with simple roots, indecomposibles are in bijection with positive roots, so there are lots of these.</p> http://mathoverflow.net/questions/2328/when-does-the-converse-to-schurs-lemma-hold/2691#2691 Answer by Manny Reyes for When does the converse to Schur's Lemma hold? Manny Reyes 2009-10-26T22:12:28Z 2009-10-27T22:05:01Z <p>This CSL ("converse of Schur's Lemma") condition on a ring is actually a topic of interest in ring theory lately. This basically means that there is not yet any simple answer to the question. But there is some interesting progress toward partial answers. For instance, a <a href="http://arxiv.org/PS%5Fcache/arxiv/pdf/0903/0903.2490v2.pdf" rel="nofollow">recent paper</a> by G. Marks and M. Schmidmeier shows that the converse of Schur's Lemma holds <em>in the category of right R-modules of finite length</em> if and only if all extensions of simple right R-modules are split. This holds, in particular, over any commutative ring. </p> <p>Those authors also show that a semiprimary ring R (that is, R has a nilpotent Jacobson radical J, and R/J is semisimple) satisfies CSL on the right if and only if all extensions of simple right R-modules are split, if and only if R is a finite direct product of matrix rings over local rings. (Examples of semiprimary rings include one-sided artinian rings, such as finite dimensional algebras over fields.)</p> <p>The same paper cites a number of other sources if you are interested in further exploring the topic. For instance, there are references for the following result, similar to the one above: A one-sided noetherian ring has CSL on the right if and only if it is a finite direct product of matrix rings over local perfect rings (which must be one-sided noetherian, hence one-sided artinian).</p>