Crossed products by Hilbert pro-\(C^\ast\)-bimodules versus tensor products (Q2347430)

Using the notion of dual action on crossed products by Hilbert bimodules, the author proves that if \((X, A)\) is a Hilbert pro-\(C^*\)-bimodule and \(B\) is a pro-\(C^*\)-algebra, then the pro-\(C^*\)-algebras \((A \otimes_{\mathrm{min}} B)\times_{X\otimes_{\mathrm{min}}B} \mathbb{Z}\) and \((A \times_X \mathbb{Z}) \otimes_{\mathrm{min}} B\) are isomorphic. In addition, if \((X, A)\) is full, then pro-\(C^*\)-algebras \((A \otimes_{\mathrm{max}} B)\times_{X\otimes_{\mathrm{max}}B} \mathbb{Z}\) and \((A \times_X \mathbb{Z}) \otimes_{\mathrm{max}} B\) are also isomorphic. A pro-\(C^*\)-algebra \(A\) is called nuclear if for any pro-\(C^*\)-algebra \(B\), \(A \otimes_{\mathrm{min}} B = A\otimes_{\mathrm{max}} B\). As an application of the results, she shows that if \((X, A)\) is a full Hilbert pro-\(C^*\)-bimodule, then \(A \times_X \mathbb{Z}\) is nuclear if and only if \(A\) is nuclear.