自由幺半群A^＊的两类极大自由幺子半群

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

自由幺半群X^＊的两类极大自由幺子半群的推广

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

L-fuzzy子群的L-fuzzy同态

给出了L-fuzzy子幺半群的概念及刻画.给出了一种真正的L-fuzzy子幺半群间的L-fuzzy同态和L-fuzzy同构等概念.最后证明了L-fuzzy子群在L-fuzzy同态映射和L-fuzzy同构逆映射下不变.

灰色数学的新分支——灰群

给出了灰子半群、强灰子半群、灰子幺半群、强灰子幺半群、灰子群和强灰子群的定义和有关定理．在此基础上，讨论灰子群与模糊子群、一般子群的关系．并且研究了灰正规子群．

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

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2—划分,C=B2∪B1XN,N≥1,文[1][2]中证明了C*是自由幺半群X*的幺子半群。以X*为顶点集构造了一个语言图,利用它证明了:对N≥1,C=B2∪XNB1,幺半群C*也是自由幺半群X*的一族极大自由幺子半群.

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

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

半群X^＊的一族极大自由幺子半群的构造性证明

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

自由幺半群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*的极大自由幺子半群.

与稳定子幺半群和码相关的若干语言类

从稳定子幺半群的定义出发,将其定义中出现的命题条件进行改变,定义了8个语言类,并讨论了这8个语言类的层次关系.

一类由极大码生成的极大自由幺子半群

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B31∪B1(X2\B21)X。证明了C是极大码且C*是自由幺半群X*的极大自由幺子半群。

自由摹群与摹群的自由积

给出了自由摹群和摹群自由积的定义以及它们的范畴性质。

正规子么半群与强码

设∑为字母表,∑是由∑生成的自由么半群.本文得到∑的任一正规子么半群恰是∑上的强码所生成的语言,讨论由强码导出的同余的性质,并给出码成为极大强码的充要条件.

关于自由幺半群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 .

关于剩余么半群中的1──闭元

本文书证明每一个极大元为1的交换的剩余么半鲜能导出一个Abel群，并且这个Abel群正好由1──闭元组成。另外，本文引入了谐零元的概念并证明谐零元集构成一个剩余干么半群。

与稳定子幺半群和码相关的若干语言类(续)

在文献[1]的基础上,继续利用语言X生成的星语言X*对部分码类进行了重新刻画,并借助对所定义的语言类的层次关系讨论,完成了对部分码类的层次关系讨论.对于C4,C8两个语言类,虽然讨论了其与Pri,T2语言类的层次关系,但仍然未能对其进行重新刻画,它们到底是由哪些语言组成的仍未得到解决.

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

设X*是由字母表X生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B1(XN\B1N)∪E,其中E=B1N+1.(B10B1∪B2B1∪B22B1∪…∪B2M-1B1∪B2MX),N3,M0,则C*是X*的幺子半群。以X*为顶点集构造了一个语言图,然后利用该语言图证明了C*是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*的极大自由幺子半群。

圆周码的拟复合性及其完全化

文章给出了圆周码的完全化方法,并考虑了圆周码的一系列拟复合性质,从而为其它特殊圆周码的完全化提供了一个新的工具.

关于满足条件(P′)的循环S-系

设S是幺半群,ρ是S上的右同余,S/ρ是循环右S-系。讨论了满足条件(P′)的循环右S-系关于条件(P)、条件(PF″)、弱拉回平坦、强平坦、投射性质的同调分类问题。