# Frobenius subgroup

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]

## Definition

### Symbol-free definition

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