Symmetric group

This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

To get more information on particular symmetric groups, check out symmetric groups

Definition

Symbol-free definition

The symmetric group on a set is the group of all permutations of that set. A group is said to be a symmetric group if it is isomorphic to the symmetric group on some set.

Definition with symbols

The symmetric group over a set $S$ (denoted as $Sym(S)$) is defined as the group of all permutations on $S$, with the multiplication being function composition.

A group $G$ is termed a symmetric group if $G\cong Sym(S)$ for some set $S$.

Relation with other properties

Weaker properties

• Centerless group: All except the symmetric group on two elements are centerless
• Complete group: All except the symmetric group on two elements and the symmetric group on six elements

APS structure

Description of the APS structure

Let $S_{m}$ denote the symmetric group on a set of $m$ elements.