paper

Projective simplicity and Bergman's property for unit groups of continuous rings

arXiv:2510.23752

Abstract

We prove that the projective unit group , i.e., the quotient of the unit group modulo its center, of any non-discrete irreducible, continuous ring is simple. Moreover, we show that 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 on a metric space has bounded orbits. It follows that every action of by isometries on a non-empty complete space admits a fixed point. In particular, possesses Serre's properties and . Furthermore, our results entail that has bounded normal generation. In turn, we answer two questions by Carderi and Thom.

21 pages, no figures; v2: minor improvements, 21 pages