柳孟辉
令 G 表一具有算子域Ω的群而Ω假定至少包含所有 G 的内同构.G 积为其子群系{I}的直积,若 G 的每一元素α可一意地表为乘积α=α_1·α_2…α_n而不等的α_i 分别关于{I}中不同的 I_i.G 的任一子群 I 称为不可约的,若除其本身与单位群外 I 不再含有 G 的子群.G 称为完全可约群若对于 G 的任一子群 N 恒有一子群 N′使 G 不 N 及 N′的直积.首先我们证明了下面的主要定理:一完全可约群为不可约子群的直积.其次,将上面的结果应用于环.一环 R 可看作一以其自身为左乘(或右乘)算子域的加群.若此加群为完全可约群,则称 R 为左边(或右边)完全可约环.此加群的不可约子群即为 R 的最小左(或右)理想集合,遂有定理.一左边(或右边)完全可约环为其最小左(或右)理想集合的直和.所谓环 R 的根基 R 即为所有某次幕后为零的左理想集合的和.对于一左边完全可约环的根基且有如下的定理.一左边完全可约环 R 的根基 R 有下列性质:i) (?)=0.ii) (?)R=0.iii) 设 l 为 R 的任一非零最小左理想集合且含于(?)内者,于是,若 Rl=0,则 l 由一元素 x 之倍数 x,2x…,px(=0)所组成,而 p 为一质数;若 Rl≠0,则 l=l′x,xε(?)而 l′为 R 的某一最小左理想集合.至此即可论其根基为零的左边完全可约环.此种环特称为半简单环.若任一左边完全