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

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

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

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

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

设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﹡的一族极大自由幺子半群。

半群环的主理想升链条件问题

在环为整环、半群为交换无挠可消摹群的条件下对半群环的主理想升链条件进行了研究.得 到了半群环满足“主理想升链条件”的必要条件,以及在U(S)={e}的条件下半群环满足“主理想 升链条件”的充要条件.

自由幺半群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生成的自由幺半群,{B1,B2}是X的任意2-划分,C=B2∪B31∪B1(X2\B21)X。证明了C是极大码且C*是自由幺半群X*的极大自由幺子半群。

0-群码的结构

通过对比群码的定义,给出0-群码的定义,并利用已知的群码的结构定理和性质,将其推广至0-群码上,得到了0-群码的一个结构定理和类似于群码的一个结论.

自由摹群与摹群的自由积

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

2——正则码

定义一类特殊码：２ ———正则码，在给出若干特征后，得到它的分类与构造。

模糊化内缀码和模糊化外缀码(英文)

在自由幺半群上引进模糊化内缀码和模糊化外缀码的概念,并进一步讨论它们的基本代数性质。

语言幺半群中子幺半群的自由性

证明了强左奇异且右奇异语言及｛１｝之集是语言幺半群的自由子幺半群；由此给出了强双侧奇异语言幺半群自由性的一个简化证明．进而讨论了极大前（后、双）缀码子幺半群的自由性问题．

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

半群局部化的存在唯一性

本文主要指出了半群B在其子半群T的局部化总是存在的。

自由半群方程a^mb^n=c^p的一点注记

证明了自由半群方程ambn=cp,其中m,n>1,p>2若有本原解,则p=m+n。

上下文无关格值词语言研究

文章在格半群意义下,提出基于词计算的上下文无关格值文法,证明由其生成的格值词语言关于并与连接运算封闭,及其与乔姆斯基范式文法等价.

GCD-摹群条件下的半群环主理想升链条件

对交换半群环的主理想升链条件进行了讨论.在环是整环,半群S是交换无挠可消摹群,S中存在完全不可逆生成集的条件下得到一个关于半群环的主理想升链条件的充要条件.在交换摹群S是唯一分解的条件下证明了在S中存在完全不可逆生成集,由此得到交换无挠可消摹群是GCD-摹群的条件下关于半群环的主理想升链条件的充要条件.

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