Component theorem

In the mathematical classification of finite simple groups, the component theorem of shows that if "G" is a simple group of odd type, and various other assumptions are satisfied, then "G" has a centralizer of an involution with a "standard component" with small centralizer.