On the conjugacy problem for carter subgroups (Q4382437)

One can easily believe in the truth of the following conjecture: ``There are no finite groups containing more than one conjugacy class of Carter subgroups''. The conjecture is true of course for soluble groups, while there is no known nonsoluble counterexample to it. The authors prove the following result: Let \(X\) be a minimal counterexample to the conjecture. Then: i) \(T\leq X\leq\Aut(T)\) for some nonabelian simple group \(T\); ii) \(X=TH\) for any Carter subgroup \(H\) of \(X\). In particular, \(X/T\) is nilpotent. The above result restricts thus the problem of searching for a counter-example to the (large) family of almost simple groups; however, the subgroup structure of almost simple groups is controlled to a large extent, which means that settling the conjecture one way or another is now just a matter of time.