My question is in the title. Some context: there are two versions of the O'Nan-Scott theorem. The first, weaker version, is due to O'Nan and Scott (independently) and gives the structure of the maximal subgroups of a finite symmetric group:



> 
> A maximal subgroup of $S\_n$ is one of:
> 
> 
> * $S\_k\times S\_{n-k}$, the stabiliser of a $k$-set (that is, intransitive),
> * $S\_a \mathrm{wr} S\_b$ with $n=ab$, the stabiliser of a partition into b parts of size a (that is, imprimitive), or
> * primitive (that is, preserves no nontrivial partition) and of one of the following types:
> 
> 
> 	1. $\mathrm{AGL}(d,p)$ with $n=p^d$,
> 	2. $S\_\ell \mathrm{wr} S\_k$ with $n=\ell^k$, the stabiliser of a product structure,,
> 	3. a group of diagonal type, or
> 	4. an almost simple group.
> 
> 
> 


**Question 1**: Am I right in thinking that this theorem does not depend on the Classification of Finite Simple Groups (CSFG)? 


(Note, of course, that you need CFSG if you want to explicitly list the almost simple groups at (4). But such an explicit list is not a part of the stated theorem.)


The second, stronger, version of the O'Nan-Scott theorem is due to Aschbacher, O'Nan and Scott, and gives the structure of all finite primitive permutation groups. I'll state an abbreviated version.



> 
> A primitive subgroup of $S\_n$ is of affine type, of wreath type in a product action, of diagonal type, of twisted wreath type, or almost simple.
> 
> 
> 


All the proofs of this result that I have seen depend on the Schreier Conjecture, which asserts that the outer automorphism group of a finite simple group is solvable. This Conjecture is known to be true but only as a consequence of CFSG. So....


**Question 2**: Is it true that all known proofs of the Aschbacher-O'Nan-Scott theorem depend on CFSG?



Does O'Nan-Scott depend on CFSG?
According to the book "Permutation groups" by Peter Cameron, your first version, concerning maximal subgroups of $S\_n$ was announced in 1979 before the announcement of the completion of CFSG, so it did not depend on CFSG at that point.


There is a complication however, because the earliest versions of O'Nan-Scott erroneously omitted the twisted wreath product case, which was pointed out later by Aschbacher. But the twisted wreath products are not maximal in $S\_n$ - they are contained in the product type $S\_l \wr S\_k$ maximals, so I don't think that affects the maximality theorem.


According to Chapter 4 of Dixon and Mortimer's book on Permutation Groups, whihch deals with the O'Nan-Scott Theorem, the only place where the Schreier conjecture is used (Theorem 4.7B of Dixon and Mortimer) is in the analysis of the primitive groups with a regular nonabelian normal subgroup (which is exactly the twisted wreath product case), and I believe that no proof of that result is known that does not use the Schreier Conjecture. So if you want to avoid it, then you just have to leave that case without further information.


I heard Chris Parker from Birmingham give a talk for students on the O'Nan-Scott Theorem a few years ago, and I remember he did address the question of use of CFSG, and I believe it was exactly as I have described here, but you could write to him to check!


*Addendum*: Just to emphasize the dependence on the Schreier Conjecture, if that conjecture had been false, then it is conceivable that there could be two simple groups $S,T$ with $T \le {\rm Aut}(G)$ but $T \not\le {\rm Inn}(G)$, in which $T$ leaves no nontrivial proper subgroup of $S$ invariant, in which case the semidirect product $S \rtimes T$ acting on the cosets of $T$ would be a primitive permutation group having $S$ as regular normal subgroup.


