GroupTheory - Maple Programming Help

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

GroupTheory

 Monster

 Calling Sequence Monster()

Description

 • The Fischer-Griess Monster $𝕄$ is the largest among the sporadic finite simple groups, discovered in 1973 by Robert Griess, after its existence had been predicted earlier by Griess and Bernd Fischer.  The Monster was constructed as the automorphism group of a certain $196883$-dimensional non-associative algebra.
 • The Monster() command returns a symbolic group that represents the Monster simple group.  Although the Monster is too large to allow computation with its elements in the current implementation, Maple knows various properties of the group.

Examples

 > $\mathrm{with}\left(\mathrm{GroupTheory}\right):$
 > $G≔\mathrm{Monster}\left(\right)$
 ${G}{:=}{𝕄}$ (1)
 > $\mathrm{GroupOrder}\left(G\right)$
 ${808017424794512875886459904961710757005754368000000000}$ (2)
 > $\mathrm{IsSimple}\left(G\right)$
 ${\mathrm{true}}$ (3)
 > $\mathrm{IsPerfect}\left(G\right)$
 ${\mathrm{true}}$ (4)
 > $\mathrm{IsSoluble}\left(G\right)$
 ${\mathrm{false}}$ (5)

Compatibility

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