Structure spaces of regular \(C^*\)-algebras (Q1808517): Difference between revisions

A \(C^*\)-seminorm on a complex \(C^*\)-algebra \(A\) is a real function \(\eta\) on \(A\) such that \(\eta(a+ b)\leq \eta(a)+ \eta(b)\), \(\eta(ab)= |\alpha|\eta(\alpha)\), \(\eta(ab)\leq \eta(a) \eta(b)\), \(\eta(a^*a)= (\eta(a))^2\), for all \(a,b\in A\), \(\alpha\in \mathbb{C}\). A \(C^*\)-seminorm \(\eta\) is a regular \(C^*\)-seminorm if \(\eta\) is member of every subset \(F\) of the set \(P(A)\) of all \(C^*\)-seminorms on \(A\), such that \(\eta(a)= \max\{\mu(a): \mu\in F\}\), for all \(a\in A\). A two-sided ideal \(I\) in \(A\) is said to be primitive if there exists a maximal modular left ideal \(I_1\) in \(A\) such that \(I= (I_1:A)\). The set of primitive ideals on \(A\) with the hull kernel topology is called the structure space of \(A\). The author of this article studied the structure spaces of regular \(C^*\)-algebras. It is proved that a complex \(C^*\)-algebra \(A\) is regular if the mapping \(\varphi\) between the set of regular \(C^*\)-seminorms on \(A\) and the set of primitive ideals of \(A\) is surjective.