Derangements in permutation groups with two orbits

Melissa Lee, Tomasz Popiel, Gabriel Verret

A classical theorem of Jordan asserts that if a group $G$ acts transitively on a finite set of size at least $2$, then $G$ contains a derangement (a fixed-point free element). Gene…