关于循环子半群的结构与数量问题及拟环的特征与结构.docVIP

2002年3月 第18卷第1期纯粹数学与应用数学PureandAppliedMathematicsMar12002Vol118No11 关于循环子半群的结构与数量问题 及拟环的特征与结构α 朱平 () 摘　要:,并讨论了拟群分解问题,,并给出了定理的另一部分不可推广的反.,. :循环半群;拟群;拟环;幂零扩张 :O15217,O15313　文献标识码:A　 文章编号:100825513(2002)0120239205 1　引　言 群论中研究的主要问题之一是关于群及子群的数量与其构造.循环群的这一问题早已解决,且有代数基本定理:有限可换群可分解为循环群直积.自然,从循环半群及所有子半群与子群的构造去讨论有限可换拟群是否可分解为循环半群直积是非常必要的. 引理111[1]　令S=〈a〉为有限循环半群,则存在正整数m和r使得有下列性质:(1)　S={a,…,am,am+1,…,am+r-1}且am+r=am; (2)　Ka={am,am+1,…,am+r-1}为S的(最大)循环子群且包括了S的所有正则元.引理112[1]　令S=〈a〉为无限循环半群,则S≌(N,+). 这时,显然有Si=〈ai〉≌S,Πi∈N,故以下文中所讨论的S=〈a〉均为有限循环半群.称半群S为拟群,如果S为拟正则的,且幂等元唯一. 引理113[4]　令S为拟群,则S为其最大子群的幂零元理想扩张.推论111　S=〈a〉为有限循环半群当且仅当S为循环群Ka的幂零元理想扩张.2　循环子半群的结构和数量 α收稿日期:2001202214基金项目:江南大学211科研基金资助项目作者简介:朱平(19622),副教授,研究方向:半群代数理论 ? 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. 　　240纯粹数学与应用数学第18卷 定理211　令S=〈a〉且指数为m,周期为r.设Si=〈ai〉,Kai为Si的正则元集,Πi∈N.则Si为有限循环半群,Kai为Si的最大循环子群且Si的指数为[ x的最大整数.]+1,其中[x]为不超过i 证明　 　显然,Si为有限循环子半群; 　Π(ai)h,(ai)l∈Kai](ai)k,(ai)l∈Ka　](ai)h (ai)l=(ai)h+l∈Ka　(因为Ka为S的子群) 　](ai)h+l∈Kai　(因为(ai)h+l∈Si且正则) 故Kai封闭,从而为Ka子群.即Kai为Si[]+1]+1=]iia](ai)i∈Kaiii 而任意的u[]+mKai,故Si的指数为[]+1;ii 若计m,: ai,[]+1=1,即ai∈Kai=Si,故Si指数为1,i b)　im,即m=ik+s,1si,这时=k+故[]=k,从而iii 　若i m][ (a)i[]+1i m-s=aik+i=am-s+i=am+q∈Ka(因为t=i-s0),又(a)ii[]+1-1i=aik=am-s|Ka,故aKai,即证得Si的指数亦为[]+1.i 推论211　令S=〈a〉,且〈as〉≌〈ar〉,则[]=[].sr 注意211　S未必等于t.例如S=〈a〉,m=10,r=2,取s=7,t=9,则〈as〉≌〈at〉,但7|≠9. 定理212　令S=〈a〉,Si=〈ai〉,R={p p∈N,ip≥m且ip≡1(modr)},若R≠ ,则Kai=Ka. 注意212　R未必不空,例如 =]ip0≡0(modr)ii]i(p0+1)=i,…,i(p0+(p0-1))≡i(p0-1)(modr)设i≠1,i r,m=r,令p0= ]Πk∈N,i(kp0+s)≡is(modr),1sp0]1isr 故R= . 命题211　设i≥r,且i≡0(modr),则 Kai =1. 此时,Si为幂零元半群,且Si={ai,(ai)2,…,(ai)p0-1,0}. 命题212　设ir,且i r,则 Kai =i 定理213　令S为循环半群,Ka为r阶子群,任意i∈N,则存在 Kai = ≥m},则ip0=m+u,0ur,因此(i,r)证明　显然存在s,t∈N,使得r=s (i,r),i=t (i,r)且(s,t)=1,令p0=min{p ipi ? 1994-2009 China Academic Journal Electronic Publishing House. All rights reserved. = 第1期朱平　关于循环子半群的结构与数量问题及拟环的特征与结构 i (i,r)　　241(ai)p0=am+u,…,(ai)p0+s=am+u+=am+u+q r=am+u. 故 Kai ≤s. 如果am+u+ik=am+u+il,k≠l