If $A$ is a commutative $C^*$-algebra with identity, then can it be an integral domain? I think the answer is no, because one can use the Gelfand Transform to get an isomorphism of $A$ with $C(\Omega (A))$ where $\Omega(A)$ is the space of non-trivial complex algebra homomorphisms of $A$. But I cannot show that $C(\Omega(A))$ cannot be an integral domain if $|\Omega(A)|$ $\geq$ $2$. Any other method is also welcome. Thanks for any help.
Asked
Active
Viewed 195 times
4
-
Hint: Use Urysohn's Lemma. – Jan Bohr Jul 11 '18 at 07:34
-
I have already tried that. Can you please provide me the details. – Ester Jul 11 '18 at 07:35
1 Answers
6
Suppose $X$ is a normal topological space with more than two points. Then there exist two nonzero functions $f,g\colon X \rightarrow [0,1]$ with $fg=0.$
Proof: Take two distinct points $x,y\in X$ and separate them by opens $U$ and $V$. Then $x$ and $X\backslash U$ are disjoint closed sets and thus there is a continuous function $f:X\rightarrow [0,1]$ with $f(x)=1$ and $f(z)=0$ for $z\in X\backslash U$ (Urysohn's Lemma). Similarly construct a function $g:X\rightarrow [0,1]$ such that $g(y) = 1 $ and $g(z) = 0 $ for $z\in X\backslash V$. Since each $z\in X$ either lies in $X\backslash U$ or in $X\backslash V$ we have $fg=0$.
Jan Bohr
- 6,728