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!