Non-generator of a finite group

ID: non-generator-of-a-finite-group

An element that can always be omitted from a generating family. These are exactly the elements of the Frattini subgroup: a proper generated subgroup is contained in a maximal subgroup, while an element outside a maximal subgroup generates the group together with it.

New to topics? Read the docs here!