GroupTheory - Maple Help

Home : Support : Online Help : Mathematics : Group Theory : GroupTheory package : GroupTheory/ONanGroup

GroupTheory

 ONanGroup

 Calling Sequence ONanGroup()

Description

 • The O'Nan group is a sporadic finite simple group of order 460815505920.  It is among the pariahs, not being a subquotient of the Monster.  It was discovered by Michael O'Nan in 1976.
 • The ONanGroup() command returns a permutation group isomorphic to the O'Nan group.

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔\mathrm{ONanGroup}\left(\right)$
 ${G}{:=}{O\text{'}Nan}$ (1)
 > $\mathrm{Degree}\left(G\right)$
 ${122760}$ (2)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${460815505920}$ (3)
 > $\mathrm{IsSimple}\left(G\right)$
 ${\mathrm{true}}$ (4)

Compatibility

 • The GroupTheory[ONanGroup] command was introduced in Maple 17.