关于交换半群NRG集.docVIP

关于交换半群NRG集 　　摘要本文对交换半群的NRG集的存在性进行了讨论,通过在半群的不可逆元组成的集合中建立一个等价关系找到一个半群的不可逆生成集―此分类的全体代表团,然后,利用唯一分解摹群的性质用反证法证明所得到的集为半群的一个NRG集,从而得到如下结论:半群是交换摹群,且是唯一分解的,则该半群中存在NRG集。 　　关键词NRG集 半群 唯一分解 　　中图分类号:O1文献标识码:A 　　 　　设R是环,S为半群,令R[S]为所有有限形式和∑rss(其中rs∈R,s∈S)组成的集合,并规定其中的运算为:(1)加法:∑rss+∑rss=∑(rs+rs)s;(2)乘法:∑rss?∑rtt=∑rsrtst,则(R[S],+,?)构成一个环,称为半群S上关于环R的半群环,简记为R[S].半群的完全不可逆生成集对于研究半群的原子性和链条件都是一个很重要的概念,本文将对其存在性给出一个结论。 　　定义交换半群的一个子集称为半群S的一个RG集,如果下面两个条件成立: 　　(1)S1S\U(S), 　　其中U(S)为S的所有可逆元组成的集合; 　　(2)S\U(S)=+U(S),即t∈S\U(S), 　　存在t1∈,g∈U(S),使得t=t1+g 　　若S1是半群S的一个RG集,且满足下面条件, 　　则称S1为半群S的一个NRG集。 　　定理1设D是整环,r1,r2∈D,则(r1)(r2) 　　当且仅当Er∈D,r不可逆,使r1=rr2. 　　(把此定理中的“整环D”换成“交换可消摹群S”时, 　　引理依然成立) 　　证明必要性,设(r1)(r2),则Er∈D,使r1=rr2.若r可逆,则r1r-1=r2,从而(r2)(r1),这与(r1)(r2)矛盾,故r不可逆. 　　充分性,设Er∈D,r不可逆,使r1=rr2. 　　则(r1)(r2).若(r1)=(r2), 　　则Er∈D,使r2=rr1, 　　从而r1=rr2 =r1=rrr1. 　　因D为整环,故rr=1,即r可逆,这与r不可逆矛盾。 　　因此(r1)(r2)成立。 　　引理2(推论1)设D是整环,S是交换无挠可消摹群,rs∈D[S],则rs是可逆元当且仅当r在D中可逆,且s在S中可逆. 　　定理3D[S]满足a.c.c.p.的必要条件是:环D满足a.c.c.p.且半群S满足a.c.c.p. 　　证明用反证法,假设D不满足a.c.c.p,则在D中有严格升链: 　　(r1)(r2)… 　　由定理1知,i,Eri+1∈D,ri+1在D中不可逆, 　　使ri=ri+1 ri+1,i=1,2,3…从而rie=ri+1ri+1e=ri+1e ri+1e. 　　而由引理2知ri+1e在D[S]中不可逆, 　　故由引理1知在D[S]中,有(rie)(ri+1e),i=1,2,3…. 　　即在D[S]中有严格升链(rie)(r2e)…, 　　这与D[S]满足a.c.c.p.矛盾。 　　假设S不满足a.c.c.p.,则在S中有严格主理想升链: 　　(s1)(s2)… 　　由定理1知,i,Esi+1∈S,si+1在S中不可逆, 　　使si=si+1 si+1,i=1,2,3…,从而在D[S]中有 　　1?si=1?si+1 si+1=.1?si+1?1? si+1 　　而由引理2知1?si+1在D[S]中不可逆, 　　故在D[S]中有(1?si)(1?si+1),i=1,2,3…, 　　即在D[S]中有严格主理想升链: 　　(1?s1)(1?s2)… 　　这与D[S]满足a.c.c.p.矛盾. 　　因此,D[S]满足a.c.c.p.的必要条件是D满足a.c.c.p.,且S满足a.c.c.p. 　　定理4设(S,+)是交换摹群,且是唯一分解的,则S在中存在NRG集。 　　证明设T1为S中所有不可约元组成的集合。因为S是唯一分解的,可以证明S\U(S)=: 　　实际上,对任意t1∈S\U(S),由唯一分解的定义即知t能唯一的分解为S中有限个不可约元的积, 　　从而,t∈,即得S\U(S)=. 　　在T1中定义关系~:a~b当且仅当存在c∈U(S), 　　使得b=a+c。 　　则显然~是T1中的一个等价关系.由此决定T1的一个分类。 　　设此分类的全体代表团为T,则对任意t∈T1,存在t∈T,c∈U(S),使得t=t+c, 　　反之,t∈T,c∈U(S),有t+c∈T1。 　　因此,T1=T+U(S), 　　从而,S\U(S)===+U(S). 　　由定义即知T是S的一个RG集. 　　下面证明T是NRG集.用反证法: 　　假设T不是NRG集,则存在t∈,以及0≠g∈U(S),使得t+g∈.