The Frattini subgroup of a finite group $G$ is the set of "non-generators" of $G$.  An element $g$ of $G$ is a non-generator if, whenever $G$ is generated by a set $S$ containing $g$, it is also generated by $S\setminus \left\{g\right\}$.

The Frattini subgroup of $G$ is also equal to the intersection of the maximal subgroups of $G$. The Frattini subgroup of a finite group is nilpotent.

The FrattiniSubgroup( G ) command returns the Frattini subgroup of a group G. The group G must be an instance of a permutation group.

$\mathrm{with}\left(\mathrm{GroupTheory}\right)\:$

$G≔\mathrm{SmallGroup}\left(32\,5\right)\:$

$F≔\mathrm{FrattiniSubgroup}\left(G\right)$

$F≔\Phi \left(\mathrm{<\; a\; permutation\; group\; on\; 32\; letters\; with\; 5\; generators\; >}\right)$

$\mathrm{GroupOrder}\left(F\right)$

$8$

$\mathrm{IsNilpotent}\left(F\right)$

$\mathrm{true}$

$F≔\mathrm{FrattiniSubgroup}\left(\mathrm{DihedralGroup}\left(12\right)\right)$

$F≔\Phi \left({\mathbf{D}}_{12}\right)$

$\mathrm{GroupOrder}\left(F\right)$

$2$

$\mathrm{GroupOrder}\left(\mathrm{FrattiniSubgroup}\left(\mathrm{Alt}\left(4\right)\right)\right)$

$1$

The GroupTheory[FrattiniSubgroup] command was introduced in Maple 17.

For more information on Maple 17 changes, see Updates in Maple 17.