摘要
给出半群自由积的泛性刻划 ,证明了任意半群的极大正规带同态象存在且同构唯一 ,同时证明了正规带的自由积的极大正规带同态象同构于这些正规带在正规带范畴中的自由积 .
The universal characterization of free product of semigroups is given and it is proved that maximal normal band homomorphism image of any semigroup exists and is unique in sense of isomorphism. Furthermore, the paper also proves that the maximal normal band homomorphism image of free product of normal bands in isomorphic to the free product of those normal bands in normal band category.
