Frobenius Groups with Perfect Order Classes

TL;DR

This paper characterizes finite Frobenius groups with perfect order classes, revealing structural conditions on their kernels and complements, and fully classifies insoluble and certain nilpotent cases.

Contribution

It provides new characterizations and classifications of Frobenius groups with perfect order classes, including insoluble, nilpotent, and biprimary cases.

Findings

Insoluble Frobenius groups with perfect order classes have a homocyclic 11-group kernel.

Nilpotent Frobenius complements with perfect order classes are cyclic 2- or 3-groups.

No soluble Frobenius group with a certain 30-divisible complement has perfect order classes.

Abstract

The purpose of this paper is to investigate the finite Frobenius groups with "perfect order classes"; that is, those for which the number of elements of each order is a divisor of the order of the group. If a finite Frobenius group has perfect order classes then so too does its Frobenius complement, the Frobenius kernel is a homocyclic group of odd prime power order, and the Frobenius complement acts regularly on the elements of prime order in the Frobenius kernel. The converse is also true. Combined with elementary number-theoretic arguments, we use this to provide characterisations of several important classes of Frobenius groups. The insoluble Frobenius groups with perfect order classes are fully characterised. These turn out to be the perfect Frobenius groups whose Frobenius kernel is a homocyclic $11$-group of rank $2$. We also determine precisely which nilpotent Frobenius complements have perfect order classes, from which it follows that a Frobenius group with nilpotent complement has perfect order classes only if the Frobenius complement is a cyclic $\{2,3\}$-group of even order. Those Frobenius groups for which the Frobenius complement is a biprimary group are also described fully, and we show that no soluble Frobenius group whose Frobenius complement is a $\{2,3,5\}$-group with order divisible by $30$ has perfect order classes.