如果一个 矩阵群 是可约的，那么它是完全可约的，即，如果这个 矩阵群 等价于一个 矩阵群，其中每个 矩阵 都具有约化形式
![[D_i^((1)) X_i; 0 D_i^((2))],](/images/equations/MaschkesTheorem/NumberedEquation1.svg) |
那么它等价于通过将 
设为获得的 矩阵群。
马什克定理
另请参阅
矩阵群使用 Wolfram|Alpha 探索
参考文献
Lomont, J. S. Applications of Finite Groups. 纽约：Dover，第 49 页，1987 年。在 Wolfram|Alpha 中被引用
马什克定理请这样引用
Weisstein, Eric W. “马什克定理。” 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/MaschkesTheorem.html