S-定向完备偏序集范畴和S-格同余关系

来源 :湖南大学 | 被引量 : 0次 | 上传用户:sashiu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
S-系方法在半群代数理论中有着非常广泛的应用.基于序半群的S-系理论,本篇硕士论文将S-偏序集的一些结论推广到了S-定向完备偏序集和S-格上,主要研究了S-定向完备偏序集范畴和S-格同余关系. 在第一章中,我们简要介绍了S-偏序集,S-格,及Domain理论中的定向完备偏序集、笛卡尔闭范畴以及同余关系的发展历史和研究现状,理清了研究它们的发展脉络,列举了各阶段国内外众多文献在这一领域的研究成果,并简单介绍了本文的主要工作,给出了一些便于了解本文的预备知识. 在第二章中,我们根据序半群的S-系理论,首先给出了定向完备偏序半群的定义.然后,把定向完备偏序半群作用在定向完备偏序集上得到了S-定向完备偏序集的概念.探讨了S-定向完备偏序集范畴的一些基本性质,证明了S-定向完备偏序集范畴是笛卡尔闭的. 在第三章中,我们给出了伪同余关系的定义,利用伪同余关系我们研究了S-格的同余关系,并且得到了S-格同态定理.最后还得到了由分配S-格的任意二元关系H可以构造出S-格同余关系v(H)的结论。
其他文献
二次锥规划是一类十分重要的非光滑凸规划问题.它是在有限个二次锥的笛卡儿乘积的仿射子空间的交集上极小化或极大化一个线性函数.许多数学问题都可转化成二次锥规划求解,如线
塔斯基算术真之不可定义性定理可表述为:丰富到足以包含算术的一阶语言不可能包含它自身的满足T—模式的真谓词,其证明的基本思想是在T—模式假设下,在语言中构造出说谎者悖论并
解决问题是小学数学教学的重要内容.一年级作为小学数学学习的第一年,学生解决问题能力培养是学习的重要任务.本文通过对几个一年级学生解决问题现象的观察和思考,从如何帮助
几乎所有的复杂系统都可以抽象成由节点和连边组成的网络,复杂网络科学已成为复杂系统问题研究的强有力工具。复杂系统中元素间的相似性是许多科学领域的核心研究问题,合理的节
本文主要分为四部分。第一部分简单介绍了问题的提出背景及研究现状。第二部分给出了B-样条、MQ-B-样条的定义及一些重要性质;并回顾了Greville点在以它们作为基函数时所具有
英语是一种语言,是一门说的学科,学生要想说一口流利的英语,离不开朗读习惯的培养.因此开设英语早读是很有必要的.但是早读究竟应该怎么上才能保证效果的最大化,最优化?开展
微分方程的振动理论是微分方程定性理论的一个重要分支,起源于1836年Sturm提出二阶线性常微分方程x"(t)+q(t)x(t)=O,从此对于线性与非线性方程的振动性理论有了很大的发展,得到
本文通过P.Hall计数原则和扩张的方法给出了任意阶非交换子群个数≤p2的有限p群完全分类.  
5月20日,由山东省安丘市农业局植保站、济南兆龙科技发展有限公司联合主办的“2014兆龙科技安丘‘垄鑫棉隆’网络客户会暨安丘生姜‘垄鑫棉隆’夏季防控姜瘟病‘打补丁’客户
通过有限元分析的方法对煤炭三向截割力传感器进行了建模仿真,采用正交试验设计的方法优化弹性体的结构参数,通过计算机仿真证明该传感器具有良好的静、动态性能及较好的综合