半单元素

群 的 -元素 是半单的，如果 , 其中 是 的所有分量的交换积，而 是 的 中心化子。