MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

There are a lot of compact (Hausdorff) groups, whereas every compact field is finite. What about rings? Is there a classification theorem for compact rings? If you take a cofiltered limit of finite rings, you get a compact ring; for example, the $p$-adic integers $\mathbb{Z}_p$ are obtained as a limit of $$ \cdots \twoheadrightarrow \mathbb{Z}/p^{n+1}\mathbb{Z} \twoheadrightarrow \mathbb{Z}/p^n\mathbb{Z}\twoheadrightarrow \cdots \twoheadrightarrow \mathbb{Z}/p\mathbb{Z}\twoheadrightarrow 0. $$ Can every compact ring be obtained as a cofiltered limit of finite rings?

For a counterexample, a compact ring that is not totally disconnected would suffice. In the other direction, proving that such a ring has to be totally disconnected wouldn't suffice a priori: It would show the the additive group is profinite, but not that the ring is a cofiltered limit of rings.

Remark: By "compact," I consistently mean "compact Hausdorff."

share|cite|improve this question
3  
... and by "ring" you mean something associative with a unit, since the zero multiplication law would make any non-profinite compact group a counterexample. – S. Carnahan Dec 9 '10 at 6:49
1  
Assume that the compact ring $A$ is an integral domain. Then its field of fractions $K$ is a locally compact field, which have all been classified. – Chandan Singh Dalawat Dec 9 '10 at 6:57
5  
Google claims this is true, and is proved for example in theorem 26.10 of the book "Locally compact groups" by Markus Stroppel. – Gjergji Zaimi Dec 9 '10 at 7:21
    
Gjergji: Why don't you put this as an answer? This way the question remains unanswered. I also do not understand why you write that "Google claims something", if you found it in a textbook of the EMS. – Andreas Thom Dec 9 '10 at 9:18
2  
Andreas: I wrote so, to indicate that the proof appears somewhere but I can not see it at the moment. Perhaps someone who knows the proof can write an answer with a quick sketch/main idea etc. Plus it appears that the result is old and possibly due to Kaplansky, so I'd like to research that a little more. – Gjergji Zaimi Dec 9 '10 at 9:32
up vote 11 down vote accepted

Every compact topological ring has "enough" open ideals and is thus profinite. See for example Sect. 5.1 in

Luis Ribes, Pavel Zalesski, Profinite Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge

share|cite|improve this answer
    
Yes, this appears to be the argument in Stroppel's book as well (see comments). Thanks for the reference! – Gene S. Kopp Dec 9 '10 at 10:27
    
For discussion of this result, see here: golem.ph.utexas.edu/category/2014/08/… . In particular, Todd Trimble gives a very nice, short proof:golem.ph.utexas.edu/category/2014/08/… . I don't know whether it's the same as Ribes and Zalesski's. – Tom Leinster Sep 5 '14 at 13:09

The earliest reference I could find to the fact that compact Hausdorff rings are profinite (objects in the category of topological rings) is in Johnstone's "Stone Spaces" (VI.4.11 on page 266); in the bibliographical notes on page 269 it is attributed to Kaplansky, "Topological Rings" (Amer. J. Math. 69 (1947) 153-183). Interestingly, Kaplansky himself refers to Otobe ("On quasi-evaluations of compact rings," Proceedings of the Imperial Academy of Tokyo, 20 (1944), pp. 278-282) who in turn refers to Anzai ("On compact topological rings", same Proceedings, 19 (1943), 613-616); and Anzai says he owes the proof of the profiniteness part to Nakayama.

Decided to mention all this since none of the references in answers or comments seem to contain these attributions, except for the comment by Gjergji Zaimi "...it appears that the result is old and possibly due to Kaplansky, so I'd like to research that a little more."

PS Concerning units - actually Anzai does not require it, the only thing needed is that the zero is the sole element annihilating the whole ring.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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