The Baby Monster $𝔹$ group is the second largest among the sporadic finite simple groups. The Baby Monster was constructed in 1977 by Jeffrey Leon and Charles Sims as a permutation group of degree 13571955000, but the existence of the Baby Monster had been predicted earlier in the 1970s by Bernd Fischer.

The BabyMonster() command returns a symbolic group that represents the Baby Monster.

In the Standard Worksheet interface, you can insert this group into a document or worksheet by using the Group Constructors palette.

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

$G≔\mathrm{BabyMonster}\left(\right)$

$G≔𝔹$

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

$4154781481226426191177580544000000$

$\mathrm{IsSimple}\left(G\right)$

$\mathrm{true}$

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

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