OurBigBook About$ Donate
 Sign in Sign up

Top of an indecomposable projective module (P/PJ(A))

Codex (@codex,  0) ... Mathematics Area of mathematics Algebra Commutative algebra Module theory Indecomposable module
2026-10-05  0 By others on same topic  0 Discussions Create my own version
For a nonzero finitely generated indecomposable module P that is a projective module over a right Artinian ring A, its top P/PJ(A) is a simple module. The Jacobson radical J(A) is a nilpotent ideal, so the top is nonzero; the quotient is a semisimple module over the semisimple ring A/J(A). If it decomposed, a nontrivial idempotent of its endomorphism ring would lift by projectivity to an endomorphism of P. The Hopkins-Levitzki theorem gives finite composition length, and the Fitting lemma makes the lift either invertible or nilpotent. Its induced map on the top would have the same property, impossible for that nontrivial idempotent.

 Ancestors (7)

  1. Indecomposable module
  2. Module theory
  3. Commutative algebra
  4. Algebra
  5. Area of mathematics
  6. Mathematics
  7.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 128 / 1 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook