拟推荐项目项目名称半环代数理论的若干研究主要完成人及贡献.DOCVIP

拟推荐项目 项目名称：半环代数理论的若干研究 主要完成人及贡献： 排名 姓名 对本项目主要学术和技术创造性贡献 1 赵宪钟 研究了一些与格林关系相关的幂等元半环簇, 给出了幂等元AI-半环簇中的自由对象的模型, 刻画了幂等元AI-半环簇的子簇格；引入并研究了(2, 2)-型代数的坚固构架, 及其它在半环中的应用；研究了弱归纳*-半环和局部闭半环，回答了ésik和Kuich提出的公开问题；探讨了链上矩阵的指标和周期的计算方法；给出了一些剩余格的性质、特征和结构性定理。见主要论文专著1-5,9-15,20。在该项研究中的工作量占本人工作量的90%。 2 邵勇 研究了半环的两个半群导出之间的内在联系，回答了一些AI-半环的Zeleznikow问题；引入了M-矩形可分半环，研究了这些半环的分配格和次直积。见主要论文专著7，17。在该项研究中的工作量占本人工作量的70%。 3 陈益智 研究了分配格上矩阵的指标和周期、指标的计算方法；解决了布尔代数上矩阵的一些线性保持问题；探讨了非负上三角矩阵半群的分解问题, 部分地回答了相关文献的一些公开问题。见主要论文专著5，15,18。在该项研究中的工作量占本人工作量的70%。 4 田径 研究了交换异步自动机和含幺型自动机的代数特征, 给出了这些自动机的表示定理。所得结果推广了著名的理论计算机科学专家Ito的工作。见主要论文专著6，19。在该项研究中的工作量占本人工作量的70%。 5 任苗苗 通过引入半群的(n,m)-闭子集，给出了Burnside AI半环簇的自由对象的模型。见主要论文专著8。在该项研究中的工作量占本人工作量的70%。 主要完成单位及贡献： 排名 单位名称 主要贡献 1 西北大学 在承担和完成该项目的过程中，学校指导该项目的立项工作，并为该项目的研究人员提供了很好的工作条件，例如，为该项目的研究配备专门的办公室和先进的实验仪器设备，为项目负责人配备工作助手。在研究期间遇到困难和问题时，学校给予了很大的帮助，为研究工作的顺利展开提供了方便。学校还在研究经费上给予了该项目大力支持，并定期检查项目的进展和完成情况，不断地监督和指导，保证项目地顺利进行。 2 惠州学院 在承担和完成该项目的过程中，学校为研究人员陈益智提供了很好的工作条件，为研究工作的顺利展开提供了方便。学校还在研究经费上给予了陈益智大力支持，推荐其申请获得2015年广东省自然科学基金项目及2015年广东高校优秀青年教师培养计划项目，共获得40万资助。 3 西安外国语大学 在承担和完成该项目的过程中，学校参与该项目的立项工作，并为该项目的研究人员提供了很好的工作条件，例如，为该项目的研究创造良好的办公条件，提供计算机和耗材以及必要的办公用品。在研究期间遇到困难和问题时，学校给予了很大的帮助，为研究工作的顺利展开提供了方便。学校还定期检查项目的进展和完成情况，不断地监督和指导，保证项目地顺利进行。 项目简介： 本项目属基础研究类。项目组长期从事基础数学的教学与研究。近20余年来，由于半环的代数理论在数学的内外部有做广泛的应用，它在全球范围内受到了高度的重视与积极的研究。我们紧跟国际研究趋势， 选择了半环代数理论这一代数学的重要分支作为自己的研究课题。10余年来，在多项国家级和省部级计划基金项目资助的基础上，在与美国的Pastijn F、印度的Sen MK 、香港的Shum KP、我国的郭聿琦和韩国的Jun BY等国际同行合作研究的期间，项目组成员成功地将半群与泛代数的方法引入到了半环的研究领域之中。我们获得了一系列创新的结果，完成了本项目--《半环代数理论的若干研究》。本项目主要从以下几方面展开了研究。 1. 本世纪初，我们率先对幂等元半环展开了深入系统的研究，给出了幂等元AI-半环簇中的自由对象的模型；证明了这个簇中的每一个成员的乘法半群都是正则幂等 元半群；表明了对应于13个正则幂等元半群簇，可得13不同的幂等元AI-半环簇。我们也描述了由这13个幂等元AI-半环簇生成的半环簇的子簇格和给出了它们的自由对象的模型。在上述工作的基础上，我们在文献中证明了幂等元AI-半环簇的子簇格是分配的和确切含有78个元素；发现了这个半环簇的每一个子簇都是有限基底的。这就回答了关于这些半环簇的Tarski有限基底问题。我们也展开了半环的两个半群导出之间的内在联系的研究。回答了关于AI-半环的Zeleznikow问题。 2. 瞄准信息科学与计算机科学中一些实际问题，我们研究了半环上的形式幂级数半环和矩阵半环。 我们引入并研究了*-μ-半环和*-λ-半环，给出了它们的若干性质；证明了系数取自弱归纳 *-半环上的定量语言的全体在形式幂级数的加法、乘法及星号运算下仍然形成弱归纳*-半环，从而回答了ésik和Kuich提出的公开问题。另一方面，我