关于Gauss半群的张量积

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

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

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

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

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

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

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

平均半群的张量积

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

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

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

弱交换半群的张量积

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

自由交换半群的张量积

本文提出自由交换半群的某些性质,如 F_MF_N≌F_(M×N),P(M×N)≌P(M)P(N)。此外,本文还证明了自由交换半群的一个抽象刻划:交换半群同构于一个集合上的自由交换半群,当且仅当对每个交换半群 A,SA是一个由 A 的若干复制象构造成的交换自由积。     

关于自由交换半群的张量积

本文证明两个自由交换半群的张量积的Archimedes半格是生成元集之积的非空有限于集旋的并半格,然后证明两个自由交换半群的张量积也是一个自由交换半群的子半群     

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

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

Gauss半群上的Mobius反演公式

将经典的Mobius反演公式在Gauss半群上作了进一步的推广．即如果对任何c∈G恒有g(c,x)=∑c∈GAaf(ac,x)则有Mobius反演公式∑h∈Uf(hc,x)=1/N∑b∈GBbg(bc,x)其中G为Gauss半群．     

多重集合在Gauss半群中的应用

本文给出利用多重集合的运算建立 Gauss 半群整除理论的方法.     

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

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

Gauss半群上的Mbius反演公式

将经典的M bius反演公式在Gauss半群上作了进一步的推广 .即如果对任何c∈G恒有g(c ,x) =∑a∈GAaf(ac,x)则有M bius反演公式∑h∈Uf(hc ,x) =1N ∑b∈GBbg(bc ,x)其中G为Gauss半群 .     

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

本文主要证明了(1)若S和T为任意两个纯整半群、常规半群及其它特殊正则半群,G和H分别为其极大群同态象,则G(×)H为S(×)的极大群同态象;(2)若S和T为两个幂等元集合为矩形带的正则半群,G和H分别为其极大右群同态象,则G(×)H为S(×)T的极大右群同态象。     

Gauss半群上的M(o)bius反演公式

将经典的M(o)bius反演公式在Gauss半群上作了进一步的推广. 即如果对任何c∈G恒有g(c,x)=Σa(ε)GAaf(ac,x)则有M(o)bius反演公式Σh(ε)Uf(hc,x)=1-NΣb(ε)GBbg(bc,x)其中G为Gauss半群.