JankoGroupJ4

JankoGroupJ4[] represents the sporadic simple Janko group J4.

Examples

Get the order of the Janko group J4:

GroupOrder[JankoGroupJ4[]]
(* 86775571046077562880 *)

Please visit the official Wolfram Language Reference for more details.