Non-trivial consequences of Baer's theorem and Lucchini's theorem in subnormality theory There are a couple of beautiful results in finite group theory that look trivial, at least on a first glance, but require non-trivial facts to prove. I am basically interested in whether these results actually have relatively easier proofs to the ones I will outline below. More specifically, I am interested in whether these results may be proven without the aid of the powerful subnormality theory.
The first, and perhaps most beautiful result, is due to Horosevskii:

Let $\sigma\in Aut(G)$ where Aut($G$) denotes the automorphism group of a non-trivial finite group $G$. Then the order of $\sigma$ in Aut($G$) in less than $\left|G\right|$.

The second result, though perhaps more specialized, actually is an important ingredient in the purely group-theoretic proof of Burnside's $p^aq^b$-theorem:

Let $t$ be an involution in a finite group $G$, and assume that $t\not\in {\bf{O}}_2(G)$, where ${\bf{O}}_2(G)$ denotes the 2-core of $G$. Then there exists an element $x\in G$ of odd prime order such that $txt=x^{-1}$.

(I think that this result is due to Matsuyama but please do not take my word for this because I am not completely certain. For definiteness, I will refer to this result as the "result on involutions".)
Now the only proof I know of the second result (on involutions) relies on Baer's theorem in subnormality theory. For reference, Baer's theorem states that:

Let $H$ be a subgroup of a finite group $G$. Then $H\subseteq {\bf{F}}(G)$ if and only if $\left\langle H,H^x \right\rangle$ is nilpotent for all $x\in G$. 

(Here, ${\bf{F}}(G)$ denotes the Fitting subgroup of $G$ and $H^x$ denotes the conjugate of $H$ by $x$; that is, $H^x = \{x^{-1}hx|h\in H\}$.)
The proof (at least the one I know) of the result on involutions uses Baer's theorem, but actually, it really only uses a very special case of Baer's theorem: the subgroup $H$ in the statement of Baer's theorem is chosen to be $\{1,t\}$ in the proof, where $t$ is the involution quoted in the result. (The proof also uses a very easy fact about dihedral groups.) 
This leads me to wonder whether there exists a "Baer-free" proof of the result on involutions. More specifically, my question is:


*

*Question 1: Does there exist a proof of the result on involutions independent of subnormality theory?
It would be interesting if such a proof existed since Baer's theorem relies on the non-trivial Wielandt "zipper lemma" (which I will quote at the end of my question) - and the zipper lemma really looks unrelated to the result on involutions.
Now Horosevskii's theorem relies on another non-trivial consequence of subnormality theory: Lucchini's theorem. For reference, Lucchini's theorem states that:

Let $A$ be a cyclic proper subgroup of a finite group $G$, and let $K=\mbox{core}_G(A)$. Then $\left|A:K\right|<\left|G:A\right|$, and in particular, if $\left|A\right|\geq \left|G:A\right|$, then $K>1$.

What is amazing, at least to me, is that a fact that one might consider fundamental about automorphisms (Horosevskii's theorem) relies on a result (Lucchini's theorem) that at least on a first glance seems very specialized. My second question is nearly identical to my first:


*

*Question 2: Does there exist a proof of Horosevskii's theorem independent of subnormality theory?


(What follows is not really subsumed in my question, but it may be useful for answering my question.)
Succinctly, the proof of Baer's theorem (at least the proof I know) relies on the amazing Wielandt "zipper lemma" which states:

Suppose that $S\subseteq G$, where $G$ is a finite group, and assume that $S$ is subnormal in $H$ for every proper subgroup $H$ of $G$ that contains $S$. If $S$ is not subnormal in $G$, then there is a unique maximal subgroup of $G$ that conains $S$.

Likewise, the proof of Lucchini's theorem relies on Zenkov's theorem on intersections of abelian subgroups, the proof of which in turn relies on Baer's theorem. Zenkov's theorem states:

Let $A$ and $B$ be abelian subgroups of a finite group $G$ and let $M$ be a minimal member of the set $\{A\cap B^g|g\in G\}$. Then $M\subseteq {\bf{F}}(G)$.

(Note that "$B^g$" denotes the conjugate of $B$ by $g$; that is, $B^g=\{g^{-1}bg|b\in B\}$.)
(Note: I am well aware that there may be other theorems due to Baer, Lucchini and Horosevskii that are referred to as "Baer's theorem", "Lucchini's theorem" or "Horosevskii's theorem". However, I hope that by stating the results above, no confusion arises. For proofs of the theorems quoted, please see the book Finite Group Theory by I. Martin Isaacs. More specifically, please see Theorem 2.9., Chapter 2, Section 2A, page 50 for the statement and proof of the Wielandt "Zipper Lemma", Theorem 2.12., Chapter 2, Section 2B, page 55 for the statement and proof of Baer's theorem, Theorem 2.18., Chapter 2, Section 2D, page 61 for the statement and proof of Zenkov's theorem, and Theorem 2.20., Chapter 2, Section 2D, page 63 for the statement and proof of Lucchini's Theorem.)
Thanks!
 A: Baer–Suzuki: The subgroup generated by {x,x^g} is a p-group for all g in G if and only if x is contained in the p-core of G.
Baer's proof emphasized commutators, rather than subnormality.  In some sense these are the same thing, but perhaps it will feel different enough for you.  Baer's presentation is given in textbook form in Huppert's Endliche Gruppen as III.6.15, page 298.  See also IX.7.8 in Huppert–Blackburn, Finite Groups, Vol 2, p. 500.  Baer's original paper is:


*

*Baer, Reinhold. "Engelsche elemente Noetherscher Gruppen."
Math. Ann. 133 (1957), 256–270.
MR86815
DOI:10.1007/BF02547953
Suzuki's proof is given in Gorenstein's Finite Groups, 3.8.2, p. 105.  It also avoids subnormality, rather using ideas about fusion of p-elements, and is probably how Bender thought of it.

Subnormality is a pretty critical idea, and many of Bender's insights use subnormality, so I would not suggest avoiding subnormality.  Other characterizations of the Fitting subgroup in terms of subnormality are given in Huppert's textbooks.  In particular, the Fitting subgroup as the elements that centralize chief factors is a very important viewpoint.  It generalizes to F-subnormality in the finite soluble world, and Bender's p*-nilpotency in the finite insoluble world.  Kegel and Carter have a number of nice papers that explore subnormality in ways that have heavily influenced both the soluble and the insoluble worlds.
Robinson's group theory textbook (and Lennox–Stonehewer MR902857) have a good description of subnormality in the infinite case.
Wielandt's collected works contains several good textbook style presentations of subnormality that are not properly contained in any other works that I have found.  They avoid assuming finiteness, and tend to have very interesting relationships between perfect subgroups and subnormality, that complement Bender's work.

One very nice thing about Isaacs's FGT is how it exposes you to important techniques.  It does not try to "optimize" the presentation either by using the bare minimum of tools or by using the most general tool here-to-fore created.  It just uses some nice results in a realistic way that more people should know.  Suzuki's textbooks also have this nice property, though they are not as easy to quote from.
