Frobenius subgroup

Symbol-free definition
A Frobenius subgroup, or Frobenius complement, in a finite group, is a proper nontrivial defining ingredient::malnormal subgroup. In other words, it is a proper nontrivial self-normalizing subgroup that intersects all its other conjugates trivially.