左拟正规带的自由积

Free product of left quasi-normal bands

证明了左拟正规带在半群范畴中的自由积的极大左拟正规带同态象,同构于它们在左拟正规带范畴中的自由积,从而证明了左拟正规带自由积的存在性。还建立了交换自由积的概念,并考察了半格自由积与交换自由积的关系。

It is proved that the maximal left quasi-normal band homomorphic image of the free product of right quasi-normal bands in the semi-group categrory is isomorphic to their free product in the left quasi-normal band category. Then, the existence of the free product in left quasinormal band was proved. Finally, the concept of commutative free product was given, and the relationship between semi-lattice free product and commutative free product was examined.