半單元素

群 的 -元素 是半單的，如果 , 其中 是 的所有分量的交換積，而 是 的 中心化子。