4
$\begingroup$

This is a crosspost of my (slightly longer) question on MSE since I'm not getting any responses there.


Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and $F_2/F=\text{Fit}\left(G/F_1\right)$. If $F_2$ is a Frobenius group with kernel $F_1$ and $G/F_1$ is a Frobenius group with kernel $F_2/F_1$, we say that $G$ is $2$-Frobenius.

I have read about the characters of Frobenius groups in Isaacs and Huppert's books, but I have never seen $2$-Frobenius groups mentioned. Can anyone point me to some literature on the character theory of $2$-Frobenius groups?

Alternatively, does anyone know any theorems about Frobenius groups that could be adapted to $2$-Frobenius groups? I am especially interested in $2$-Frobenius groups where $F_1$ and $G/F_2$ are $p$-groups and $F_2/F_1$ is a $q$-group (for distinct primes $p$,$q$), but I would appreciate any representation theory at all which may help me better understand this class of groups.

$\endgroup$

1 Answer 1

1
$\begingroup$

I wonder if you have written exactly what you meant? Surely you mean that $F_{2}$ is a Frobenius group with kernel $F_{1}$ and $G/F_{1}$ is a Frobenius group group with kernel $F_{2}/F_{1}?

Assuming that is what you meant,there are lots of $2$-Frobenius groups, as you are probably aware. One family of examples, which is in a sense typical, is when you have a Frobenius group $H$ with Abelian Frobenius kernel $A$, and you take a faithful irreducible $FH$-module $V$ for $F$ a field of prime order. Then the semidirect product $VH$ is a $2$-Frobenius group according to your definition,because the irreducibility of $V$ ensures that $C_{V}(a) = 1$ for all non-identity $a \in A.$

$\endgroup$
3
  • $\begingroup$ Yes, sorry that is a typo, that is what I meant. $\endgroup$ Oct 20, 2012 at 14:44
  • $\begingroup$ @GeoffRobinson So, you've given an example of the family of groups I'm talking about, which I am actually already familiar with... is there anything we know about the characters of those groups? (For example, I asked in the MSE question whether the formula for Frobenius groups' characters could be applied here.) Am I being dumb and the answer is staring me in the face, or is it simply that the characters of $2$-Frobenius groups are complicated/not well understood? $\endgroup$ Oct 21, 2012 at 22:07
  • 1
    $\begingroup$ I did think a little about this. I think you just have to look at inertial subgroups and use Clifford theory, but I couldn't say anything too coherent, though I had started to try. For example, if you look at an irreducible character $\mu$ of$F_{2}$ which does not contain £F_{1} in its kernel, then its inertial subgroup in $G$ is totally controlled by what goes on with the restriction to $F_{1}.$ But then ..? $\endgroup$ Oct 21, 2012 at 22:48

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.