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.
|Journal||Bulletin of the Belgian Mathematical Society - Simon Stevin|
|Publication status||Published - Dec 2015|