Locally normal subgroups of totally disconnected groups. Part I: General theory

Let be a totally disconnected, locally compact group. A closed subgroup of is locally normal if its normalizer is open in . We begin an investigation of the structure of the family of closed locally normal subgroups of . Modulo commensurability, this family forms a modular lattice , called the structure lattice of . We show that admits a canonical maximal quotient for which the quasicentre and the abelian locally normal subgroups are trivial. In this situation has a canonical subset called the centralizer lattice, forming a Boolean algebra whose elements correspond to centralizers of locally normal subgroups. If is second-countable and acts faithfully on its centralizer lattice, we show that the topology of is determined by its algebraic structure (and thus invariant by every abstract group automorphism), and also that the action on the Stone space of the centralizer lattice is universal for a class of actions on profinite spaces. Most of the material is developed in the more general framework of Hecke pairs.