Tits's simplicity theorem

Statement

BN-pairs can be used to prove that many groups of Lie type are simple modulo their centers. More precisely, if G has a BN-pair such that B is a solvable group, the intersection of all conjugates of B is trivial, and the set of generators of W cannot be decomposed into two non-empty commuting sets, then G is simple whenever it is a perfect group. In practice all of these conditions except for G being perfect are easy to check. Checking that G is perfect needs some slightly messy calculations (and in fact there are a few small groups of Lie type which are not perfect). But showing that a group is perfect is usually far easier than showing it is simple.