馬什克定理

如果一個 矩陣群 是可約的，那麼它是完全可約的，即，如果這個 矩陣群 等價於一個 矩陣群，其中每個 矩陣 都具有約化形式

那麼它等價於透過將 設為獲得的 矩陣群。