mula_168 是等变映射，此外它的核即所求的补空间。formula_110 的有限维表示可以通过特征标理论理解：表示 formula_170 的特征标是一个类函数 formula_171，由式子给出；这里 formula_173 代表线性算子的迹。formula_110 的不可约表示由它的特征标完全确定。更一般地，对于特定的特征为 formula_175 的域，马施克定理仍然成立，唯一要求是 formula_175 与 formula_110 的阶互质。如果 formula_175 与 for