k-Algebren werden jetzt als unitär vorausgesetzt.
k^n ist der einzige einfache M_n(k)-Modul.