There is a well-known structure theorem for locally compact non discrete topological division algebras, see here


(I repost it here because I think it is more suitable given the nature of the question) and the proof of this theorem generally always uses the existence of Haar measures on locally compact topological groups. Intuitively I don't see how we could go without this existence, but I would like to be sure. Could we prove the structure theorem without Haar measure or not ?


I am a little surprised that you think it's "intuitive" that Haar measure must be used.

In section 9.13 of Jacobson's "Basic Algebra II" this result is proved for totally disconnected division algebras. In section 27 in Chapter IV of Warner's "Topological Fields" Theorem 27.2 covers the connected case. Neither book uses Haar measure.

  • $\begingroup$ I just had a quick a look at both references, thank you very much. $\endgroup$ – ujsgeyrr1f0d0d0r0h1h0j0j_juj Feb 22 '15 at 17:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.