I am trying to figure out whether or not the following property is first-order expressible in the language of groups.
$$\text{$G$ has a subgroup $H$ with which it forms a Frobenius pair $(H,G)$.}$$
My search online yielded no answers. Even if there is a positive or negative result, it seems to be not very well-known.