Projective simplicity and Bergman's property for unit groups of continuous rings
Abstract
We prove that the projective unit group PGL(R), i.e., the quotient of the unit group GL(R) modulo its center, of any non-discrete irreducible, continuous ring R is simple. Moreover, we show that GL(R) has uncountable strong cofinality, that is, it is not the union of a countable chain of proper subgroups and it has finite width with respect to any generating set. Equivalently, every isometric action of GL(R) on a metric space has bounded orbits. It follows that every action of GL(R) by isometries on a non-empty complete CAT(0) space admits a fixed point. In particular, GL(R) possesses Serre's properties (FH) and (FA). Furthermore, our results entail that PGL(R) has bounded normal generation. In turn, we answer two questions by Carderi and Thom.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.