ormula_7-模 formula_26，对每个 formula_27，存在唯一的不可分解左射影模 formula_28 （至多差一个同构），使得 formula_29。取 formula_30 为 formula_31 在 formula_28 的合成列中作为合成因子的重数。方阵 formula_33 称为 formula_7 的嘉当矩阵。