Let C*(X, A) denote the ring of bounded continuous functions on a (Hausdorff) topological space X with values in a topological division ring A. If, for every maximal (two-sided) ideal M of C*(X, A), we have C*(X, A)/M is isomorphic with A, we say that Stone's theorem holds for C*(X, A). It is well known [9; 6] that Stone's theorem holds for C*(X, A) if A is locally compact and connected, or a finite field. In giving a partial answer to a question of Kaplansky , Goldhaber and Wolk showed in  that, with restriction on X, and if A is of type V and satisfies the first axiom of countability, then a necessary condition that Stone's theorem holds for C*(X, A) is that A be locally compact. They ask if this condition is also sufficient.
Below, we answer this question in the affirmative.
In the course of their proof of the necessity of this condition, they construct a class of maximal ideals of C*(X, A). (See §3). They also ask if every maximal ideal of C*(X, A) is in this class.
We show that even if both X and A are the reals, the answer to this question is no.
© 1956 American Mathematical Society
Correl, Ellen, and Melvin Henriksen. "On rings of bounded continuous functions with values in a division ring." Proceedings of the American Mathematical Society 7.2 (April 1956): 194-198. DOI: 10.1090/S0002-9939-1956-0084716-9