Bitraces on partial -algebras.
A normal Banach quasi *-algebra (,) has a distinguished Banach *-algebra consisting of bounded elements of . The latter *-algebra is shown to coincide with the set of elements of having finite spectral radius. If the family () of bounded invariant positive sesquilinear forms on contains sufficiently many elements then the Banach *-algebra of bounded elements can be characterized via a C*-seminorm defined by the elements of ().
We continue our study of topological partial *-algebras, focusing on the interplay between various partial multiplications. The special case of partial *-algebras of operators is examined first, in particular the link between strong and weak multiplications, on one hand, and invariant positive sesquilinear (ips) forms, on the other. Then the analysis is extended to abstract topological partial *-algebras, emphasizing the crucial role played by appropriate bounded elements, called ℳ-bounded. Finally,...