This is a problem I encountered in Martin Isaacs' 'Finite Group Theory'. It's located at the end of Chapter II which deals with subnormality, and the particular paragraph is concerned with a couple of not so well-known results which I quote for reference:

(In what follows $F$ is the Fitting subgroup)

**Theorem (Zenkov)**

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

An easy corollary follows which establishes the existence of a subnormal subgroup:

**Corollary**

If $A$ is an abelian subgroup of the finite group $G$ and $|A|\geq|G:A|$, then $A \cap F(G)>1$.

In fact, if $A$ is cyclic, then a normal subgroup is guaranteed:

**Theorem (Lucchini)**

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

**Problem**

Let G be a finite group such that $G=AN$, where $A$ is abelian, $N \unlhd G$, $C_A(N)=1$ and $F(N)=1$. Show that $|A|<|N|$.

Note that, since $N \unlhd G$, it follows that $F(N)= N \cap F(G)$. So, if $|A|\geq|N|$ in the problem, then $|A|\geq|N:N \cap A|=|NA:A|=|G:A|$ and the corollary applies to give $A \cap F(G)>1$.

How does one proceed from here to obtain a contradiction? In particular, how can the condition on the centralizer be utilized effectively?