正则半群与正则双序集-四川师范大学学报自然科学版.pdfVIP

　 1998 7 () July , 1998 　 　　　 　 21　 4 Journal of Sichuan Normal University( Natural Science) Vol. 21, No. 4　 正则半群与正则双序集 喻秉钧 (, 610066) 　　　(( ) , 1995, 18( 1): 12～ 17) ), Nambooripad. 、, ,. 　; ; ; 　O 152. 7 0 　 [ 1], Nambooripad( inductive groupoid).,,. [ 1],.、、 [2],,. ,, RS . [ 1], B; ,, RB . (groupoid). G, , G vG; G G, x∈ G, ex = domx ,f x = codomx;e∈ vG 1e . j: G→ G′, jvj. jv- (v-、v-、v-) vj; j, jv-. G, G . Nambooripad —— , ,. ,, [3]. 1　 1. 1　 G, G≤ , 3: ( OG1) x ,x ′,y,y′∈ G,x≤ x ′,y≤ y′xy,x′y′, xy≤ x′y′; 　 ( - - 　　　 1998 02 13　　　　52　 　　 () 21 386 - 1 - 1 ( OG2) x ,y∈ G,x≤ y x ≤ y ; ( OG3) x∈ G,e∈ vG,e≤ ex , y∈ G,y≤ x ,ey = e.y x|e x e. , OG.v: G→ vGOG PS . E , [ ], [ ]: E, RL RL (e,f ) ∈ [ ],(e,f )- 1 = (f ,e) ,e(e,f ) = e,f ( e,f ) = f . RL (e,h) ,　f = g, (e,f ) (g,h) = ,　. 　　 [ ] ≤ : (e,f )≤ (g,h) ekgf = eh [f = he].≤ RL ( OG1-3) , [ ]e∈ E(f ,g) ∈ [ ],ekf , RL RL (f ,g) |e= (e,eg) [(e,ge) ].,. E. 1. 2　E. , ,b(E, ∪ ) RL R L ;obb = Ebp (e0 ,e1 ,… ,en ) , (ei- 1,ei ) ∈ ∪ “”,ei∈ E,i= R L 1,… ,n;