Let $G$ be a finite group, and let $\mathrm{pi}$ be a set of (positive, rational) primes. A Hall $\mathrm{pi}$-subgroup of $G$ is a maximal $\mathrm{pi}$-subgroup of $G$ where, by a $\mathrm{pi}$-subgroup, we mean a subgroup whose order is a $\mathrm{pi}$-number (one whose prime divisors all belong to $\mathrm{pi}$). Equivalently, a subgroup $H$ of a finite group $G$ is a Hall-subgroup if its order and index are relatively prime.

If $\mathrm{pi}$ consists of a single prime number $p$, then a Hall $\mathrm{pi}$-subgroup of $G$ is just a Sylow $p$-subgroup of $G$.

A finite group $G$ is soluble if, and only if, for each set $\mathrm{pi}$ of primes, $G$ has a Hall $\mathrm{pi}$-subgroup. Moreover, any two Hall $\mathrm{pi}$-subgroups of $G$ are conjugate in $G$, and every $\mathrm{pi}$-subgroup of $G$ is contained in a Hall $\mathrm{pi}$subgroup.

A finite insoluble group may, or may not, have Hall subgroups.

The HallSubgroup( pi, G ) command constructs a Hall pi-subgroup of a finite soluble group G. The group G must be an instance of a permutation group. Apart from a handful of exceptions, the permutation group G must be soluble; otherwise, an exception is raised.

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

$G≔\mathrm{DihedralGroup}\left(30\right)$

$G≔{\mathbf{D}}_{30}$

$\mathrm{ifactor}\left(\mathrm{GroupOrder}\left(G\right)\right)$

${\left(2\right)}^2\left(3\right)\left(5\right)$

$H≔\mathrm{HallSubgroup}\left(\left\{2\,5\right\}\,G\right)$

$H≔⟨\left(1\,16\right)\left(2\,17\right)\left(3\,18\right)\left(4\,19\right)\left(5\,20\right)\left(6\,21\right)\left(7\,22\right)\left(8\,23\right)\left(9\,24\right)\left(10\,25\right)\left(11\,26\right)\left(12\,27\right)\left(13\,28\right)\left(14\,29\right)\left(15\,30\right)\,\left(1\,18\right)\left(2\,17\right)\left(3\,16\right)\left(4\,15\right)\left(5\,14\right)\left(6\,13\right)\left(7\,12\right)\left(8\,11\right)\left(9\,10\right)\left(19\,30\right)\left(20\,29\right)\left(21\,28\right)\left(22\,27\right)\left(23\,26\right)\left(24\,25\right)\,\left(1\,13\,25\,7\,19\right)\left(2\,14\,26\,8\,20\right)\left(3\,15\,27\,9\,21\right)\left(4\,16\,28\,10\,22\right)\left(5\,17\,29\,11\,23\right)\left(6\,18\,30\,12\,24\right)⟩$

$\mathrm{igcd}\left(\mathrm{GroupOrder}\left(H\right)\,\mathrm{Index}\left(H\,G\right)\right)$

$1$

$\mathrm{HallSubgroup}\left(\left\{2\,3\right\}\,\mathrm{Symm}\left(5\right)\right)$

Error, (in GroupTheory:-HallSubgroup) group must be soluble

$\mathrm{HallSubgroup}\left(\left\{5\right\}\,\mathrm{Symm}\left(5\right)\right)$

$⟨\left(1\,2\,3\,4\,5\right)⟩$

$\mathrm{HallSubgroup}\left(\left\{\right\}\,\mathrm{Symm}\left(5\right)\right)$

$\mathrm{HallSubgroup}\left(\left\{2\,3\,5\right\}\,\mathrm{Symm}\left(5\right)\right)$

${\mathbf{S}}_5$

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

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