Characterization of Frobenius complements

Question

I have learned that Frobenius complements are characterized (among finite groups) by having a fixed point free complex representation. That is, a finite group $G$ is a Frobenius complement if and only if there is a finite dimensional complex representation $\rho:G\to GL(V)$ so that the linear mapping $\rho(g)$ has no nonzero fixed points for any $g\in G\setminus\{1\}$. Is there a citable reference for this fact?

I have found references that mention that this is well-known. For example:

It is well-known that a finite group $H$ has the structure of a Frobenius complement if and only if it can act fixed-point-freely on some finite group $G$ (this means that non-trivial elements of $H$ fix only the identitty element of $G$). Equivalently, we may require that $H$ acts fixed-point-freely on some elementary abelian group $E$, or on a linear space $V$ over a field of characteristic zero. (Aner Shalev: A new characterization of frobenius complements)

I'm aware of Passman's book Permutation groups, but it does not state this characterization. I would prefer a reference that states this characterization explicitly (and preferably includes a proof). My intended audience does not have a strong background in representation theory, so references of a more implicit kind ("this can be inferred from various results in this book" or "it is folklore/well-known/true that…") would be inconvenient.

---

Edit: The references and descriptions given in the comments and the answer are very useful but do not contain an explicit reference for the representation theoretical characterization of Frobenius complements I'm looking for. The direction that Frobenius complements have fixed-point-free representations is given as Theorem 18.1v in Passman's book, but the other direction is still missing.

Answer 1

Since you are asking for a justification of the characterization of Frobenius complements by a representation-theoretic property I am not sure that you can completely avoid representation theory altogether. Also this characterization of Frobenius complements is genuinely "folklore"-something which anyone who has worked seriously with Frobenius groups would be likely to know. I am not sure who first proved it-one place to look is work of H. Zassenhaus, who proved, for example, that ${\rm SL}(2,5)$ is the only perfect Frobenius complement.

Anyway, the proof of the direction " A Frobenius complement $H$ has an irreducible complex representation with each non-identity element acting without the eigenvalue 1" is as given in the comments of Derek Holt and myself- I know of no other way to do it, other than to show that $H$ has such an irreducible representation in characteristic $q \neq 0$ coprime to $|H|$ in which each non-identity element has no non-trivial fixed-points. This may not be absolutely irreducible, but it is a sum of Galois conjugate absolutely irreducible representations, still over a finite field, and no non-identity element of $H$ has the eigenvalue $1$. The theory of Brauer characters shows that $H$ has a complex irreducible representation with the same property.

The opposite direction is similar. If $H$ has an irreducible complex representation in which no non-identity element has the eigenvalue $1$, we can reduce the representation (mod $q$) for any prime $q$ not dividing $|H|$, obtaining an absolutely irreducible representation over a finite field of characteristic $q$. Possibly increasing the dimension, we obtain an irreducible representation of $H$ over ${\rm GF}(q)$ such that each non-identity element of $H$ has no non-zero fixed point on the underlying module, say $V$. Then the semidirect product $HV$ is a Frobenius group with complement $H.$

If you want to get by without telling your readers all details, it would probably be reasonable to sketch the proof of the first direction (the necessary facts about coprime action can be found in many texts, eg Gorenstein's "Finite Groups"), and then to point out that the representation theory of $H$ in coprime characteristic is "essentially the same" as the complex representation theory, then to point out that the proof in the other direction follows for the same reason. The technicalities about fields of realizability, and worrying about realizability over the prime field, are probably best omitted in any case, at that level.

(By the way, $H$ acting in a Frobenius manner on a vector space is a much stronger requirement than $H$ acting fixed point freely. A Frobenius action of $H$ means that no non-identity element of $H$ has a non-zero fixed vector. To say "$H$ acts fixed-point freely" means (in common usage) that there is no non-zero vector fixed by all of $H$).

Answer 2

I don't have enough reputation to comment, but if you're still looking for a reference, this is basically theorem 25.5 in Feit's Characters of Finite Groups.

Here is the exact statement of the theorem:

Let $C\neq\{1\}$ be a group. There exists a Frobenius group $G$ with kernel $K$ such that $G/K\cong C$ if and only if there exists an irreducible character $\chi$ of $C$ such that for every subgroup $1<H\le C$, $$ \langle \chi_H,1_H\rangle=0$$

Answer 3

This is (part of) Theorem 6.13 in Serre's Finite Groups: An Introduction, which says the following. Say that an action of a group $H$ on another group $N$ is almost free if the action on $N \setminus \{ e \}$ is free. Then TFAE:

1. $H$ is a Frobenius complement; equivalently, $H$ acts almost freely on another finite group $N$.
2. $H$ acts almost freely on a finite-dimensional vector space over some field.
3. $H$ acts almost freely on a finite-dimensional vector space over every field of characteristic not dividing $|H|$.
4. $H$ acts almost freely and irreducibly on a finite-dimensional vector space over $\mathbb{C}$.
5. $H$ acts freely and orthogonally on some sphere.