半群有限基问题的若干研究

来源 :兰州大学 | 被引量 : 0次 | 上传用户:feitianxueyuan110
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
称一个代数是有限基的,如果它满足的等式可以由有限多个等式导出.否则,称这个代数是非有限基的.有限代数的有限基问题是泛代数的经典研究课题.对于一些经典的代数系统,如,有限群、有限环、有限格以及有限李代数,已经被证明是有限基的.但有限半群的有限基问题仍是一个公开问题.本学位论文主要利用句法分析的方法,研究了n元链上的一类变换半群,(域,半环,分配格上的)二阶上三角矩阵半群及广义Rees矩阵半群的有限基问题,得到了一些有意义的研究成果.具体内容如下:设PEIn (POEIn)为长度是n的链上所有部分(保序)扩展单射变换构成的幺半群.第三章首先给出了一个非有限基半群的充分条件.作为充分条件的一个应用,证明了幺半群PEI3 (POEI3)是非有限基的.进而,结合Edmunnds和Goldberg的结论,完全解决了幺半群PEIn(POEIn)的有限基问题和遗传有限基问题,即,证明了PEIn (POEIn)是非有限基的当且仅当n≥3;PEIn(POEIn)是遗传有限基的当且仅当n≤2.设UTn(F)为域F上主对角线元素是0或者1的n阶上三角矩阵构成的半群,其中n≥2.Volkov证明了对实数域R,UT3(R)是非有限基的.张文婷,李建荣和罗彦锋证明了当F为二元域时,幺半群UT2(F)是遗传有限基的.陈玉柱等证明了对任意域F,半群UT2(F)是有限基的,并给出了它的一个有限等式基.对任意特征非0的域F,第四章研究了半群簇var(UT2(F))的子簇的有限基问题,证明了半群UT2(F)是遗传有限基的.设L为包含0和1的分配格,TMn(L)为L上n阶上三角矩阵构成的半群.又设UMn(T)为热带半环T=R∪{-∞}上所有主对角线元素是0或者-∞的n阶上三角矩阵构成的半群.第五章首先建立了一个有限基半群的充分条件,应用该充分条件分别证明了TM2(L)和UM2(T)是有限基的,从而解决了它们的有限基问题.设Cm,r1为单演幺半群.将广义Rees矩阵半群M0(Cm1,r,{1,2},{1,2},011ai))记为RM(ai),将M0(Cm1,r,{1,2},{1.2},(0anr+r anr+rai))记为RMi,其中anr+r是单演半群Cm,r的唯一幂等元.第六章首先给出了一个非有限基半群的充分条件,应用这个充分条件和已有的结论,分别研究并解决了广义Rees矩阵半群RM(ai)和RMi的有限基问题,其中,m,r≥1,0≤i≤m+r1;同时,作为非有限基半群充分条件的应用,证明了4元链上的一个8阶变换半群是非有限基的.
其他文献
超代数是经典代数系统的一个自然推广,因为在经典代数结构中,两个元素的运算结果是一个元素,而在超代数系统中,两个元素运算的结果是一个集合.序超半群是目前超代数理论研究中最活跃的领域之一.本文旨在将经典序半群和超结构理论的研究有机结合起来,研究序超半群理论中的一些问题,全文共分为六章.第一章首先介绍了本文的研究背景及研究进展,然后分析了本文的研究动机,并介绍本文需要的基本概念、术语及一些相关的记号.最
(序)半群的S-系理论作为(序)半群代数理论的一个重要分支,它不仅在(序)半群理论的研究中而且还在数学的其它领域(如图论、代数自动机理论等)中起着重要的作用.本文主要通过研究(序)S-系的平坦性质,来刻画(序)幺半群的结构特征.全文共分为六章.第一章首先介绍了(序)S-系理论的研究背景,然后给出了本文的主要研究结果,最后介绍了本文所需要的一些基本概念和事实.第二章研究了S-系的条件(PF).首先,
设G是一个图.G的完美匹配是指覆盖G中所有顶点的两两不交边的集合.设M是G的一个完美匹配,S?E(G).若S?M且S不被包含于G的其它完美匹配,则称S是M的强迫集;若S?E(G)\M且G-S有唯一的完美匹配M,则称S是M的反强迫集.M的最小强迫集和最小反强迫集的大小分别称为M的强迫数和反强迫数,记作f(G,M)和af(G,M).G中所有完美匹配的强迫数的最大值和反强迫数的最大值分别称为G的最大强迫
图G中的一个完美匹配M的强迫数是指为确定M所需要的最少的M-匹配边的数目.图中完美匹配的强迫数的概念最早由Harary等提出,Klein和Randi′c也在早期的化学文献中提出了同样的概念,称作是凯库勒结构的内自由度,这在化学共振理论中有重要应用.图G中所有完美匹配的强迫数的集合称作是G的强迫谱,强迫谱中最小整数称作是图G的强迫数或最小强迫数,最大整数叫做图G的最大强迫数.从对立面考虑,M的反强迫
反应扩散系统广泛应用于许多自然科学,包括生物,化学和物理等.行波解是反应扩散方程系统的一种特殊形式的解并且已被广泛用来模拟许多自然现象.特别地,在燃烧理论,化学反应等的实验观察和数值计算中已经发现了许多具有不同形状水平集的行波解.此外,现实的自然环境是随着时间和空间变化而变化的.因此研究非齐次环境下反应扩散方程系统的非平面波具有重要的现实意义.两种群竞争系统是用来模拟两个或多种群相互作用的一类重要
利用ANSYS Workbench对2800型压裂泵曲轴进行有限元分析,研究了实际工况下曲轴的应力分布。通过分析阶梯型圆角结构的尺寸与曲轴最大应力的关系,得出随着圆角尺寸r的增大,曲轴最大应力曲线呈现出先降低后增大的趋势;随着圆角尺寸h的增大,曲轴的最大应力呈现先降低后增高的趋势,且在h大于3.5mm以后应力值趋于平缓,从而得到阶梯型圆角的最优尺寸,对比普通圆角结构曲轴,阶梯型圆角结构明显地优化了
期刊
作为语文教师,我们常常发现,反复强调的知识点,到了学生这里却不曾留下深刻的印记;教师教过、并且以为学生已然掌握的知识技能,却并未在新的学习情境中得以理想化的显现;教师鼓励、提倡学生提出问题,然而学生根本提不出问题,或是提出的问题往往与文本核心相去甚远。究其原因,一是教师一直以来形成的思维习惯,我们迫切希望学生学得精准、学得牢靠,为教而教,因此,知识点与能力点,
期刊
受弦理论,特别是AdS/CFT对偶的研究启发,膜世界理论提出了新的额外维紧致机制,为解决层次问题提出了全新的解决方案,同时也为中微子手征性、暗物质、宇宙学常数问题等长期没有解决的问题提供了新的可能的解决方案。虽然在四维时空中,Einstein的广义相对论很好地描述我们的观测,但是Einstein理论面临一些的问题,比如奇点和不可重整化问题。为了解决这些问题,我们需要量子引力。虽然我们依然不知道完整
基于年际平均降水量和年际平均潜在蒸腾量比值的干燥度指数是定量测量陆地气候干燥程度的科学指标。干燥度指数越小,气候越干燥,比如沙漠地区的干燥度指数接近于零。干燥度指数还可以用来划分干旱半干旱区:小于0.05是极端干旱区,在0.05和0.2之间的是干旱区,0.2-0.5是半干旱区,0.5到0.65之间的则是湿润偏干区。定量的研究干燥度演变及其演变机制对水资源使用、陆地使用管理有重大意义。本论文在前人工
本文主要研究了一般椭圆算子在均匀化问题中的一致正则性和收敛速率的问题。本研究的进展是基于下面的三个方面。其一,在上世纪80年代末,M. Avellaneda和林芳华发表了一系列的论文,系统的研究了只有主部项的二阶椭圆算子带Dirichlet边值条件在均匀化问题中的一致Holder估计,Lp估计(1