自由幺半群X*的一族极大自由幺子半群

设X*是由字母表生成的自由幺半群,B1,B2是X的任意2-划分,C=B2∪B1XN,N1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N 1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群.     

自由幺半群X~*的两类极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。     

半群X*的一族极大自由幺子半群的推广

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,A=B2∪ E,其中E=B1XN(B02B1∪B2B1∪B22B1∪…∪BM-12B1∪BM2X),N≥0,M≥0.对N=0,文[1]证明了幺半群A*是自由幺半群X*的极大自由幺子半群.利用文[2]的结果证明了对N≥2,幺半群A*也是自由幺半群X*的...     

一族由前缀码生成的极大自由幺子半群

设X*是由字母表X生成的自由幺半群且A是X*的非空子集,如果A∩AX+=Φ,则称A是前缀码。设{B1,B2}是X的任意2—划分,令A=B2∪B1(Xi\Bi1)∪E,i=1,2,其中E=Bi1+1(B01B1∪B2B1∪B22B1∪…∪B2M-1B1∪B2MX),M≥0。文章证明了A是前缀码且幺半群A*是自由幺半群X*的极大自由幺子半群。     

自由幺半群X＇的一族极大自由幺子半群

设X1是由字母表X生成的自由幺半群,{B1,B2}是X的任意2一划分,C=B2UBl（XN＼B1N）UE,其中E=B1N＋1（B10B1UB281uUB22B1U…UB2M-1B1UB2MX）,N≥3,M≥o,则C’是X’的幺子半群。以X’为顶点集构造了一个语言图,然后利用该语言图证明了G‘是X‘的一族极大自由幺子半群。     

半群X^＊的一族极大自由幺子半群

考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图, 利用它证明了该族子半群是一族极大自由幺子半群.     

A Family Maximal Free Submonoid of the Free Monoid X

设X1是由字母表X生成的自由幺半群，{B1，B2}是X的任意2一划分，C=B2UBl（XN＼B1N）UE，其中E=B1N＋1（B10B1UB281uUB22B1U…UB2M-1B1UB2MX），N≥3，M≥o，则C’是X’的幺子半群。以X’为顶点集构造了一个语言图，然后利用该语言图证明了G‘是X‘的一族极大自由幺子半群。     

自由幺半群A~*的两类极大自由幺子半群

构造了自由幺半群A 的两类极大自由幺子半群 ,文中同时给出了自由半群A+ 的极大子半群的完全刻划 .     

关于自由幺半群A*的子幺半群是自由的一点注记

给出 A*的子幺半群是自由的一个新的充要条件 :A*的子幺半群 P是自由的当且仅当对某个固定的正整数 k,对任意 k个 w1 ,w2 ,…… ,wk∈ A* 只要存在 p,q∈ P使得 pw1 ,w1 w2 ,w2 w3,…… ,wk- 1 wk,wkq∈ P就有 w1 ,w2 ,…… ,wk ∈ P .     

型F的右适当幺半群

右适当幺半群S称为型F的,如果S是F-rpp半群.目的是给出型F的右适当幺半群的F*-幺半群结构定理:半群S是型F的右适当幺半群当且仅当S同构于F*(M,X,Y),这里F*(M,X,Y)是F*幺半群系统.此结果推广了F-逆半群的相关结果.     

极大前缀码的若干判定与性质

设X 是有限字母集X上的自由幺半群,以X 为顶点集构造一个语言图,用它来研究极大前缀码,并给出一系列判定极大前缀码的充要条件。最后还证明了字母集X上所有极大前缀码之集M(X)是一个自由幺半群。     

BCI-代数与BCK-代数的粘合(Ⅰ)

构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在:任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质.     

信号码的刻划及性质

设X*是字母表X上的自由幺半群,引入语言图Γ(X*)的共同横截集概念.利用语言图Γ(X*)的横截集与极大前缀码的关系,即前缀码A是极大前缀码的充要条件是A为语言图Γ(X*)的横截集,给出了信号码的一些刻划和性质.     

信号码的一个性质

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的模截集的概念,给出了信号码的一个性质,从而推广了文献[1]中的一个结果。     

长圈的邻域并条件的推广

本文证明了若G为一个k(k≥2)连通简单图,最小度为,δV(G)=n≥3,X 1,X 2,……,X k是顶点集合V的子集,X=X1∪X2∪…∪Xk,且对于Xi(i=1,2……k)中任意两个不相邻点u,v,都有N(u)∪N(v)≥n-δ,则X在G中可圈。并给出几个相关推论.     

λ_4-最优二部图的领域交条件

文章给出了二部图是λ4-最优的一个领域交条件.设n为一个不小于8的正整数,令G=（X∪Y,E）为一个n阶二部图且ξ4（G）≤n/2.若G有一个饱和X或Y中所有顶点的匹配且对任意的u,v∈X和u,v∈Y都有｜N（u）∩N（v）｜≥4,则G是λ4-最优的.