Suppose that (the commuting product of all components of ) is Simple and contains a Semisimple Involution. Then there is some Semisimple Involution such that has a Normal Subgroup which is either Quasisimple or Isomorphic to and such that is Tightly Embedded.
See also Involution (Group), Isomorphic Groups, Normal Subgroup, Quasisimple Group, Simple Group, Tightly Embedded