Tensor products of idempotent semimodules. An algebraic approach

A tensor norm $\beta= (\beta_{n})_{n=1}^{\infty}$ is smooth if the natural correspondence $(E_{1} \otimes\cdots\otimes E_{n} \otimes\mathbb{K},\beta_{n+1}) \longleftrightarrow (E_{1} \otimes\cdots\otimes E_{n} ,\beta_{n})$ is always an isometric isomorphism. In this paper we study the representation of multi-ideals and of ideals of multilinear forms by smooth tensor norms.

Let $X$ be a Banach space and $\mathcal A$ be the Banach algebra $B(X)$ of bounded (i.e. continuous) linear transformations (to be called operators) on $X$ to itself. Let $\mathcal E$ be the set of idempotents in $\mathcal A$ and $\mathcal S$ be the semigroup generated by $\mathcal E$ under composition as multiplication. If $T\in \mathcal S$ with $0\ne T\ne I_{X}$ then $T$ has a local block representation of the form $\begin{pmatrix} T_1 & T_2 0 & 0 \end{pmatrix}$ o...

Consider two non-degenerate algebras B and C over the complex numbers. We study a certain class of idempotent elements E in the multiplier algebra of the tensor product of B with C, called separability idempotents. The conditions include the existence of non-degenerate anti-homomorphisms from B to M(C) and from C to M(B), the multiplier algebras of C and B respectively. They are called the antipodal maps. There also exist what we call distinguished linear functionals. They ar...

In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective semimodules are e-injective, and characterize one-sided Noetherian rings in terms of direct sums of e-injective semimodules. Also, we give complete characterizations of bounded distributive lattices, subtractive semirings, and simple semirings...

We develop a systematic study of the schur tensor product both in the category of operator spaces and in that of $C^*$-algebras.

In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class of semimodules, called MV-semimodules. We present several results addressed toward a semiring theory for MV-algebras. In particular we show a representation of MV-algebras as a subsemiring of the endomorphism semiring of a semilattice, th...

We analyze certain algebraic structures of the Banach space projective tensor product of $C^*$-algebras which are comparable with their known counterparts or the Haagerup tensor product and the operator space projective tensor product of $C^*$-algebras. Highlights of this analysis include (a) injectivity of the Banach space projective tensor product when restricted to the tensor products of $C^*$-algebras, (b) detailed structure of closed ideals of $A \otimes_{\gamma} B$ in t...

We develop the spectral radius technique and the theory of tensor radicals. As applications we obtain numerous results on mutiplication operators in Banach algebras and Operator bimodules.

A genuine infinite tensor product of complex vector spaces is a vector space ${\bigotimes}_{i\in I} X_i$ whose linear maps coincide with multilinear maps on an infinite family $\{X_i\}_{i\in I}$ of vector spaces. We give a direct sum decomposition of ${\bigotimes}_{i\in I} X_i$ over a set $\Omega_{I;X}$, through which we obtain a more concrete description and some properties of ${\bigotimes}_{i\in I} X_i$. If $\{A_i\}_{i\in I}$ is a family of unital $^*$-algebras, we define, ...

Let $B$ and $C$ be non-degenerate idempotent algebras and assume that $E$ is a regular separability idempotent in $M(B\otimes C)$. Define $A=C\otimes B$ and $\Delta:A\to M(A\otimes A)$ by $\Delta(c\otimes b)=c\otimes E\otimes b$. The pair $(A,\Delta)$ is a weak multiplier Hopf algebra. Because we assume that $E$ is regular, it is a regular weak multiplier Hopf algebra. There is a faithful left integral on $(A,\Delta)$ that is also right invariant. Therefore, we call $(A,\Delt...