Showing 1–3 of 3 results for author: Ischi, B

Orthocomplemented weak tensor products

Authors: Boris Ischi

Abstract: Let L_1 and L_2 be complete atomistic lattices. In a previous paper, we have defined a set S=S(L_1,L_2) of complete atomistic lattices, the elements of which are called weak tensor products of L_1 and L_2. S is defined by means of three axioms, natural regarding the description of some compound systems in quantum logic. It has been proved that S is a complete lattice. The top element of S, denoted… ▽ More Let L_1 and L_2 be complete atomistic lattices. In a previous paper, we have defined a set S=S(L_1,L_2) of complete atomistic lattices, the elements of which are called weak tensor products of L_1 and L_2. S is defined by means of three axioms, natural regarding the description of some compound systems in quantum logic. It has been proved that S is a complete lattice. The top element of S, denoted by L_1 v L_2, is the tensor product of Fraser whereas the bottom element, denoted by L_1 ^ L_2, is the box product of Graetzer and Wehrung. With some additional hypotheses on L_1 and L_2 (true for instance if L_1 and L_2 are moreover orthomodular with the covering property) we prove that S is a singleton if and only if L_1 or L_2 is distributive, if and only if L_1 v L_2 has the covering property. Our main result reads: L in S admits an orthocomplementation if and only if L=L_1 ^ L_2. At the end, we construct an example in S which has the covering property. △ Less

Submitted 8 September, 2011; originally announced September 2011.

Comments: arXiv admin note: substantial text overlap with arXiv:math/0304350

MSC Class: 06C15; 81P10; 06B23

Journal ref: Algebra Universalis, vol. 64, p. 379-396 (2010)

The Chu construction for complete atomistic coatomistic lattices

Authors: Boris Ischi, Gavin J. Seal

Abstract: The Chu construction is used to define a *-autonomous structure on a category of complete atomistic coatomistic lattices. This construction leads to a new tensor product that is compared with a certain number of other existing tensor products. The Chu construction is used to define a *-autonomous structure on a category of complete atomistic coatomistic lattices. This construction leads to a new tensor product that is compared with a certain number of other existing tensor products. △ Less

Submitted 8 September, 2011; v1 submitted 17 June, 2004; originally announced June 2004.

Comments: To appear in the Houston Journal of Mathematics

MSC Class: 06B23; 18D15

Weak tensor products of complete atomistic lattices

Authors: Boris Ischi

Abstract: Given two complete atomistic lattices L_1 and L_2, we define a set S(L_1,L_2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal property with respect to a given class of bimorphisms. We call the elements of S(L_1,L_2) weak tensor products of L_1 and L_2. We prove that S(L_1,L_2) is a complet… ▽ More Given two complete atomistic lattices L_1 and L_2, we define a set S(L_1,L_2) of complete atomistic lattices by means of three axioms (natural regarding the description of separated quantum compound systems), or in terms of a universal property with respect to a given class of bimorphisms. We call the elements of S(L_1,L_2) weak tensor products of L_1 and L_2. We prove that S(L_1,L_2) is a complete lattice. We compare the bottom element with the separated product of Aerts and with the box product of Graetzer and Wehrung. Similarly, we compare the top element with the tensor products of Fraser, Chu and Shmuely. With some additional hypotheses on L_1 and L_2 (true for instance if L_1 and L_2 are moreover irreducible, orthocomplemented and with the covering property), we characterize the automorphisms of weak tensor products in terms of those of L_1 and L_2. △ Less

Submitted 7 September, 2011; v1 submitted 23 April, 2003; originally announced April 2003.

MSC Class: 06B23; 06C15; 81P10

Journal ref: Published in Algebra Universalis, vol. 57, p. 239-258 (2007)