Ideals in tensor products, topological dimension zero and the weak ideal property (Q2033232)

Let (P) be a property that a \(C^*\)-algebra may have. Then (P) admits largest ideals if for every \(C^*\)-algebra \(A\) there is an ideal in \(A\) that has (P) and contains every ideal in \(A\) with (P). E.g., topological dimension zero, the weak ideal property and pure infiniteness admit largest ideals. Using the concept of ``largest ideals'', new characterizations of these properties are given. In particular, it is shown that \(A\) has (P) iff for every proper ideal \(I\subset A\) there exists an ideal \(J\subset A\) properly containing \(I\) such that \(J/I\) has (P). \par Let \(I\subset A\otimes B\) be an ideal in the minimal tensor product of \(C^*\)-algebras \(A\) and \(B\). Set \(I_A=\{a\in A:a\otimes B\subset I\}\), and let \(I(A)\subset A\) be the ideal generated by all \(a\in A\) such that there is \(b\in B\) with \(0\neq a\otimes b\in I\). Similarly, one can define the ideals \(I_B\) and \(I(B)\) of \(B\). It is shown that \(I_A\otimes B + A\otimes I_B \subset I \subset I(A)\otimes I(B)\). For some properties (P) of \(C^*\)-algebras (including topological dimension zero and the weak ideal property) it is shown that if certain canonical \(C^*\)-algebras constructed out of the ideals \(I_A\), \(I(A)\), \(I_B\) and \(I(B)\) have (P), then \(I\) has (P). Several related results are proved, e.g., \(I\) is a tensor product iff \(I=I(A)\otimes I(B)\).