Use this tag for questions about Frobenius groups, kernels and complements.
A Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. Alternatively, G is a Frobenius group if and only if G has a proper, nonidentity subgroup H such that H ∩ Hg is the identity subgroup for every g ∈ G − H, i.e. H is a malnormal subgroup of G.
