AlternatingGroup
AlternatingGroup[n] represents the alternating group of degree n.
Examples
AlternatingGroup[4]
(* AlternatingGroup[4] *)GroupOrder[AlternatingGroup[5]]
(* 60 *)Please visit the official Wolfram Language Reference for more details.