SymmetricGroup

SymmetricGroup[n]

represents the symmetric group of degree n.

Details

  • The degree n of SymmetricGroup[n] must be a non-negative integer. Degrees 0 and 1 correspond to the trivial or identity group.
  • SymmetricGroup[n] is represented by default as a permutation group on the points {1,,n}.

Background & Context

  • SymmetricGroup[n] represents the symmetric group (sometimes denoted ) on n symbols for a given non-negative integer n. For , the default representation of SymmetricGroup[n] is as a permutation group on the symbols . The special cases SymmetricGroup[0] and SymmetricGroup[1] are equivalent to the trivial group with exactly one element.
  • Mathematically, the symmetric group (for ) consists of the permutations of the symbols together with the group operation of composition. Symmetric groups are therefore permutation groups of order with the elements of SymmetricGroup[n] coinciding with Permutations[Range[n]].
  • Symmetric groups are of fundamental importance in abstract algebra, geometric group theory, representation theory, combinatorics and mathematical physics. A number of important mathematical results hold for symmetric groups. For example, Cayley's theorem states that every abstract group is isomorphic to some subgroup of the symmetric group .
  • The usual group theoretic functions may be applied to SymmetricGroup[n], including GroupOrder, GroupGenerators, GroupElements and so on. A number of precomputed properties of the symmetric group are available via FiniteGroupData[{"SymmetricGroup",n},"prop"].
  • SymmetricGroup is related to a number of other symbols. Both alternating groups and dihedral groups are important subgroups of symmetric groups. Other infinite families of finite groups built into the Wolfram Language that are parametrized by integers include AbelianGroup, AlternatingGroup, CyclicGroup and DihedralGroup

Examples

open allclose all

Basic Examples  (3)

Number of elements of a symmetric group:

In[1]:=
Click for copyable input
Out[1]=

Permutation generators of a symmetric group:

In[1]:=
Click for copyable input
Out[1]=

Elements of a permutation representation of a symmetric group:

In[1]:=
Click for copyable input
Out[1]=

Scope  (1)

Applications  (1)

Properties & Relations  (1)

See Also

AlternatingGroup  CyclicGroup  PermutationGroup  Cycles

Tutorials

Introduced in 2010
(8.0)