A density theorem for algebra representations on the space (s) (Q4397348)

Let \(X\) be a real or complex locally convex space and \({\mathcal A}\) an algebra over the same field of scalars as \(X\). A representation \({\mathbb T}:a\mapsto T_a\) of \({\mathcal A}\) on \(X\) is called irreducible if no proper closed linear subspace of \(X\) is invariant for all operators \(T_a,\;a\in {\mathcal A}\), or, equivalently, if for each non-zero \(x\in X\) the orbit \({\mathcal O}({\mathbb T};x)=\{ T_ax:a\in {\mathcal A}\}\) is dense in \(X\). A representation \({\mathbb T}\) is called totally irreducible if the algebra \({\mathbb T}{\mathcal A}=\{ T_a: a\in {\mathcal A}\}\) is dense in \(L(X)\) in the strong operator topology. The commutant of \({\mathbb T}\) which is defined as \({\mathbb T}'=\{ T\in L(X): TT_a=T_aT\) for all \(a\in {\mathcal A}\}\) is called trivial if it consists of the scalar multiples of the identity operator only. \textit{J. M. G. Fell} and \textit{R. S. Doran} asked [``Representations of \(*\)-algebras, locally compact groups, and Banach \(*\)-algebraic bundles'', Vol. I, Academic Press (1988; Zbl 0652.46050), Problem II, p. 329] whether the following topological version of the celebrated \textit{N. Jacobson} density theorem [see ``Lectures in abstract algebra'', Vol. II, van Nostrand, Toronto (1953; Zbl 0053.21204), pp. 271-274] holds true. Problem. Let \({\mathbb T}\) be an irreducible representation of \({\mathcal A}\) on \(X\) with trivial commutant. Does it follow that \({\mathbb T}\) is totally irreducible? In the paper under review the author proves that the answer is positive for the space \((s)\) consisting of all scalar-valued sequences \(x=(\xi _i)_{i=1}^\infty\) with the topology of coordinatewise convergence, or, more generally, for an arbitrary infinite topological product of the field of scalars.