补充资料：不可约模

不可约模
irreducible module

不可约模[恤司。duem以如曲;H eupH.o八HM诫MO四了刀‘」，单模(slmPlem目ule) 在有单位元的环R上的一个非零么模(皿七叮m记川e)M，它只包含两个子模，即零模与M自身. 例.1)若R=z是整数环，则不可约R模是素数阶的Abel群.2)若R为体，则不可约R模是R上一维向量空间.3)设D为体，V是D上左向量空间，R=End。V是V的线性变换环(或其稠密子环)，则右R模V是不可约的 .4)设G是群而k是域，则G在k上的不可约表示恰是群代数(grouP al罗bra)kG上的不可约模. 右R模M为不可约的，当且仅当M同构于R/I，这里I是R中极大右理想.如果A和B是不可约的R模，f‘Hom*(A，B)，则f二0或f为同构(这蕴含着:不可约模的自同态环是个体).设R是一代数闭域上的代数，A和B是R上不可约模，则有(Scbur引理(Scllur lelnlna))· 。。m:(，，·卜{{。烹谎’ 在环与群的表示论中，不可约模概念是很基本的.用它，我们可定义环上的模的合成序列(①mposi-tion seque庄笼)和基座(so叱)，J翻co加阅根(Jaco比onra-d1G刃)以及完全可约模(田m pletely谈月uciblem闭ule).不可约模在很多重要类型的环的定义中都要用到.例如，经典半单环、本原环及其他环(见经典半单环(dass闹se而·slmPle nng);本原环(prilnjtl记加g)).

说明：补充资料仅用于学习参考，请勿用于其它任何用途。