Lattice tensor products. II

G. Grätzer and F. Wehrung has recently introduced the lattice tensor product, A?B, of the lattices A and B. In this note, for a finite lattice A and an arbitrary lattice B, we compute the ideal lattice of A?B, obtaining the isomorphism Id(A?B)≌A?Id B. This generalizes an earlier result of G. Grätzer and F. Wehrung proving this isomorphism for A = M_3 and B n-modular. We prove this isomorphism by utilizing the coordinatization of A?B introduced in Part I of this paper.     

Lattice Tensor Products i. Coordinatization

G. Grätzer and F. Wehrung introduced the lattice tensor product, A B, of the lattices A and B. One of the most important properties is that for a simple and bounded lattice A, the lattice A B is a congruence-preserving extension of B. The lattice A B is defined as the set of certain subsets of A B; there is no easy test when a subset belongs to A B. A special case, M ₃B, was earlier defined by G. Gräatzer and F. Wehrung as M ₃, the it Boolean triple construct, defined as a subset of B ³, with a simple criterion when a triple belongs. A~recent paper of G. Grätzer and E. T. Schmidt illustrates the importance of this Boolean triple arithmetic. In this paper we show that for any finite lattice A, we can ``coordinatize" A B, that is, represent A B as a subset of B ⁿ (where n is the number of join-irreducible elements of A), and provide an effective criteria to recognize the n-tuples of elements of B that occur in this representation. To show the utility of this coordinatization, we reprove a special case of the above result: for a finite simple lattice A, the lattice A B is a congruence-preserving extension of B.     

Closure Operators and Lattice Extensions

For closure operators Γ and Δ on the same set X, we say that Δ is a weak (resp. strong) extension of Γ if Cl(X, Γ) is a complete meet-subsemilattice (resp. complete sublattice) of Cl(X, Δ). This context is used to describe the extensions of a finite lattice that preserve various properties. This revised version was published online in September 2006 with corrections to the Cover Date.     

A survey of tensor products and related constructions in two lectures

We survey tensor products of lattices with zero and related constructions focused on two topics: amenable lattices and box products. Received August 21, 1998; accepted in final form September 9, 1998.     

Congruence-preserving subdirect products

An algebra A is said to be a congruence-preserving extension of a subalgebra B if the mapping from the congruence lattice of B to that of A, assigning to each congruence relation β on B the minimal congruence relation on A containing β, is an isomorphism. We give a necessary and sufficient condition on the congruence lattice of a subdirect product B of finitely many algebras in a congruence-distributive variety that the full direct product be a congruence-preserving extension of B. We give several applications to congruence lattices of lattices. Received May 25, 2000; accepted in final form January 22, 2001.     

Lattice tensor products. IV

In 1999, for lattices A and B, G. Grätzer and F. Wehrung introduced the lattice tensor product, A?B. In Part I of this paper, we showed that for a finite lattice A and a bounded lattice B, this construction can be "coordinatized,'' that is, represented in B ^A so that the representing elements are easy to recognize. In this note, we show how to extend our method to an arbitrary bounded lattice A to coordinatize A?B.     

Biderivations on tensor products of algebras

Let A be a noncommutative unital prime algebra and let S be a commutative unital algebra over a field 𝔽. We describe the form of biderivations of the algebra A?S. As an application, we determine the form of commuting linear maps of A?S.     

Property ∏σ and tensor products of operator algebras

In this paper, we introduce Property ∏σ of operator algebras and prove that nest subalgebras and the finite-width CSL subalgebras of arbitrary von Neumann algebras have Property ∏σ.Finally, we show that the tensor product formula alg ML1-(×)algNL2 = algM-(×)N(L1 (×) L2) holds for any two finite-width CSLs L1 and L2 in arbitrary von Neumann algebras M and N, respectively.     

K-f环上格序模的张量积

研究(?)Ｒ_ｉ的由Ｒ_ｉ（ｉ＝１，２，…，ｐ）的序所诱导的序，证明(?)Ｒ_ｉ在一定条件下作成一个有单位元的ｆ环，并在有单位元的Ｋ-ｆ环上的格序模范畴中引入保格Ｒ₁(?)Ｒ₂映射，进一步定义了张量积，使张量积概念在不同序环的序模范畴得到拓展．     

有限自动机的积与路代数的张量积

讨论了两个有限自动机积的路代数,得出了这些积的路代数与这两个有限自动机路代数的张量积的一些关系.     

On jet-convex functions and their tensor products

In this article, we introduce necessary and sufficient conditions for the tensor product of two convex functions to be convex. For our analysis we introduce the notions of true convexity, jet-convexity, true jet-convexity as well as true log-convexity. The links between jet-convex and log-convex functions are elaborated. As an algebraic tool, we introduce the jet product of two symmetric matrices and study some of its properties. We illustrate our results by an application from global optimization, where a convex underestimator for the tensor product of two functions is constructed as the tensor product of convex underestimators of the single functions.     

A note on linear preservers of certain ranks of tensor products of matrices

In this note, we give a simple proof as well as an extension of a very recent result of B. Zheng, J. Xu and A. Fosner concerning linear maps between vector spaces of complex square matrices that preserve the rank of tensor products of matrices by using a structure theorem of R. Westwick on linear maps between tensor product spaces that preserve non-zero decomposable elements.     

原子Boolean格代数的导子

设L是Banach空间X上的原子Boolean子空间格,δ是algL的任一导子,则存在X中的一个稠定线性算子T,使得δ（A）＝AT—TA（A∈algL）在T的定义域D（T）上成立．另外,如果L还是一个有限格,并且对L的任一原子L,L＋L＇闭,则δ是连续的和内的．     

The Dimension of Interior Levels of the Boolean Lattice,II

Extending an old lemma by Dushnik, we establish the dimension d(3, k; n) of the containment order generated by the 3-element and k-element subsets of an n-element set for most k between and n.     

Schauder decompositions and the Fremlin projective tensor product of Banach lattices

In this paper, we first introduce a lattice decomposition and finite-dimensional lattice decomposition (FDLD) for Banach lattices. Then we show that for a Banach lattice with FDLD, the following are equivalent: (i) it has the Radon-Nikodym property; (ii) it is a KB-space; (iii) it is a Levi space; and (iv) it is a σ-Levi space. We then give a sequential representation of the Fremlin projective tensor product of an atomic Banach lattice with a Banach lattice. Using this sequential representation, we show that if one of the Banach lattices X and Y is atomic, then the Fremlin projective tensor product has the Radon-Nikodym property (or, respectively, is a KB-space) if and only if both X and Y have the Radon-Nikodym property (or, respectively, are KB-spaces).     

弱P-正则半群上的幂等元分离同余格

在本文中，弱P-正则半群上的弱P-正则，弱正规子集的概念被介绍．在弱P-正则半群上的弱P-正则，弱正规子集的若干性质被获得后，我们给出了弱P-正则半群上的幂等元分离同余格的一个刻画。     

半环的强分配格上的环同余

主要讨论了在一定条件下半环的强分配格S上的环同余ρ与半环族{Sα}α∈D上的环同余族{ρα}α∈D之间的关系.     

Artin-Schelter regularity of twisted tensor products

We prove an Artin-Schelter regularity result for the method of twisted tensor products under a certain form. Such twisted tensor products, whose twisting maps are determined by the action on the generators, include Ore extensions and double Ore extensions. It is helpful to construct high-dimensional Artin-Schelter regular algebras.