可分半群的张量积

TENSOR PRODUCT OF SEPARATIVE SEMIGROUPS

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

This paper establishes the tensor proves in the category of commutativeseparative semigroups and proves their existence and uniqueness Furthermore,this paper set up the relation between the maximal separative semigroupimages and the tensor produts of commutative semigroups.Lastly,it is provedthat the maximal semilattice image of the tensor product of commuttivesemigroups is isomorphic to the tensor product of their maximal semilatticeimages.