Rank one preservers between spaces of Boolean matrices (Q616292)

This paper extends the results of \textit{L. B. Beasley} and \textit{N. J. Pullman} [Linear Algebra Appl. 59, 55--77 (1984; Zbl 0536.20044)] from finite to infinite-dimensional Boolean vectors spaces. Denote by \(B_X\) the set of all functions mapping an index set \(X\) into the Boolean algebra \(B=\{0,1\}\). The authors consider a Boolean vector space to be any subset, closed under addition, of some \(B_X\). As in a familiar case of Boolean subspaces of \(B^n\) it turns out that any Boolean vector space has a unique basis. A central notion here is that a Boolean vector space has a so called non-dominating basis which essentially means that it is isomorphic to \(B_I\) for some index set \(I\). Also, in Boolean vector spaces there is a natural order relation \[ a< b\quad\text{ if }\quad a\neq b\text{ and }a+b=b.\tag{1} \] The authors proceed to define a tensor product of Boolean vector spaces. This extends the definition of Boolean matrices to infinite setting, with indecomposable tensors playing the role of Boolean matrices of factor-rank one. Several properties of tensor product are investigated. For example, it is shown that if one among Boolean vector spaces \(U\) or \(V\) has a non-dominating basis then a linear map \(T:U\otimes V\to W\otimes Z\) defined by \(u\otimes v\mapsto \phi(u)\otimes \psi(v)\), respectively, by \(u\otimes v\mapsto \psi(v)\otimes\phi(u) \) is injective if and only if both \(\phi\) and \(\psi\) are injective. One of the main results then classifies linear maps \(T\), from one Boolean tensor product \(U\otimes V\) to another, which send distinct indecomposable tensors to distinct indecomposable tensors, provided that the basis of \(U\) and the basis of \(V\) both consist of pairwise non-comparable vectors as regards relation (1). A similar result is obtained, even without linearity assumption, for surjections which preserve indecomposability of tensors and simultaneously preserve order relation (1) in both directions. It is further shown that, for finite-dimensional Boolean vector spaces with non-dominating basis, it suffices that order relation is preserved in one direction only. Moreover, the same conclusions also hold when \(U=V\) is finite-dimensional, \(U\setminus\{0\}\) has no least element relative to order relation (1), and \(T:U\otimes U\to U\otimes U\) is a linear map such that for each \(f\in U\setminus\{0\}\) there is some \(f'\in U\setminus\{0\}\) with \[ T(f\otimes U)\in \begin{cases} f'\otimes U\\ U\otimes f'\end{cases}. \] The theorems are accompanied by copious examples which show that the assumptions in the main results cannot be removed.