This book provides the first representation theoretic and algorithmic approach to the theory of abstract finite simple groups. Concrete applications are demonstrated in the construction of the simple satellites of the known simple groups which are not uniquely determined by a given centralizer.