| Ill this paper.We mainly study two classes of generalized regular semigroups,some properties and structure theorems of such semigroup are given.The main idea is to describe properties and structures of generalized regular semigroups by gener-alized Green relations on generalized regular semigroup.There are three chapters,the main contest are given in follow:In the first chapter,we study congruence and properties of strongly U-HU-abundant semigroups,we give three biggest congruences contained in LU,RU,HU respectively,many equivalent characterizations are given by the three congruences.Finally,we characterize some properties of strongly U-HU-abundant semigroups in term of idempotents.The main results are given in follow:Theorem 1.2.2 Let S be strongly U-LU-abundant semigroups,then?(?)U={(a,b)?S×S|(?)u?U1,(ua,ub)?LU}={(a,b)?S×S|(?)u?U1,(ua)*=(ub)*}.is biggest congruence contained in LU.Theorem 1.2.3 Let S be strongly-V-RU-abundant semigroups,then?(?)U={(a,b)?S×S|(?)u?U1,(au,bu)?RU}={(a,b)?S×S|(?)u?U1,(au)+=(bu)+}.is biggest congruence contained in RU.Theorem 1.2.4 Let S be stronglh U-HU-abundant semigroups,then?={(a,b)?S×S|(?)u?U1,(ua,ub)?LU,(au,bu)?RU}={(a,b)?S×S|(?)u?U1,(ua)*=(ub)*,(au)+=(bu)+}.is biggest congruence contained in HU.Theorem 1.2.8 Let S be strongly U-LU-abundant semigroups,then the follow statements are equivalent:(1)S=U={u?(?)U|u?U};(2)?(?)U=LU;(3)For(?)u?U,a?S,(au,ua)?LU.Theorem 1.2.9 Let 5 be strongly U-RU-abundant semigroups,then the follow statements are equivalent:(1)S=U={U?(?)U|u?U];(2)?(?)U=RU;(3)For(?)u?U,a?S,(au,ua)?RU.Theorem 1.2.10 Let S be strongly U-HU-abundant semigroups,then(1)For(?)a,b?S,a*=a+,b*=b+;(2)LU=RU=HU;(3)EachHU-class of S only contain an idempotont in U;(4)U is center of S.Theorem 1.2.12 Let s be strongly U-LU-abundant semigroups and if S is strongly U-LU-abundant semigroups,then for(?)a?S,a*=a*.Theorem 1.2.13 Let S be strongly U-RU-abundant semigroups and if S is strongly U-RU-abundant semigroups,then for(?)??S,a+=a+.Theorem 1.2.14 Let S be strongly U-HU-abundant semigroups and if S/?is strongly U/?-HU/?-abundant semigroups,then for(?)a?S,(a?)*=a*?,(a?)+=a+?.Theorem 1.2.15 Let S be strongly U-(?)-abundant semigroups.If S is strongly U-(?)-abundant semigroups,then S is right basic.Theorem 1.2.16 Let S be strongly U-(?)-abundant semigroups.If S is strongly U-(?)-abundant semigroups,then S is left basic.Theorem 1.2.17 Let S be strongly U-(?)-abundant semigroups.If S/?.is strongly U/?-(?)-abundant semigroups,then S/? is basic.In the second chapter,we give the description of the structure of tvpe A-(?)-abundant semigroups.Firstly,we give the definition of type A-(?)-abundant semigroup.Secondly,we prove that the type A-(?)-abundant semigroups' transla-tions hull is still the type A-(?)?abundant semigroups' translations hull.The main results are given in follow:Theorem 2.2.9 The type A-(?)-abundant semigroups' translations hull is still the type A-(?)-abundant semigroups'translations hull.Corollary 2.2.10 The type A-(?)-abundant semigroups' translations hull is still the type A-(?)-abundant semigroups' translations hull.In the third chapter,we define the LR-C-good B-quasi-Ehresmann semigroups and get the structure of LR-C-good B-quasi-Ehresmann semigroups.The results are given in follow:Theorem 3.2.1 Let S be a semigroup.Then S(B)is a LR-C-good B-quasi-Ehresmann semigroup for some B C E(S)if and only if S is isomorphic to a spined product Si × T??,S2 of a left C-goodB-quasi-Ehresmmann semigroup S1=[Y;I?×T?]and a right C-goodB-quasi-Ehresmann semigroup S2=[Y;T?×A?]having a common C-good B-quasi-Ehresmann semigroup component T=[Y:T?]with respect to the semigroup homomorphisms ?:(i,x)(?)x,for(i,x)?Si and?:(x,?)(?)x,for(x,?)S2,and B(S)C(C(B(S1))x B(S2))U(B(S1)×C(B(S2))).Where B(S)=??Y((I?×{1T?)×({1T?}×??)),B(S1)-???Y((I?x{1T?}):B(S2)=???Y({1T?}×A?)and C(B(Si))is center of B(Si),i-1,2.Theorem 3.2.2 Let T=[Y;T?]be a C-goodB-quasi-Ehresmann semigroup,I=[Y;I?]is a left regular band and A=[Y;??]is a right regular band.If the following mappings?:???Y(I?×T?)??l(I),(i,x)?(i,x)#?:???Y(T?×??)??r(?),(x,?)?(x,?)*Satisfying the following pairs of conditions:(L1)if(i,x)? I? × T? and j?I?,then(i,x)#j?I??;(R1)if(x,?)?T?×?? and ????,then ?(x,?)*????;(L2)if???in(L1),then(i,x)#j=i;(R2)if???in(R1),then ?(x,?)*=?;(L3)if(i,x)?I?×T?and(j,y)?I?×T?,then(i,x)#(j,y)#=((i,x)#j,xy)#;(R3)if(x,?)?T?×??and(y,?)?T?×??,then(x,?)*(y,?)*=(xy,?(y,?)*)*;(P)if i?I?,????,then(?)???,(?)j?I?,(i,1T?)#j=j(according to(L2)to|I?|=1)or(?)???,(?)????,?(1T?,?)*=?(according to(R2)to |??|=1).Then S(B)=???Y(I?×T?×??)forms a LR-C-goodB-quasi-Ehresmann scrnigroup,where B=???Y(I?×{1T?} ×??),under the following multiplication:(i,x,?)(j,y,?)=((i,x)#j,xy,?(y,?)*).Conversely,every LR-C-goodB-quasi-Ehresmann semigroup can be constructed in the above manner.Theorem 3.2.3 Let T=[Y;T?]-be a C-goodB-quasi-Ehrresmann semigroup,let I?and ?? be two non-empty sets such that I??I?=(?)=?????(???)for(?)??Y.Do direct product Pa=I?×T? and Q?=T?×??(?? Y).Denote S=???Y(I?×T?×??)and B=???Y(I?×{1T?}×??).Now for(?)?,??Y,???,define the mappings??,?:P???l(I?),(i,x)???,?(i,x)??,?:Q???r(??),(x,?)???,?(x,?)satisfying the following pairs of conditions:(L1)if(i,x)?P? and j?I?,then ??,?(i,x)j=i;(R1)if(x,?)?Q?and ????,then ???,?(x,?)=?;(L2)if(i,x)?P?and(j,y)?P?:then ??,??(i,x)??,??(j,y)=???,??(i,x)??,??(i,y)?;(R2)if(x:?)?Q?and(y,?)?Q?,??,??(x,?)??,??(y,?)=???,??(x,?)??,??(y,?)?;(L3)if ???? in(L2),then ???,?(k,xy)=??,??(i,x)??,?(j,y),where k=???,??(i,x)??,??(i,y)?;(R3)if ????in(R2),then ???,?(xy,v)=???(x,?)??,?(y,?),where v=???,??(x,?)??,??(y,?)?;(P)if i ?I?,????,then(?)???,??,?(i,1??)=?I?,(?I? is identity mapping on I?)(according to(Li)to |I?|=1)or(?)???,??,?(1T?,?)=???,(??? is unit mapping on ??)(according to(R1)to |??|=1).Then S(B)=???Y(Ia x T?×??)forms a LR-C-goodB-quasi-Ehresmann semigroup,where B=???Y(I?×{1T}×??),under the following multiplication:(i,x,?)(j,y,?)=(???,??(i,x)??,??(j,y)?,xy,???,??(x,?)??,??(y,?)?).Conversely,every LR-C-goodB-Ehresmann semigroup can be constructed in the above manner.Corollary 3.2.4 Let T=[Y;T?]be a C-Ehresmann semigroup.I=[Y;I?]is a left regular band and ?=[y;??]is a right regular band.If the following mappings?:???Y(I?×T?)??l(I),(i,x)?(i,x)#?:???Y(T?×??)??r(?),(x,?)?(x.?)*satisfying the following pairs of conditions:(L1)if(i,x)?I?;x Ta and j?I?,then(i,x)#j?I??;(R1)if(x,?)?T?×??and ????,then ?(x,?)*????;(L2)if ??? in(L1),then(i.x)#j=i;(R2)if???in(R1),then ?(x,?)*=?;(L3)if(i,x)?I?×T? and(j,y)?I?×?,then=(i,x)#(j,y)#=(i,x)#j,xy)#;(R3)if(x,?)Tax A? and(y,?)?T?×??,then(x,?)*(y,?)*=(xy,?(y,?)*)*;(P)if i ?I?????,then(?)???,(?)j ?I?,(i,1T?)#j=j(according to(L2)to|I?|=1)or(?)???,(?)????,?(1T?,?)*=(according to(R2)to |??|=1).Then S(B)=???Y(I?×T?×??)forms a LR-C-Ehresmann semigroup,where B=???Y(I?×{1T?}×??),under the following multiplication:(i,x,?)(j,y,?)=((i,x)#j,xy,?(y,?)*).Gonversely,every LR-C-Ehresmann semigroup can be constructed in the above manner.Corollary 3.2.5 Let T=[Y:T?]be a C—Ehresmann semigroup,let I?and ?? be two non-empty sets such that I?? I?=(?)=??? ??(???)for(?)??Y.Do direct product P?=I? × T?and Q?=T?×??(??Y).Denote S=???Y(I?×T?×??)and B=???Y(I?×{1T?}×??).Now for(?)?,??Y,???,define the mappings??,?:P???l(I?),(i,x)???,?(i,x)??,?:Q???r(??),(x,?)???,?(x,?)satisfying the following pairs of conditions:(L1)if(i.x)?P? and j ??,then ??,?(i,x)j=i;(R1)if(x,?)?Q?and ????,then ???,?(x,?)=?;(L2)if(i,x)? Pa and(j,y)?P?,then ??,??(i,x)??,??(j,x)=???,??(i,x)??,??(j,x)?);(R2)if(x,?)? Q? and(y.?)? then ??,??(x,?)??,??(y,?)=???,??(x,?)??,??(y,?)?);(L3)if ???? in(L2),then ???,?(k,xy)=??,?(j,y),where k=???,??(i,x)??,??(j,y)?;(R3)if ???? in(R2),then ???,?(xy,v)=??,?(x,?)??,?(y,?),where v=???,??(x,?)??,??(y,?)?;(P)if i ?I?,????,then(?)???,??,?(i,1T?)=?I?,(?I? is identity mapping on I?)(according to(L1)to |I?|=1)or(?)???,??,?(1T?,?)=???,(??? is unit mapping on ??)(according to(R1)to |??|=1).Then S(B)=???Y(I?×T?×??)forms a LR-C-Ehresmann semigroup,where B=???Y(I?×{}1T?} × ??),under the following multiplication:{i,x,?)(j,y,?)-(??????(i,x)??,??(j,y)?,xy,???,??(x,?)??,??(y,?)?).Conversely,every LR-C-Ehresmann semigroup can be constructed in the above manner. |
PDF Full Text Request