The Tensor Products of Unital Quantales.docVIP

The Tensor Products of Unital Quantales 　　Abstract： In this paper， the definition of bimorphism of unital quantales is given， Base on the tensor product of completed lattice， the concrete forms of the tensor product of unital quantales is obatined， and some properties of their are discussed. 　　Key words： Unital quantales； Unital quantales bimorphism； Tensor product； Quantale congruence 　　1. INTRODUCTION 　　Quantale was introduced by C.J.Mulvey in 1986 for studying the foundations of quantum logic and for studying non-commutation C*-algebras [1]. The systematic introduction of quantale theory came from the book [2]， which written by K.I.Rosenthal in 1990. Quantale theory provides a powerful tool in studying noncommutative structures， it has a wide applications， especially in studying noncommutative C*-algebra theory [3]， the ideal theory of commutative ring [4]， linear logic [5] and so on. So， the quantale theory has aroused great interests of many researches [6?16]. 　　Since tensor product is very important concept in many algebraic structures， and their tensor product have been studied systemically in [17?19]. In this paper， we shall study the some properties of tensor product of unital quantales. For notions and concepts concerned， but explained， please refer to [2，20]. 　　2. PRELIMINARIES 　　Definition 2.1 [2] A quantale is a complete lattice Q with an associative binary operation“”satisfying： 　　for all a，bi∈Q， where I is a set， 0 and 1 denote the smallest element and the greatest element of Q， respectively. 　　A quantale Q is said to be unital if there is an element u∈Q such that ua = au = a for all a∈Q. 　　Definition 2.2 [2] Let Q be a quantale and a∈Q. 　　（1） a is right？sided if and only if a1≤a. 　　（2） a is left？sided if and only if 1a≤a. 　　（3） a is two？sided if and only if a is both right and left side. 　　（4） a is idempotent if and only if aa = a. 　　Definition 2.3 [2] Let Q and P be quantales. A function f ： Q？→P is a homomorphism of quantale if f