共查询到15条相似文献,搜索用时 120 毫秒
1.
2.
自由幺半群X*的一族极大自由幺子半群 总被引:1,自引:0,他引:1
设X*是由字母表生成的自由幺半群,B1,B2是X的任意2-划分,C=B2∪B1XN,N1,文[1-2]证明了幺半群C*是自由幺半群X*的极大自由幺子半群.本文证明了:对N≥1,C=B2∪B1(XN\B1N)∪B1N 1X,则幺半群C*也是自由幺半群X*的极大自由幺子半群. 相似文献
3.
自由幺半群X*的两类极大自由幺子半群的推广 总被引:1,自引:0,他引:1
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN。对N=1,2,文[1]证明了幺半群C*是自由幺半群X*的极大自由幺子半群。本文证明了:对N≥3,幺半群C*也是自由幺半群X*的极大自由幺子半群。 相似文献
4.
5.
自由幺半群的一族极大自由幺子半群 总被引:1,自引:0,他引:1
徐波 《贵州师范大学学报(自然科学版)》2007,25(2):68-70
设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群. 相似文献
6.
设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‘的一族极大自由幺子半群。 相似文献
7.
设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*的... 相似文献
8.
半群X^*的一族极大自由幺子半群 总被引:1,自引:1,他引:1
胡华碧 《重庆文理学院学报(自然科学版)》2009,28(1)
考虑自由幺半群X*的一族特殊幺子半群,并以X*为顶点集构造了一个语言图, 利用它证明了该族子半群是一族极大自由幺子半群. 相似文献
9.
10.
证明了非空集合$X$上自由Clifford幺半群$C_{X}$与双根字树集合$B_{X}$的某个子集并上一个恒等元所得的半群$\\overline{B_{X}}$同构, 并且考察了$B_{X}$与$\\overline{B_{X}}$的关系. 另外, 还证明了含恒等元的自由半格$Y_{X}$与有根字树集合$T_{X}$的某个子集并上一个恒等元所得的半群$\\overline{T_{X}}$同构. 相似文献
11.
12.
13.
讨论了本原自动机的自同态,证明了如果广义正规自动机Α的所有本原自动机都是Sl(或G)-自动机,那么Α也是Sl(或G)-自动机;证明了强连通本原自动机的并是G-自动机;利用极小生成元集将标准自动机的定义推广到有限自动机,给出了广义标准自动机的定义及其成立的一个充分条件。 相似文献
14.
15.
李登信 《重庆工商大学学报(自然科学版)》1998,(4)
证明了如下结果:设G是有限群,|G|=pqr,p、q、r为素数,p<q<r,G是G的换位子群,|G|=qr。则(1)不属于G的元均为p阶元,(2)若M是G的极小生成集,且M∩G=,则|M|=2。 相似文献