A maximal ideal of has a common zero: otherwise finitely many have no simultaneous zero, and is invertible, a contradiction. If the common zero is , then is the kernel of evaluation at by maximality. Thus every algebra character is point evaluation. Continuous functions separate distinct points of the unit circle, and the evaluation bijection is a homeomorphism for the Gelfand topology.
Articles by others on the same topic
There are currently no matching articles.