IsSupersoluble - Maple Help

GroupTheory

 IsSupersoluble
 attempt to determine whether a group is supersoluble

 Calling Sequence IsSupersoluble( G ) IsSupersolvable( G )

Parameters

 G - a finite group

Description

 • A group $G$ is supersoluble if it has a normal series with cyclic quotients. That is, there is a normal series

$G={G}_{0}▹{G}_{1}▹\dots ▹{G}_{r}=1$

 with each subgroup ${G}_{i}$ normal in $G$, and for which each of the quotients $\frac{{G}_{i}}{{G}_{i+1}}$ is cyclic.
 • It follows that every supersoluble group is soluble but, as the examples below illustrate, the converse is not true.
 • The IsSupersoluble( G ) command attempts to determine whether the finite group G is supersoluble.  It returns true if G is supersoluble and returns false otherwise.
 • The IsSupersolvable( G ) command is provided as an alias.

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $\mathrm{IsSupersoluble}\left(\mathrm{DihedralGroup}\left(4\right)\right)$
 ${\mathrm{true}}$ (1)

The alternating group of degree $4$ is soluble, but is not supersoluble.

 > $\mathrm{IsSupersoluble}\left(\mathrm{Alt}\left(4\right)\right)$
 ${\mathrm{false}}$ (2)
 > $\mathrm{IsSoluble}\left(\mathrm{Alt}\left(4\right)\right)$
 ${\mathrm{true}}$ (3)

Compatibility

 • The GroupTheory[IsSupersoluble] command was introduced in Maple 2019.