Skip to content

SymmetricGroup

represents the symmetric group S_n of degree n. It stays unevaluated as its canonical form and is consumed by group functions such as GroupOrder and GroupGenerators.

$ wo 'SymmetricGroup[3]'
SymmetricGroup[3]
$ wo 'GroupOrder[SymmetricGroup[4]]'
24
$ wo 'GroupGenerators[SymmetricGroup[4]]'
{Cycles[{{1, 2}}], Cycles[{{1, 2, 3, 4}}]}