Up to
"Di" を体、"Ei" を "Di" 上0でない有限次元ベクトル空間とし、A = End"D"1("E"1) × ... × End"Dp"("Ep") とする（これは同型の違いを除いて一般性を失わない）。このとき各 "Ei" は (("f"1, ..., "fp"), "xi") "fi"("xi") によって "A"-加群であり、"Ei" は同型の違いを除いて唯一の単純 "A"-加群である。