HigmanSimsGroupHS[] represents the sporadic simple Higman\[Dash]Sims group HS.
JankoGroupJ2[] represents the sporadic simple Janko group J_2.
MathieuGroupM12[] represents the sporadic simple Mathieu group M_12.
Mathematica 8 adds major new areas, including probability and statistics, graphs and networks, computational finance, control systems, wavelet analysis, and group theory. ...
Power
(Built-in Mathematica Symbol) x^y gives x to the power y.
OrbitRepresentatives[pg, x] returns a representative of each orbit of x induced by the action of the group pg on x.
CyclicGroupIndex[n, x] returns the cycle index of the cyclic group on n symbols, expressed as a polynomial in x[1], x[2], ..., x[n].
DihedralGroupIndex[n, x] returns the cycle index of the dihedral group on n symbols, expressed as a polynomial in x[1], x[2], ..., x[n].
SymmetricGroupIndex[n, x] returns the cycle index of the symmetric group on n symbols, expressed as a polynomial in x[1], x[2], ..., x[n].
Orbits
(Combinatorica Package Symbol) Orbits[pg, x] returns the orbits of x induced by the action of the group pg on x.