The Gel’fand–Mazur theorem states: the only complex Banach algebra which is also a field is the algebra of complex numbers .
The proof is a very simple consequence of the spectral theory of elements in a unital complex Banach algebra. It is a basic result of spectral theory that the spectrum of any element in a Banach algebra (which is by definition the set of complex numbers such that is not invertible) is a nonempty compact subset of . Now if the algebra is a field (or even a skewfield) then the only noninvertible element is , hence every point in the spectrum of an arbitrary element provides such that . Therefore the algebra can be identified with a unital complex subalgebra of , hence it is .
Last revised on November 15, 2009 at 00:32:37. See the history of this page for a list of all contributions to it.