Gauss半群张量积Archimedes半格的结构

本文是[1][2][3][8]的继续,讨论Gauss半群在交换半群范畴中张量积的Archimedes半格的结构,主要结果是证明两个Gauss半群的张量积的Archimedes半格是若干L_1,L_2,L_s型半格的上积。     

关于Gauss半群的张量积

提要本文首先证明两个Gauss半群的不可逆元子半群的张量积的Archimedes半格是既约元相伴类(即H类)之积的非空有限子集族的并半格,然后证明两个非平凡Gauss半群的不可逆元相伴类半群的张量积也是一个Guass半群的不可逆元子半群,而一个平凡Gauss半群(即Abel群)的相伴类半群与任一Gauss半群的相伴类半群的张量积同构于后者的Archimedes半格(最大幂等同态象),即为后者相伴类半群的有限子集族并半格.     

关于带的张量积

本文给出两个带在带子范畴中张量积的刻划,证明它是这两个带在半群范畴的张量积的极大带同态象,从而确认了它们的存在与唯一性,同时证明两个半格在半格子范畴的张量积实际上就是它们作为两个带在带子范畴中张量积关于某个半格同余的同余类半格,从这个角度,又可以证明半格在半格子范畴中张量积的存在与唯一性。     

关于唯一分解半群的张量积

本文首先证明两个集合的有限子集半格的张量积同构于两个集合直积的有限子集合直积的有限子集半格 ,然后给出两个唯一分解半群张量积的结构     

左拟正规带的张量积

证明左拟正规带范畴中张量积的存在性,并证明了它与半群张量积的关系,同时给出半格在左拟正规带范畴中张量积与在半格范畴中张量积之间的关系。     

逆半群的张量积与群的张量积

证明逆半群范畴中张量积存在，并建立它与群张量积及半格张量积的关系。     

半格的自由积

本文证明半格自由积的极大半格象恰同构于它们在交换半群范畴中的自由积,并得出一些推论.     

交换自由积的半格结构

本文讨论交换半群的交换自由积的极大半格商和Archimedes分量的构造及推出图性质。同时给出自由交换半群的极大半格商及Archimedes分量的构造。本文给出极大半格商及交换自由积的泛性刻划。     

Gauss半群张量积的结构

本文是的继续。我们在中证明了两个Gauss半群的H商半群(即相伴类半群)中不可逆元子半群的张量积是一个Gauss半群的不可逆元子半群。这引起一种猜想:是否两个Gauss半群的张量积仍是一个Gauss半群?并未能作出肯定或否定的回答。本文首先用一个反例否定上述猜想,然后给出Gauss半群张量积结构的刻划。以下提及的张量积是指交换半群范畴中的张量积。讨论中不涉及人们常使用的双滤子的工具。交换半群张量积概念见于。     

关于半群滤子及其同态性质

本文首先给出一般半群的非空子集的生成滤子的结构以及交换半群的生成滤子的结构。利用这个结论，本文证明了半群的半格同余类的生成滤子是该同余的饱和集。     

弱交换半群的张量积

建立弱交换半群范畴中的张量积,证明其存在与唯一性,同时,建立弱交换半群的极大的可分半群象与张量积之间的关系。     

Gauss半群类关于张量积的封闭性

本文证明Gauss半群类在交换半群范畴中张量积是不封闭的,但在可消交换半群范畴中张量积是封闭的,这样就完满地回答了〔3〕〔4〕中遗留的问题。     

正规带的张量积与极小正规带同余

证明在半群范畴中,两个半群的张量积的极大正规带同态象恰好是这两个半群极大正规带同态象在正规带范畴中的张量积.     

半格的一类nil—扩张

研究半格的一类特殊ｎｉｌ－扩张，得到了两个基本的结论，一个是，如果半群Ｓ为交换半群，Ｅ为Ｓ的幂等元集合，且是Ｓ的理想，则Ｓ是Ｅ的ｎｉｌ－扩张的充要条件为Ｓ是其所有子半群Ｋｅ的半格；另一个是条件交换的右强可分半群Ｓ是其幂等元半格Ｅ的ｎｉｌ－扩张的充要条件为Ｓ是其所有有零元的子半群Ｋｅ的半格。     

半群的张量积和其极大同态象

证明了在交换半群范畴中，Ａｒｃｈｉｍｅｄｅａｎ半群，Ｅ－可逆半群和伪逆半群张量积的封闭性，并给出了两个半群张量积有极大群同态象，极大正则同态象和极大右零半群同态的若干充分条件。     

弱交换半群的张量积与可分半群的张量积

建立了弱交换的张量积，讨论了弱交换半群与可分半群的关系，在此基础上，进一步建立了可分半群的张量积。     

拟正则半群的最小群同余

本文证明了当幂等元集是自共轭的拟正则半群时它有最小群同余，同时还证明了这样两个半群的张量积的最大群同态象同构于它们的最大群同态象的张量积。     

半群关于自身的局部化

证明丰群A关于自身局部化A_A是其极大Abel群同态象,这时A的象集恰为A的极大可消半群象。还进一步证明,如果S为A的理想且为内区,则S关于S的局部化恰好等于A关于A的局部化。最后证明了交换逆半群关于幂等无半格的局部化同构于其关于本身的局部化。     

满足置换恒等式的强wrpp半群的结构

对满足置换恒等式的强wrpp半群进行了深入的探讨与研究,通过建立满足置换恒等式的强wrpp半群S上的半格同余ρ,得到了满足置换恒等式的强wrpp半群的结构,即半群S是满足置换恒等式的强wrpp半群的充要条件是半群S是交换R-左可消幺半群与矩形带的直积的强半格,及其等价条件——半群S是交换R-左可消幺半群的强半格与正规带的织积。     

关于广义格半群

引入广义格半群的概念，进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论，指出格半群是广义格半群，反之则不一定，在广义格半群中理想集I(S)是完备格，而sl理想集却不能构成格，在格半群中，sl理想集是格，但是两个sl理想的上确界不等于其并，广义格半群中的理想均能生成sl理想。