If $G$ is a group, then the Frattini subgroup of $G$, denoted $\Phi(G)$, is the intersection of all maximal subgroups of $G$. If there are no maximal subgroups of $G$, then $\Phi(G)=G$.
The Frattini subgroup is always a characteristic subgroup, hence a normal subgroup, of $G$.
Authors:
Knowl status:
- Review status: reviewed
- Last edited by John Jones on 2019-05-23 20:24:01
Referred to by:
History:
(expand/hide all)
- columns.gps_groups.frattini_label
- columns.gps_groups.frattini_quotient
- group.rank
- lmfdb/groups/abstract/main.py (lines 431-433)
- lmfdb/groups/abstract/main.py (line 2072)
- lmfdb/groups/abstract/templates/abstract-show-group.html (line 318)
- lmfdb/groups/abstract/web_groups.py (line 826)
- lmfdb/groups/abstract/web_groups.py (line 3001)
- 2019-05-23 20:24:01 by John Jones (Reviewed)