The two-orders characterization conjecture for finite simple groups
Two-orders characterization conjecture. G≅SG\cong SG≅S if and only if