在代数中，马施克定理是有限群表示论中基本的定理之一。
定理.若formula_1是域formula_2上的有限维线性空间，formula_3是有限群formula_4的表示, formula_5是formula_1的formula_4不变子空间, formula_2的特征不能整除formula_4的阶，则存在formula_1中的formula_4不变子空间formula_12，使得formula_13，从而formula_3是完全可约的。
证明.fo