A certain class of pro \(C^\ast\)-algebras and bounded elements of a Hilbert module (Q2143734)

Let \(A\) be an arbitrary pro \(C^*\)-algebra whose topology is generated by a family of \(C^*\)-seminorms \(\mathcal P\). An ideal \(M\) of \(A\) is a \(p\)-ideal if and only if there is no \(p\in \mathcal P\) vanishing on \(M\), and a pro \(C^*\)-algebra \(A\) is said to be topologically simple if every \(p\)-ideal \(M\) of \(A\) is dense in \(A\). In this paper, the authors prove that the direct product of \(C^*\)-algebras \(K(H_i)\) is a topologically simple pro \(C^*\)-algebra. They show that the set of all bounded elements of a Hilbert module \(E\) over a pro \(C^*\)-algebra \(A\), which is denoted by \(b(E)\), forms a Hilbert module over the \(C^*\)-algebra \(b(A)\). Also, under some certain conditions, \(b(E)\) is dense in \(E\). As an application, they give an example of a Hilbert module over the pro \(C^*\)-algebra \(\prod_{i\in \mathbb{N}} K(H_i)\) which is automatically full, and the set of all bounded elements of this module is dense in it.