The bijection between projective indecomposable and simple modules
  For modules over a finite-dimensional algebra, there is a canonical one-to-one correspondence between the projective indecomposable modules and the simple modules. In this purely expository note, we take a straight-line path from the definitions to this correspondence. The proof is self-contained. 
Tom Leinster
math.RA math.RT