有限维结合代数上表示的可约性

给出有限维结合代数上表示可约性的两个判别法。它们是，（Ｉ）若φ是有限维结合代数Ａ上的表示，其表示矩阵为αφ，且存在非零元α∈Ｚ（Ａ），使得Ｔ（α）≠０，而ｄｅｔＴ（α）≠０，则φ是可约的；（Ⅱ）若φ是有限维结合代数Ａ上的正则表示，其反表示矩阵为Ｓ（α），则φ是既约的充要条件为：Ａ↓α∈Ａ，α≠０，有ｄｅｔＳ（α）≠０。     

模的半同态

证明模的半同态或同态或是反同态，即若Ｒ是环，Ｍ和Ｍ’是Ｒ双模，φ为Ｍ到Ｍ’的一个映射。