# Margulis' normal subgroup theorem

Let  be a connected, centerless semisimple Lie group of real rank at least 2. Let  be an irreducible lattice in . Then any nontrivial normal subgroup of  has finite index. In other words,  is a Group in which every nontrivial normal subgroup has finite index (?).