Endomorphism Rings of finite length Modules are semiprimaryComposition series and Artin ringsOn the length of a ringA doubt about lower nil radical while proving 2-primality of ring.( Baer-McCoy Radical)Modules of Finite Length over Local Artinian RingsCan somebody explain me this proof on Kasch book (Modules and rings)?Lifting idempotents in semiperfect rings $R$ modulo ideals other than $mathrmrad(R)$Radical series and simple factors in the composition seriesA prime ring whose socle is nonzero and of finite length is simple Artinian.Properties of perfect ringsQuestion about Hopkins-Levitzki Theorem's proofAbout Loewy length of syzygy
Having the player face themselves after the mid-game
In Diabelli's "Duet in D" for piano, what are these brackets on chords that look like vertical slurs?
Can I challenge the interviewer to give me a proper technical feedback?
Should I apply for my boss's promotion?
What is the orbit and expected lifetime of Crew Dragon trunk?
What would be the most expensive material to an intergalactic society?
Too soon for a plot twist?
What does *dead* mean in *What do you mean, dead?*?
Giving a career talk in my old university, how prominently should I tell students my salary?
I am the person who abides by rules but breaks the rules . Who am I
Has a sovereign Communist government ever run, and conceded loss, on a fair election?
Tabular environment - text vertically positions itself by bottom of tikz picture in adjacent cell
How to distinguish easily different soldier of ww2?
How do you use environments that have the same name within a single latex document?
Is it appropriate to ask a former professor to order a library book for me through ILL?
Are small insurances worth it?
How can I portion out frozen cookie dough?
Limpar string com Regex
Can the Witch Sight warlock invocation see through the Mirror Image spell?
Cycles on the torus
How could it rain oil?
Why is there an extra space when I type "ls" on the Desktop?
Who has more? Ireland or Iceland?
The (Easy) Road to Code
Endomorphism Rings of finite length Modules are semiprimary
Composition series and Artin ringsOn the length of a ringA doubt about lower nil radical while proving 2-primality of ring.( Baer-McCoy Radical)Modules of Finite Length over Local Artinian RingsCan somebody explain me this proof on Kasch book (Modules and rings)?Lifting idempotents in semiperfect rings $R$ modulo ideals other than $mathrmrad(R)$Radical series and simple factors in the composition seriesA prime ring whose socle is nonzero and of finite length is simple Artinian.Properties of perfect ringsQuestion about Hopkins-Levitzki Theorem's proofAbout Loewy length of syzygy
$begingroup$
It is a “well known” fact that an endomorphism ring $E = mathrmEnd_R(M)$ is semiprimary (i.e. $E/mathrmrad(E)$ is semisimple, and $mathrmrad(E)$ is nilpotent), if $M$ is a right module of finite length over some ring $R$. However, all I could find out about that result on the internet is that it is well known - no proof, not even a reference.
Now I am curious to see a proof. Here is an attempt, which already shows half of the statement:
As $M$ decomposes into a direct sum of finitely many indecomposable modules of finite length, there is a decomposition $1_E = e_1 + dots + e_n$ of the unit element of $E$ into a sum of mutual orthogonal local idempotents (just take the projections onto the summands of $M$). The theory of idempotents shows that local idempotents become left- (and also right-) irreducible after modding out the Jacobson radical $J = mathrmrad(E)$. So $overline1_E = overlinee_1 + dots + overlinee_n in E/J$ is a sum of mutual orthogonal left irreducible idempotents, which shows that $E/J$ is semisimple.
It remains to show that $J$ is nilpotent. A possible attempt could be to consider the descending sequence of $R$-modules
$$ M supseteq JM supseteq J^2 M supseteq dots, $$
which must eventually become stationary since $M$ has finite length. If Nakayama's Lemma could be applied then we could conclude $J^m M = 0$ for $m geq mathrmlen(M)$, and hence $J^m = 0$. This however leaves us to show that $M$ is finitely generated as a left $E$-module. But I am not sure if this is even true...
I hope somebody can help out at that point. Thank you in advance!
Edit 1: According to this article, the nilpotency of $J$ can be shown by looking at the Loewy series of $M$. That is the series
$$ 0 = M_0 leq M_1 leq M_2 leq dots leq M, $$
defined by $M_i+1/M_i = mathrmsoc(M/M_i)$. Actually, as $M$ is a $E$-$R$-bimodule, there are two Loewy series of $M$ (regarding to the left module and to the right module). The article does not say which one is meant, but in each case, all $M_i$ are $E$-$R$-bimodules as well. To prove nilpotency of $J$, it suffices to show two things:
- $J^k_i M_i+1 subseteq M_i$ for some $k_i$
- $M_n = M$ for some $n$
Now, depending on which Loewy series we choose, one item is very easy to show, but the other one is unclear to me:
If we choose the Loewy series of $M$ with respect to $R$, then, as $M/M_i$ has finite length, each $M/M_i$ contains a simple submodule, and hence a nontrivial socle. So $M_n = M$ for all $n geq mathrmlen(M)$, and (2) holds.
If, on the other hand, we choose the Loewy series of $M$ with respect to $E$, then any $M_i+1/M_i$ is a semisimple $E$-module, so $J(M_i+1/M_i) = 0$, and hence $J M_i+1 subseteq M_i$. So (1) holds.
Any hint about the remaining item is very appreciated.
Edit 2:
I thought I had a solution, but there was a mistake, so I deleted my answer. However, at least I realized that $J$ is a nil-ideal. Maybe that helps somehow...
Proof:
Let $f in J$. By Fitting's Lemma, there is a decomposition $M = U oplus V$ into $f$-invariant $R$-submodules such that $f$ is nilpotent on $U$, and an automorphism on $V$. Since $E$ is the full endomorphism ring of $M$, there is a $g in E$ such that $(1-gf)V = 0$. Since $f in J$, it follows $V = 0$, and $f$ is nilpotent. Hence, $J$ is a nil-ideal.
Edit 3:
The whole problem appears in [Lam - A First Course in Noncommutative Rings] as an exercise. However, it is said that the nilpotency of $J$ is “deeper”, and it can be reduced to the fact that a nil (multiplicative) subsemigroup of a semisimple ring is nilpotent. Here is how far I got:
Claim: Let $M$ be a $E$-$R$-bimodule such that $M$ has finite length $n = l_R(M)$ over $R$, and $E$ has a nil Jacobson radical $J$. Then $J^n M = 0$.
Proof:
Induction on $l_R(M)$:
Let $S$ be the socle of $M$ as an $R$-module. If $M$ is nontrivial, then $S$ is nontrivial as well. If $S$ is a proper submodule of $M$ then we can apply the induction hypothesis to $S$ and $M/S$ (which are both $E$-$R$-bimodules). We get $J^l_R(M/S)M subseteq S$ and $J^l_R(S)S = 0$, thus $J^l_R(M) M = J^l_R(S)J^l_R(M/S)M = 0$.
So it remains the case, where $S=M$, i.e. where $M$ is semisimple. We have a natural ring homomorphism $varphi colon E to mathrmEnd_R(M)$, where the latter ring is semisimple. So $varphi(J)$ is a nil subsemigroup of a semisimple ring, which must be nilpotent with nilpotency degree $leq n = l_R(M)$ (according to Lam). It follows $J^n M = varphi(J^n) M = 0$. $square$
At this point I am still struggling with the nilpotency of nil subsemigroups, but I certainly get closer to a complete proof! :-)
As previously, any help is highly appreciated! In particular, I would be happy about an elegant proof of the remaining statement which avoids Artin-Wedderburn-Theory and the reduction to matrix rings (which is certainly possible).
abstract-algebra reference-request ring-theory modules noncommutative-algebra
$endgroup$
add a comment |
$begingroup$
It is a “well known” fact that an endomorphism ring $E = mathrmEnd_R(M)$ is semiprimary (i.e. $E/mathrmrad(E)$ is semisimple, and $mathrmrad(E)$ is nilpotent), if $M$ is a right module of finite length over some ring $R$. However, all I could find out about that result on the internet is that it is well known - no proof, not even a reference.
Now I am curious to see a proof. Here is an attempt, which already shows half of the statement:
As $M$ decomposes into a direct sum of finitely many indecomposable modules of finite length, there is a decomposition $1_E = e_1 + dots + e_n$ of the unit element of $E$ into a sum of mutual orthogonal local idempotents (just take the projections onto the summands of $M$). The theory of idempotents shows that local idempotents become left- (and also right-) irreducible after modding out the Jacobson radical $J = mathrmrad(E)$. So $overline1_E = overlinee_1 + dots + overlinee_n in E/J$ is a sum of mutual orthogonal left irreducible idempotents, which shows that $E/J$ is semisimple.
It remains to show that $J$ is nilpotent. A possible attempt could be to consider the descending sequence of $R$-modules
$$ M supseteq JM supseteq J^2 M supseteq dots, $$
which must eventually become stationary since $M$ has finite length. If Nakayama's Lemma could be applied then we could conclude $J^m M = 0$ for $m geq mathrmlen(M)$, and hence $J^m = 0$. This however leaves us to show that $M$ is finitely generated as a left $E$-module. But I am not sure if this is even true...
I hope somebody can help out at that point. Thank you in advance!
Edit 1: According to this article, the nilpotency of $J$ can be shown by looking at the Loewy series of $M$. That is the series
$$ 0 = M_0 leq M_1 leq M_2 leq dots leq M, $$
defined by $M_i+1/M_i = mathrmsoc(M/M_i)$. Actually, as $M$ is a $E$-$R$-bimodule, there are two Loewy series of $M$ (regarding to the left module and to the right module). The article does not say which one is meant, but in each case, all $M_i$ are $E$-$R$-bimodules as well. To prove nilpotency of $J$, it suffices to show two things:
- $J^k_i M_i+1 subseteq M_i$ for some $k_i$
- $M_n = M$ for some $n$
Now, depending on which Loewy series we choose, one item is very easy to show, but the other one is unclear to me:
If we choose the Loewy series of $M$ with respect to $R$, then, as $M/M_i$ has finite length, each $M/M_i$ contains a simple submodule, and hence a nontrivial socle. So $M_n = M$ for all $n geq mathrmlen(M)$, and (2) holds.
If, on the other hand, we choose the Loewy series of $M$ with respect to $E$, then any $M_i+1/M_i$ is a semisimple $E$-module, so $J(M_i+1/M_i) = 0$, and hence $J M_i+1 subseteq M_i$. So (1) holds.
Any hint about the remaining item is very appreciated.
Edit 2:
I thought I had a solution, but there was a mistake, so I deleted my answer. However, at least I realized that $J$ is a nil-ideal. Maybe that helps somehow...
Proof:
Let $f in J$. By Fitting's Lemma, there is a decomposition $M = U oplus V$ into $f$-invariant $R$-submodules such that $f$ is nilpotent on $U$, and an automorphism on $V$. Since $E$ is the full endomorphism ring of $M$, there is a $g in E$ such that $(1-gf)V = 0$. Since $f in J$, it follows $V = 0$, and $f$ is nilpotent. Hence, $J$ is a nil-ideal.
Edit 3:
The whole problem appears in [Lam - A First Course in Noncommutative Rings] as an exercise. However, it is said that the nilpotency of $J$ is “deeper”, and it can be reduced to the fact that a nil (multiplicative) subsemigroup of a semisimple ring is nilpotent. Here is how far I got:
Claim: Let $M$ be a $E$-$R$-bimodule such that $M$ has finite length $n = l_R(M)$ over $R$, and $E$ has a nil Jacobson radical $J$. Then $J^n M = 0$.
Proof:
Induction on $l_R(M)$:
Let $S$ be the socle of $M$ as an $R$-module. If $M$ is nontrivial, then $S$ is nontrivial as well. If $S$ is a proper submodule of $M$ then we can apply the induction hypothesis to $S$ and $M/S$ (which are both $E$-$R$-bimodules). We get $J^l_R(M/S)M subseteq S$ and $J^l_R(S)S = 0$, thus $J^l_R(M) M = J^l_R(S)J^l_R(M/S)M = 0$.
So it remains the case, where $S=M$, i.e. where $M$ is semisimple. We have a natural ring homomorphism $varphi colon E to mathrmEnd_R(M)$, where the latter ring is semisimple. So $varphi(J)$ is a nil subsemigroup of a semisimple ring, which must be nilpotent with nilpotency degree $leq n = l_R(M)$ (according to Lam). It follows $J^n M = varphi(J^n) M = 0$. $square$
At this point I am still struggling with the nilpotency of nil subsemigroups, but I certainly get closer to a complete proof! :-)
As previously, any help is highly appreciated! In particular, I would be happy about an elegant proof of the remaining statement which avoids Artin-Wedderburn-Theory and the reduction to matrix rings (which is certainly possible).
abstract-algebra reference-request ring-theory modules noncommutative-algebra
$endgroup$
$begingroup$
Thanks for the clarifying comment in your solution below. After that everything looks good.
$endgroup$
– rschwieb
Aug 28 '17 at 14:04
$begingroup$
@rschwieb: There is the following problem: Let $f_1, f_2 in J$. Then $f_2M < M$ since $f_2$ is nilpotent. But there is no guarantee that $f_1f_2M$ is contained $f_2M$, so we cannot continue that process. On the other hand, $f_1f_2M$ is a quotient of $f_2M$, so maybe we can argue in that way. But why should $f_1f_2M$ be a proper quotient of $f_2M$?
$endgroup$
– Dune
Aug 28 '17 at 14:09
$begingroup$
I saw what you meant after rereading one more time. hmm
$endgroup$
– rschwieb
Aug 28 '17 at 17:20
add a comment |
$begingroup$
It is a “well known” fact that an endomorphism ring $E = mathrmEnd_R(M)$ is semiprimary (i.e. $E/mathrmrad(E)$ is semisimple, and $mathrmrad(E)$ is nilpotent), if $M$ is a right module of finite length over some ring $R$. However, all I could find out about that result on the internet is that it is well known - no proof, not even a reference.
Now I am curious to see a proof. Here is an attempt, which already shows half of the statement:
As $M$ decomposes into a direct sum of finitely many indecomposable modules of finite length, there is a decomposition $1_E = e_1 + dots + e_n$ of the unit element of $E$ into a sum of mutual orthogonal local idempotents (just take the projections onto the summands of $M$). The theory of idempotents shows that local idempotents become left- (and also right-) irreducible after modding out the Jacobson radical $J = mathrmrad(E)$. So $overline1_E = overlinee_1 + dots + overlinee_n in E/J$ is a sum of mutual orthogonal left irreducible idempotents, which shows that $E/J$ is semisimple.
It remains to show that $J$ is nilpotent. A possible attempt could be to consider the descending sequence of $R$-modules
$$ M supseteq JM supseteq J^2 M supseteq dots, $$
which must eventually become stationary since $M$ has finite length. If Nakayama's Lemma could be applied then we could conclude $J^m M = 0$ for $m geq mathrmlen(M)$, and hence $J^m = 0$. This however leaves us to show that $M$ is finitely generated as a left $E$-module. But I am not sure if this is even true...
I hope somebody can help out at that point. Thank you in advance!
Edit 1: According to this article, the nilpotency of $J$ can be shown by looking at the Loewy series of $M$. That is the series
$$ 0 = M_0 leq M_1 leq M_2 leq dots leq M, $$
defined by $M_i+1/M_i = mathrmsoc(M/M_i)$. Actually, as $M$ is a $E$-$R$-bimodule, there are two Loewy series of $M$ (regarding to the left module and to the right module). The article does not say which one is meant, but in each case, all $M_i$ are $E$-$R$-bimodules as well. To prove nilpotency of $J$, it suffices to show two things:
- $J^k_i M_i+1 subseteq M_i$ for some $k_i$
- $M_n = M$ for some $n$
Now, depending on which Loewy series we choose, one item is very easy to show, but the other one is unclear to me:
If we choose the Loewy series of $M$ with respect to $R$, then, as $M/M_i$ has finite length, each $M/M_i$ contains a simple submodule, and hence a nontrivial socle. So $M_n = M$ for all $n geq mathrmlen(M)$, and (2) holds.
If, on the other hand, we choose the Loewy series of $M$ with respect to $E$, then any $M_i+1/M_i$ is a semisimple $E$-module, so $J(M_i+1/M_i) = 0$, and hence $J M_i+1 subseteq M_i$. So (1) holds.
Any hint about the remaining item is very appreciated.
Edit 2:
I thought I had a solution, but there was a mistake, so I deleted my answer. However, at least I realized that $J$ is a nil-ideal. Maybe that helps somehow...
Proof:
Let $f in J$. By Fitting's Lemma, there is a decomposition $M = U oplus V$ into $f$-invariant $R$-submodules such that $f$ is nilpotent on $U$, and an automorphism on $V$. Since $E$ is the full endomorphism ring of $M$, there is a $g in E$ such that $(1-gf)V = 0$. Since $f in J$, it follows $V = 0$, and $f$ is nilpotent. Hence, $J$ is a nil-ideal.
Edit 3:
The whole problem appears in [Lam - A First Course in Noncommutative Rings] as an exercise. However, it is said that the nilpotency of $J$ is “deeper”, and it can be reduced to the fact that a nil (multiplicative) subsemigroup of a semisimple ring is nilpotent. Here is how far I got:
Claim: Let $M$ be a $E$-$R$-bimodule such that $M$ has finite length $n = l_R(M)$ over $R$, and $E$ has a nil Jacobson radical $J$. Then $J^n M = 0$.
Proof:
Induction on $l_R(M)$:
Let $S$ be the socle of $M$ as an $R$-module. If $M$ is nontrivial, then $S$ is nontrivial as well. If $S$ is a proper submodule of $M$ then we can apply the induction hypothesis to $S$ and $M/S$ (which are both $E$-$R$-bimodules). We get $J^l_R(M/S)M subseteq S$ and $J^l_R(S)S = 0$, thus $J^l_R(M) M = J^l_R(S)J^l_R(M/S)M = 0$.
So it remains the case, where $S=M$, i.e. where $M$ is semisimple. We have a natural ring homomorphism $varphi colon E to mathrmEnd_R(M)$, where the latter ring is semisimple. So $varphi(J)$ is a nil subsemigroup of a semisimple ring, which must be nilpotent with nilpotency degree $leq n = l_R(M)$ (according to Lam). It follows $J^n M = varphi(J^n) M = 0$. $square$
At this point I am still struggling with the nilpotency of nil subsemigroups, but I certainly get closer to a complete proof! :-)
As previously, any help is highly appreciated! In particular, I would be happy about an elegant proof of the remaining statement which avoids Artin-Wedderburn-Theory and the reduction to matrix rings (which is certainly possible).
abstract-algebra reference-request ring-theory modules noncommutative-algebra
$endgroup$
It is a “well known” fact that an endomorphism ring $E = mathrmEnd_R(M)$ is semiprimary (i.e. $E/mathrmrad(E)$ is semisimple, and $mathrmrad(E)$ is nilpotent), if $M$ is a right module of finite length over some ring $R$. However, all I could find out about that result on the internet is that it is well known - no proof, not even a reference.
Now I am curious to see a proof. Here is an attempt, which already shows half of the statement:
As $M$ decomposes into a direct sum of finitely many indecomposable modules of finite length, there is a decomposition $1_E = e_1 + dots + e_n$ of the unit element of $E$ into a sum of mutual orthogonal local idempotents (just take the projections onto the summands of $M$). The theory of idempotents shows that local idempotents become left- (and also right-) irreducible after modding out the Jacobson radical $J = mathrmrad(E)$. So $overline1_E = overlinee_1 + dots + overlinee_n in E/J$ is a sum of mutual orthogonal left irreducible idempotents, which shows that $E/J$ is semisimple.
It remains to show that $J$ is nilpotent. A possible attempt could be to consider the descending sequence of $R$-modules
$$ M supseteq JM supseteq J^2 M supseteq dots, $$
which must eventually become stationary since $M$ has finite length. If Nakayama's Lemma could be applied then we could conclude $J^m M = 0$ for $m geq mathrmlen(M)$, and hence $J^m = 0$. This however leaves us to show that $M$ is finitely generated as a left $E$-module. But I am not sure if this is even true...
I hope somebody can help out at that point. Thank you in advance!
Edit 1: According to this article, the nilpotency of $J$ can be shown by looking at the Loewy series of $M$. That is the series
$$ 0 = M_0 leq M_1 leq M_2 leq dots leq M, $$
defined by $M_i+1/M_i = mathrmsoc(M/M_i)$. Actually, as $M$ is a $E$-$R$-bimodule, there are two Loewy series of $M$ (regarding to the left module and to the right module). The article does not say which one is meant, but in each case, all $M_i$ are $E$-$R$-bimodules as well. To prove nilpotency of $J$, it suffices to show two things:
- $J^k_i M_i+1 subseteq M_i$ for some $k_i$
- $M_n = M$ for some $n$
Now, depending on which Loewy series we choose, one item is very easy to show, but the other one is unclear to me:
If we choose the Loewy series of $M$ with respect to $R$, then, as $M/M_i$ has finite length, each $M/M_i$ contains a simple submodule, and hence a nontrivial socle. So $M_n = M$ for all $n geq mathrmlen(M)$, and (2) holds.
If, on the other hand, we choose the Loewy series of $M$ with respect to $E$, then any $M_i+1/M_i$ is a semisimple $E$-module, so $J(M_i+1/M_i) = 0$, and hence $J M_i+1 subseteq M_i$. So (1) holds.
Any hint about the remaining item is very appreciated.
Edit 2:
I thought I had a solution, but there was a mistake, so I deleted my answer. However, at least I realized that $J$ is a nil-ideal. Maybe that helps somehow...
Proof:
Let $f in J$. By Fitting's Lemma, there is a decomposition $M = U oplus V$ into $f$-invariant $R$-submodules such that $f$ is nilpotent on $U$, and an automorphism on $V$. Since $E$ is the full endomorphism ring of $M$, there is a $g in E$ such that $(1-gf)V = 0$. Since $f in J$, it follows $V = 0$, and $f$ is nilpotent. Hence, $J$ is a nil-ideal.
Edit 3:
The whole problem appears in [Lam - A First Course in Noncommutative Rings] as an exercise. However, it is said that the nilpotency of $J$ is “deeper”, and it can be reduced to the fact that a nil (multiplicative) subsemigroup of a semisimple ring is nilpotent. Here is how far I got:
Claim: Let $M$ be a $E$-$R$-bimodule such that $M$ has finite length $n = l_R(M)$ over $R$, and $E$ has a nil Jacobson radical $J$. Then $J^n M = 0$.
Proof:
Induction on $l_R(M)$:
Let $S$ be the socle of $M$ as an $R$-module. If $M$ is nontrivial, then $S$ is nontrivial as well. If $S$ is a proper submodule of $M$ then we can apply the induction hypothesis to $S$ and $M/S$ (which are both $E$-$R$-bimodules). We get $J^l_R(M/S)M subseteq S$ and $J^l_R(S)S = 0$, thus $J^l_R(M) M = J^l_R(S)J^l_R(M/S)M = 0$.
So it remains the case, where $S=M$, i.e. where $M$ is semisimple. We have a natural ring homomorphism $varphi colon E to mathrmEnd_R(M)$, where the latter ring is semisimple. So $varphi(J)$ is a nil subsemigroup of a semisimple ring, which must be nilpotent with nilpotency degree $leq n = l_R(M)$ (according to Lam). It follows $J^n M = varphi(J^n) M = 0$. $square$
At this point I am still struggling with the nilpotency of nil subsemigroups, but I certainly get closer to a complete proof! :-)
As previously, any help is highly appreciated! In particular, I would be happy about an elegant proof of the remaining statement which avoids Artin-Wedderburn-Theory and the reduction to matrix rings (which is certainly possible).
abstract-algebra reference-request ring-theory modules noncommutative-algebra
abstract-algebra reference-request ring-theory modules noncommutative-algebra
edited Aug 30 '17 at 17:51
Dune
asked Aug 27 '17 at 17:51
DuneDune
4,46711231
4,46711231
$begingroup$
Thanks for the clarifying comment in your solution below. After that everything looks good.
$endgroup$
– rschwieb
Aug 28 '17 at 14:04
$begingroup$
@rschwieb: There is the following problem: Let $f_1, f_2 in J$. Then $f_2M < M$ since $f_2$ is nilpotent. But there is no guarantee that $f_1f_2M$ is contained $f_2M$, so we cannot continue that process. On the other hand, $f_1f_2M$ is a quotient of $f_2M$, so maybe we can argue in that way. But why should $f_1f_2M$ be a proper quotient of $f_2M$?
$endgroup$
– Dune
Aug 28 '17 at 14:09
$begingroup$
I saw what you meant after rereading one more time. hmm
$endgroup$
– rschwieb
Aug 28 '17 at 17:20
add a comment |
$begingroup$
Thanks for the clarifying comment in your solution below. After that everything looks good.
$endgroup$
– rschwieb
Aug 28 '17 at 14:04
$begingroup$
@rschwieb: There is the following problem: Let $f_1, f_2 in J$. Then $f_2M < M$ since $f_2$ is nilpotent. But there is no guarantee that $f_1f_2M$ is contained $f_2M$, so we cannot continue that process. On the other hand, $f_1f_2M$ is a quotient of $f_2M$, so maybe we can argue in that way. But why should $f_1f_2M$ be a proper quotient of $f_2M$?
$endgroup$
– Dune
Aug 28 '17 at 14:09
$begingroup$
I saw what you meant after rereading one more time. hmm
$endgroup$
– rschwieb
Aug 28 '17 at 17:20
$begingroup$
Thanks for the clarifying comment in your solution below. After that everything looks good.
$endgroup$
– rschwieb
Aug 28 '17 at 14:04
$begingroup$
Thanks for the clarifying comment in your solution below. After that everything looks good.
$endgroup$
– rschwieb
Aug 28 '17 at 14:04
$begingroup$
@rschwieb: There is the following problem: Let $f_1, f_2 in J$. Then $f_2M < M$ since $f_2$ is nilpotent. But there is no guarantee that $f_1f_2M$ is contained $f_2M$, so we cannot continue that process. On the other hand, $f_1f_2M$ is a quotient of $f_2M$, so maybe we can argue in that way. But why should $f_1f_2M$ be a proper quotient of $f_2M$?
$endgroup$
– Dune
Aug 28 '17 at 14:09
$begingroup$
@rschwieb: There is the following problem: Let $f_1, f_2 in J$. Then $f_2M < M$ since $f_2$ is nilpotent. But there is no guarantee that $f_1f_2M$ is contained $f_2M$, so we cannot continue that process. On the other hand, $f_1f_2M$ is a quotient of $f_2M$, so maybe we can argue in that way. But why should $f_1f_2M$ be a proper quotient of $f_2M$?
$endgroup$
– Dune
Aug 28 '17 at 14:09
$begingroup$
I saw what you meant after rereading one more time. hmm
$endgroup$
– rschwieb
Aug 28 '17 at 17:20
$begingroup$
I saw what you meant after rereading one more time. hmm
$endgroup$
– rschwieb
Aug 28 '17 at 17:20
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Added later:
Forget the reduction to linear algebra! There is a short and elementary proof which directly shows the original statement. It appears as an exercise in Bourbaki's “Éléments de mathématique” (Algèbre, chapitres 8, ex. 2). Here is my vague translation:
Claim: Let $M$ be a right $R$-module of finite length $n$, and let $mathcalF subset mathrmEnd_R(M)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication (e.g. the Jacobson radical in the above setting). Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: As in my proof given below, we argue by induction on the length of $M$ to construct a composition series of $M$
$$ 0 = M_0 < dots < M_n = M, $$
such that $mathcalF M_i+1 subseteq M_i$ for all $i$.
If $mathcalF = 0$ there is nothing to show. Otherwise, we have $l(M) geq 2$, and it suffices to prove the existence of a proper $mathcalF$-invariant submodule $0 lneq N lneq M$.
Let $0 neq f in mathcalF$ such that $fM$ has minimum length among all nonzero elements of $mathcalF$. It can be shown in the same way as below (see the lemma) that $fgf = 0$ for all $g in mathcalF$. If $mathcalFf = 0$ then we are done by setting $N=fM$. If $mathcalFf neq 0$ we set $$N = sum_g in mathcalF gfM.$$ This is a nontrivial $mathcalF$-invariant submodule of $M$. By construction, we have $fN = sum_g in mathcalF fgfM = 0$, so $N$ must be proper. $square$
Original Answer:
Finally, I think I've found a proof. To begin with, note that the original problem appears in Lam's ”first course in noncommutative rings” as an exercise (3.24). Lam suggests to reduce the nilpotency statement to the problem, whether any (multiplicative) nil subsemigroup of a semisimple ring is nilpotent. I already explained how the reduction works in Edit 2 and Edit 3. Afterwards, using the Artin-Wedderburn structure theory, it is easy to reduce further to a linear algebra problem over division rings. In the end it remains to show the following:
Claim: Let $V$ be an $n$-dimensional vector space over a division ring $D$, and let $mathcalF subset mathrmEnd_D(V)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication. Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: It suffices to show that $mathcalF$ is triangularizable, i.e. there are subspaces
$$ 0 = V_0 leq V_1 leq dots leq V_n = V, $$
such that $mathcalFV_i+1 subseteq V_i$ for all $i$. If $mathcalF$ consists only of the zero endomorphism, there is nothing to show. If $mathcalF$ is nontrivial (which already implies $n geq 2$) we prove the existence of a proper $mathcalF$-invariant subspace $0 lneq W lneq V$. Everything else follows by induction by considering $W$ and $V/W$.
Let $r in mathbbZ$ be the minimum rank of a nonzero element of $mathcalF$. We define
$$ mathcalF_0 = f in mathcalF : mathrmrank(f) leq r . $$
$mathcalF_0$ is a left ideal of $mathcalF$ in the sense that $mathcalF cdot mathcalF_0 subseteq mathcalF_0$. For that reason, the (nontrivial) abelian group $W$ spanned by $mathcalF_0 V$ is an $mathcalF$-invariant subspace of $V$. We claim that $W$ is a proper subspace of $V$. But first we need a lemma:
Lemma: Let $f in mathcalF_0$, $g in mathcalF$. Then $f^2 = fgf = 0$.
Proof: Of course there is nothing to show if $f=0$, so let $f neq 0$. Since $f$ is nilpotent, we have $mathrmrank(f^2) < mathrmrank(f) = r$, so $f^2 = 0$. Suppose $fgf neq 0$. Then $r leq mathrmrank(fgf) leq mathrmrank(f) = r$. A dimension argument shows that $fg$ restricts to an automorphism of $mathrmIm(f)$ which is impossible, since $fg$ is nilpotent. $square$
Proof of $W < V$: Suppose $W = V$. Let $f_1, dots, f_m subseteq mathcalF_0$ be a minimal set such that
$$V = mathrmIm(f_1) + dots + mathrmIm(f_m).$$
Because of the lemma, we may assume without loss of generality that $f_1f_i = 0$ for all $i$: If $f_1f_i neq 0$ for some $i$, we can simply replace $f_1$ by $f_1f_i$, and the image won't change. The lemma guarantees that this process terminates after finitely many steps, as it ensures that any product of elements of $mathcalF_0$ with repeatedly occurring factors is zero. Now by multiplying both sides of the equation by $f_1$ from left, we arrive at the follwing contradiction:
$$ mathrmIm(f_1) = f_1 V = f_1mathrmIm(f_1) + dots + f_1mathrmIm(f_m) = mathrmIm(f_1f_1) + dots + mathrmIm(f_1f_m) = 0. $$ $square$
I hope there is no mistake this time. Comments are highly appreciated!
$endgroup$
add a comment |
$begingroup$
An alternative approach to proving that the radical is nilpotent is to use the Harada-Sai Lemma:
Given non-isomorphisms $phi_icolon M_ito M_i+1$ between indecomposable modules of length at most $n$, the composition $phi_2^ncdotsphi_1$ equals zero.
The bound you get is much bigger than needed, but the proof is a simple induction.
It is worth noting that if $M$ is an artinian object in an abelian category, then its endomorphism ring $E$ is always semilocal, so $E/J$ is semisimple. This was proved in
Camps, R., Dicks, W.: On semilocal rings. Israel J. Math. 81, 203--211 (1993)
There is also a 2nd edition of the article available here
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2407901%2fendomorphism-rings-of-finite-length-modules-are-semiprimary%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Added later:
Forget the reduction to linear algebra! There is a short and elementary proof which directly shows the original statement. It appears as an exercise in Bourbaki's “Éléments de mathématique” (Algèbre, chapitres 8, ex. 2). Here is my vague translation:
Claim: Let $M$ be a right $R$-module of finite length $n$, and let $mathcalF subset mathrmEnd_R(M)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication (e.g. the Jacobson radical in the above setting). Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: As in my proof given below, we argue by induction on the length of $M$ to construct a composition series of $M$
$$ 0 = M_0 < dots < M_n = M, $$
such that $mathcalF M_i+1 subseteq M_i$ for all $i$.
If $mathcalF = 0$ there is nothing to show. Otherwise, we have $l(M) geq 2$, and it suffices to prove the existence of a proper $mathcalF$-invariant submodule $0 lneq N lneq M$.
Let $0 neq f in mathcalF$ such that $fM$ has minimum length among all nonzero elements of $mathcalF$. It can be shown in the same way as below (see the lemma) that $fgf = 0$ for all $g in mathcalF$. If $mathcalFf = 0$ then we are done by setting $N=fM$. If $mathcalFf neq 0$ we set $$N = sum_g in mathcalF gfM.$$ This is a nontrivial $mathcalF$-invariant submodule of $M$. By construction, we have $fN = sum_g in mathcalF fgfM = 0$, so $N$ must be proper. $square$
Original Answer:
Finally, I think I've found a proof. To begin with, note that the original problem appears in Lam's ”first course in noncommutative rings” as an exercise (3.24). Lam suggests to reduce the nilpotency statement to the problem, whether any (multiplicative) nil subsemigroup of a semisimple ring is nilpotent. I already explained how the reduction works in Edit 2 and Edit 3. Afterwards, using the Artin-Wedderburn structure theory, it is easy to reduce further to a linear algebra problem over division rings. In the end it remains to show the following:
Claim: Let $V$ be an $n$-dimensional vector space over a division ring $D$, and let $mathcalF subset mathrmEnd_D(V)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication. Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: It suffices to show that $mathcalF$ is triangularizable, i.e. there are subspaces
$$ 0 = V_0 leq V_1 leq dots leq V_n = V, $$
such that $mathcalFV_i+1 subseteq V_i$ for all $i$. If $mathcalF$ consists only of the zero endomorphism, there is nothing to show. If $mathcalF$ is nontrivial (which already implies $n geq 2$) we prove the existence of a proper $mathcalF$-invariant subspace $0 lneq W lneq V$. Everything else follows by induction by considering $W$ and $V/W$.
Let $r in mathbbZ$ be the minimum rank of a nonzero element of $mathcalF$. We define
$$ mathcalF_0 = f in mathcalF : mathrmrank(f) leq r . $$
$mathcalF_0$ is a left ideal of $mathcalF$ in the sense that $mathcalF cdot mathcalF_0 subseteq mathcalF_0$. For that reason, the (nontrivial) abelian group $W$ spanned by $mathcalF_0 V$ is an $mathcalF$-invariant subspace of $V$. We claim that $W$ is a proper subspace of $V$. But first we need a lemma:
Lemma: Let $f in mathcalF_0$, $g in mathcalF$. Then $f^2 = fgf = 0$.
Proof: Of course there is nothing to show if $f=0$, so let $f neq 0$. Since $f$ is nilpotent, we have $mathrmrank(f^2) < mathrmrank(f) = r$, so $f^2 = 0$. Suppose $fgf neq 0$. Then $r leq mathrmrank(fgf) leq mathrmrank(f) = r$. A dimension argument shows that $fg$ restricts to an automorphism of $mathrmIm(f)$ which is impossible, since $fg$ is nilpotent. $square$
Proof of $W < V$: Suppose $W = V$. Let $f_1, dots, f_m subseteq mathcalF_0$ be a minimal set such that
$$V = mathrmIm(f_1) + dots + mathrmIm(f_m).$$
Because of the lemma, we may assume without loss of generality that $f_1f_i = 0$ for all $i$: If $f_1f_i neq 0$ for some $i$, we can simply replace $f_1$ by $f_1f_i$, and the image won't change. The lemma guarantees that this process terminates after finitely many steps, as it ensures that any product of elements of $mathcalF_0$ with repeatedly occurring factors is zero. Now by multiplying both sides of the equation by $f_1$ from left, we arrive at the follwing contradiction:
$$ mathrmIm(f_1) = f_1 V = f_1mathrmIm(f_1) + dots + f_1mathrmIm(f_m) = mathrmIm(f_1f_1) + dots + mathrmIm(f_1f_m) = 0. $$ $square$
I hope there is no mistake this time. Comments are highly appreciated!
$endgroup$
add a comment |
$begingroup$
Added later:
Forget the reduction to linear algebra! There is a short and elementary proof which directly shows the original statement. It appears as an exercise in Bourbaki's “Éléments de mathématique” (Algèbre, chapitres 8, ex. 2). Here is my vague translation:
Claim: Let $M$ be a right $R$-module of finite length $n$, and let $mathcalF subset mathrmEnd_R(M)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication (e.g. the Jacobson radical in the above setting). Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: As in my proof given below, we argue by induction on the length of $M$ to construct a composition series of $M$
$$ 0 = M_0 < dots < M_n = M, $$
such that $mathcalF M_i+1 subseteq M_i$ for all $i$.
If $mathcalF = 0$ there is nothing to show. Otherwise, we have $l(M) geq 2$, and it suffices to prove the existence of a proper $mathcalF$-invariant submodule $0 lneq N lneq M$.
Let $0 neq f in mathcalF$ such that $fM$ has minimum length among all nonzero elements of $mathcalF$. It can be shown in the same way as below (see the lemma) that $fgf = 0$ for all $g in mathcalF$. If $mathcalFf = 0$ then we are done by setting $N=fM$. If $mathcalFf neq 0$ we set $$N = sum_g in mathcalF gfM.$$ This is a nontrivial $mathcalF$-invariant submodule of $M$. By construction, we have $fN = sum_g in mathcalF fgfM = 0$, so $N$ must be proper. $square$
Original Answer:
Finally, I think I've found a proof. To begin with, note that the original problem appears in Lam's ”first course in noncommutative rings” as an exercise (3.24). Lam suggests to reduce the nilpotency statement to the problem, whether any (multiplicative) nil subsemigroup of a semisimple ring is nilpotent. I already explained how the reduction works in Edit 2 and Edit 3. Afterwards, using the Artin-Wedderburn structure theory, it is easy to reduce further to a linear algebra problem over division rings. In the end it remains to show the following:
Claim: Let $V$ be an $n$-dimensional vector space over a division ring $D$, and let $mathcalF subset mathrmEnd_D(V)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication. Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: It suffices to show that $mathcalF$ is triangularizable, i.e. there are subspaces
$$ 0 = V_0 leq V_1 leq dots leq V_n = V, $$
such that $mathcalFV_i+1 subseteq V_i$ for all $i$. If $mathcalF$ consists only of the zero endomorphism, there is nothing to show. If $mathcalF$ is nontrivial (which already implies $n geq 2$) we prove the existence of a proper $mathcalF$-invariant subspace $0 lneq W lneq V$. Everything else follows by induction by considering $W$ and $V/W$.
Let $r in mathbbZ$ be the minimum rank of a nonzero element of $mathcalF$. We define
$$ mathcalF_0 = f in mathcalF : mathrmrank(f) leq r . $$
$mathcalF_0$ is a left ideal of $mathcalF$ in the sense that $mathcalF cdot mathcalF_0 subseteq mathcalF_0$. For that reason, the (nontrivial) abelian group $W$ spanned by $mathcalF_0 V$ is an $mathcalF$-invariant subspace of $V$. We claim that $W$ is a proper subspace of $V$. But first we need a lemma:
Lemma: Let $f in mathcalF_0$, $g in mathcalF$. Then $f^2 = fgf = 0$.
Proof: Of course there is nothing to show if $f=0$, so let $f neq 0$. Since $f$ is nilpotent, we have $mathrmrank(f^2) < mathrmrank(f) = r$, so $f^2 = 0$. Suppose $fgf neq 0$. Then $r leq mathrmrank(fgf) leq mathrmrank(f) = r$. A dimension argument shows that $fg$ restricts to an automorphism of $mathrmIm(f)$ which is impossible, since $fg$ is nilpotent. $square$
Proof of $W < V$: Suppose $W = V$. Let $f_1, dots, f_m subseteq mathcalF_0$ be a minimal set such that
$$V = mathrmIm(f_1) + dots + mathrmIm(f_m).$$
Because of the lemma, we may assume without loss of generality that $f_1f_i = 0$ for all $i$: If $f_1f_i neq 0$ for some $i$, we can simply replace $f_1$ by $f_1f_i$, and the image won't change. The lemma guarantees that this process terminates after finitely many steps, as it ensures that any product of elements of $mathcalF_0$ with repeatedly occurring factors is zero. Now by multiplying both sides of the equation by $f_1$ from left, we arrive at the follwing contradiction:
$$ mathrmIm(f_1) = f_1 V = f_1mathrmIm(f_1) + dots + f_1mathrmIm(f_m) = mathrmIm(f_1f_1) + dots + mathrmIm(f_1f_m) = 0. $$ $square$
I hope there is no mistake this time. Comments are highly appreciated!
$endgroup$
add a comment |
$begingroup$
Added later:
Forget the reduction to linear algebra! There is a short and elementary proof which directly shows the original statement. It appears as an exercise in Bourbaki's “Éléments de mathématique” (Algèbre, chapitres 8, ex. 2). Here is my vague translation:
Claim: Let $M$ be a right $R$-module of finite length $n$, and let $mathcalF subset mathrmEnd_R(M)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication (e.g. the Jacobson radical in the above setting). Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: As in my proof given below, we argue by induction on the length of $M$ to construct a composition series of $M$
$$ 0 = M_0 < dots < M_n = M, $$
such that $mathcalF M_i+1 subseteq M_i$ for all $i$.
If $mathcalF = 0$ there is nothing to show. Otherwise, we have $l(M) geq 2$, and it suffices to prove the existence of a proper $mathcalF$-invariant submodule $0 lneq N lneq M$.
Let $0 neq f in mathcalF$ such that $fM$ has minimum length among all nonzero elements of $mathcalF$. It can be shown in the same way as below (see the lemma) that $fgf = 0$ for all $g in mathcalF$. If $mathcalFf = 0$ then we are done by setting $N=fM$. If $mathcalFf neq 0$ we set $$N = sum_g in mathcalF gfM.$$ This is a nontrivial $mathcalF$-invariant submodule of $M$. By construction, we have $fN = sum_g in mathcalF fgfM = 0$, so $N$ must be proper. $square$
Original Answer:
Finally, I think I've found a proof. To begin with, note that the original problem appears in Lam's ”first course in noncommutative rings” as an exercise (3.24). Lam suggests to reduce the nilpotency statement to the problem, whether any (multiplicative) nil subsemigroup of a semisimple ring is nilpotent. I already explained how the reduction works in Edit 2 and Edit 3. Afterwards, using the Artin-Wedderburn structure theory, it is easy to reduce further to a linear algebra problem over division rings. In the end it remains to show the following:
Claim: Let $V$ be an $n$-dimensional vector space over a division ring $D$, and let $mathcalF subset mathrmEnd_D(V)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication. Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: It suffices to show that $mathcalF$ is triangularizable, i.e. there are subspaces
$$ 0 = V_0 leq V_1 leq dots leq V_n = V, $$
such that $mathcalFV_i+1 subseteq V_i$ for all $i$. If $mathcalF$ consists only of the zero endomorphism, there is nothing to show. If $mathcalF$ is nontrivial (which already implies $n geq 2$) we prove the existence of a proper $mathcalF$-invariant subspace $0 lneq W lneq V$. Everything else follows by induction by considering $W$ and $V/W$.
Let $r in mathbbZ$ be the minimum rank of a nonzero element of $mathcalF$. We define
$$ mathcalF_0 = f in mathcalF : mathrmrank(f) leq r . $$
$mathcalF_0$ is a left ideal of $mathcalF$ in the sense that $mathcalF cdot mathcalF_0 subseteq mathcalF_0$. For that reason, the (nontrivial) abelian group $W$ spanned by $mathcalF_0 V$ is an $mathcalF$-invariant subspace of $V$. We claim that $W$ is a proper subspace of $V$. But first we need a lemma:
Lemma: Let $f in mathcalF_0$, $g in mathcalF$. Then $f^2 = fgf = 0$.
Proof: Of course there is nothing to show if $f=0$, so let $f neq 0$. Since $f$ is nilpotent, we have $mathrmrank(f^2) < mathrmrank(f) = r$, so $f^2 = 0$. Suppose $fgf neq 0$. Then $r leq mathrmrank(fgf) leq mathrmrank(f) = r$. A dimension argument shows that $fg$ restricts to an automorphism of $mathrmIm(f)$ which is impossible, since $fg$ is nilpotent. $square$
Proof of $W < V$: Suppose $W = V$. Let $f_1, dots, f_m subseteq mathcalF_0$ be a minimal set such that
$$V = mathrmIm(f_1) + dots + mathrmIm(f_m).$$
Because of the lemma, we may assume without loss of generality that $f_1f_i = 0$ for all $i$: If $f_1f_i neq 0$ for some $i$, we can simply replace $f_1$ by $f_1f_i$, and the image won't change. The lemma guarantees that this process terminates after finitely many steps, as it ensures that any product of elements of $mathcalF_0$ with repeatedly occurring factors is zero. Now by multiplying both sides of the equation by $f_1$ from left, we arrive at the follwing contradiction:
$$ mathrmIm(f_1) = f_1 V = f_1mathrmIm(f_1) + dots + f_1mathrmIm(f_m) = mathrmIm(f_1f_1) + dots + mathrmIm(f_1f_m) = 0. $$ $square$
I hope there is no mistake this time. Comments are highly appreciated!
$endgroup$
Added later:
Forget the reduction to linear algebra! There is a short and elementary proof which directly shows the original statement. It appears as an exercise in Bourbaki's “Éléments de mathématique” (Algèbre, chapitres 8, ex. 2). Here is my vague translation:
Claim: Let $M$ be a right $R$-module of finite length $n$, and let $mathcalF subset mathrmEnd_R(M)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication (e.g. the Jacobson radical in the above setting). Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: As in my proof given below, we argue by induction on the length of $M$ to construct a composition series of $M$
$$ 0 = M_0 < dots < M_n = M, $$
such that $mathcalF M_i+1 subseteq M_i$ for all $i$.
If $mathcalF = 0$ there is nothing to show. Otherwise, we have $l(M) geq 2$, and it suffices to prove the existence of a proper $mathcalF$-invariant submodule $0 lneq N lneq M$.
Let $0 neq f in mathcalF$ such that $fM$ has minimum length among all nonzero elements of $mathcalF$. It can be shown in the same way as below (see the lemma) that $fgf = 0$ for all $g in mathcalF$. If $mathcalFf = 0$ then we are done by setting $N=fM$. If $mathcalFf neq 0$ we set $$N = sum_g in mathcalF gfM.$$ This is a nontrivial $mathcalF$-invariant submodule of $M$. By construction, we have $fN = sum_g in mathcalF fgfM = 0$, so $N$ must be proper. $square$
Original Answer:
Finally, I think I've found a proof. To begin with, note that the original problem appears in Lam's ”first course in noncommutative rings” as an exercise (3.24). Lam suggests to reduce the nilpotency statement to the problem, whether any (multiplicative) nil subsemigroup of a semisimple ring is nilpotent. I already explained how the reduction works in Edit 2 and Edit 3. Afterwards, using the Artin-Wedderburn structure theory, it is easy to reduce further to a linear algebra problem over division rings. In the end it remains to show the following:
Claim: Let $V$ be an $n$-dimensional vector space over a division ring $D$, and let $mathcalF subset mathrmEnd_D(V)$ be a nonempty set of nilpotent endomorphisms which is closed under multiplication. Then $mathcalF^n = 0$, meaning that the composition of any $n$ endomorphisms of $mathcalF$ is zero.
Proof: It suffices to show that $mathcalF$ is triangularizable, i.e. there are subspaces
$$ 0 = V_0 leq V_1 leq dots leq V_n = V, $$
such that $mathcalFV_i+1 subseteq V_i$ for all $i$. If $mathcalF$ consists only of the zero endomorphism, there is nothing to show. If $mathcalF$ is nontrivial (which already implies $n geq 2$) we prove the existence of a proper $mathcalF$-invariant subspace $0 lneq W lneq V$. Everything else follows by induction by considering $W$ and $V/W$.
Let $r in mathbbZ$ be the minimum rank of a nonzero element of $mathcalF$. We define
$$ mathcalF_0 = f in mathcalF : mathrmrank(f) leq r . $$
$mathcalF_0$ is a left ideal of $mathcalF$ in the sense that $mathcalF cdot mathcalF_0 subseteq mathcalF_0$. For that reason, the (nontrivial) abelian group $W$ spanned by $mathcalF_0 V$ is an $mathcalF$-invariant subspace of $V$. We claim that $W$ is a proper subspace of $V$. But first we need a lemma:
Lemma: Let $f in mathcalF_0$, $g in mathcalF$. Then $f^2 = fgf = 0$.
Proof: Of course there is nothing to show if $f=0$, so let $f neq 0$. Since $f$ is nilpotent, we have $mathrmrank(f^2) < mathrmrank(f) = r$, so $f^2 = 0$. Suppose $fgf neq 0$. Then $r leq mathrmrank(fgf) leq mathrmrank(f) = r$. A dimension argument shows that $fg$ restricts to an automorphism of $mathrmIm(f)$ which is impossible, since $fg$ is nilpotent. $square$
Proof of $W < V$: Suppose $W = V$. Let $f_1, dots, f_m subseteq mathcalF_0$ be a minimal set such that
$$V = mathrmIm(f_1) + dots + mathrmIm(f_m).$$
Because of the lemma, we may assume without loss of generality that $f_1f_i = 0$ for all $i$: If $f_1f_i neq 0$ for some $i$, we can simply replace $f_1$ by $f_1f_i$, and the image won't change. The lemma guarantees that this process terminates after finitely many steps, as it ensures that any product of elements of $mathcalF_0$ with repeatedly occurring factors is zero. Now by multiplying both sides of the equation by $f_1$ from left, we arrive at the follwing contradiction:
$$ mathrmIm(f_1) = f_1 V = f_1mathrmIm(f_1) + dots + f_1mathrmIm(f_m) = mathrmIm(f_1f_1) + dots + mathrmIm(f_1f_m) = 0. $$ $square$
I hope there is no mistake this time. Comments are highly appreciated!
edited Aug 31 '17 at 11:23
answered Aug 30 '17 at 17:50
DuneDune
4,46711231
4,46711231
add a comment |
add a comment |
$begingroup$
An alternative approach to proving that the radical is nilpotent is to use the Harada-Sai Lemma:
Given non-isomorphisms $phi_icolon M_ito M_i+1$ between indecomposable modules of length at most $n$, the composition $phi_2^ncdotsphi_1$ equals zero.
The bound you get is much bigger than needed, but the proof is a simple induction.
It is worth noting that if $M$ is an artinian object in an abelian category, then its endomorphism ring $E$ is always semilocal, so $E/J$ is semisimple. This was proved in
Camps, R., Dicks, W.: On semilocal rings. Israel J. Math. 81, 203--211 (1993)
There is also a 2nd edition of the article available here
$endgroup$
add a comment |
$begingroup$
An alternative approach to proving that the radical is nilpotent is to use the Harada-Sai Lemma:
Given non-isomorphisms $phi_icolon M_ito M_i+1$ between indecomposable modules of length at most $n$, the composition $phi_2^ncdotsphi_1$ equals zero.
The bound you get is much bigger than needed, but the proof is a simple induction.
It is worth noting that if $M$ is an artinian object in an abelian category, then its endomorphism ring $E$ is always semilocal, so $E/J$ is semisimple. This was proved in
Camps, R., Dicks, W.: On semilocal rings. Israel J. Math. 81, 203--211 (1993)
There is also a 2nd edition of the article available here
$endgroup$
add a comment |
$begingroup$
An alternative approach to proving that the radical is nilpotent is to use the Harada-Sai Lemma:
Given non-isomorphisms $phi_icolon M_ito M_i+1$ between indecomposable modules of length at most $n$, the composition $phi_2^ncdotsphi_1$ equals zero.
The bound you get is much bigger than needed, but the proof is a simple induction.
It is worth noting that if $M$ is an artinian object in an abelian category, then its endomorphism ring $E$ is always semilocal, so $E/J$ is semisimple. This was proved in
Camps, R., Dicks, W.: On semilocal rings. Israel J. Math. 81, 203--211 (1993)
There is also a 2nd edition of the article available here
$endgroup$
An alternative approach to proving that the radical is nilpotent is to use the Harada-Sai Lemma:
Given non-isomorphisms $phi_icolon M_ito M_i+1$ between indecomposable modules of length at most $n$, the composition $phi_2^ncdotsphi_1$ equals zero.
The bound you get is much bigger than needed, but the proof is a simple induction.
It is worth noting that if $M$ is an artinian object in an abelian category, then its endomorphism ring $E$ is always semilocal, so $E/J$ is semisimple. This was proved in
Camps, R., Dicks, W.: On semilocal rings. Israel J. Math. 81, 203--211 (1993)
There is also a 2nd edition of the article available here
answered 18 hours ago
Andrew HuberyAndrew Hubery
212
212
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2407901%2fendomorphism-rings-of-finite-length-modules-are-semiprimary%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
Thanks for the clarifying comment in your solution below. After that everything looks good.
$endgroup$
– rschwieb
Aug 28 '17 at 14:04
$begingroup$
@rschwieb: There is the following problem: Let $f_1, f_2 in J$. Then $f_2M < M$ since $f_2$ is nilpotent. But there is no guarantee that $f_1f_2M$ is contained $f_2M$, so we cannot continue that process. On the other hand, $f_1f_2M$ is a quotient of $f_2M$, so maybe we can argue in that way. But why should $f_1f_2M$ be a proper quotient of $f_2M$?
$endgroup$
– Dune
Aug 28 '17 at 14:09
$begingroup$
I saw what you meant after rereading one more time. hmm
$endgroup$
– rschwieb
Aug 28 '17 at 17:20