Symmetric group

In mathematics, the symmetric group on a set X, denoted by S_X, is the group whose underlying set is the set of all bijective functions from X to X, in which the group operation is that of composition of functions, i.e., two such functions f and g can be composed to yield a new bijective function f o g, defined by (f o g)(x) = f(g(x)) for all x in X. Using this operation, S_X forms a group. The operation is also written as fg (and sometimes, but not in Wikipedia, as gf).

Of particular importance is the case of a finite set X = {1,...,n}, which we write as S_n. The remainder of this article will discuss S_n. The elements of S_n are called permutations; there are n! of them. The group S_n is abelian if and only if n ≤ 2.

Subgroups of S_n are called permutation groups.

The rule of composition in the symmetric group is demonstrated below: Let

<math> f = (1\ 3)(2)(4\ 5)=\begin{bmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 2 & 1 & 5 & 4\end{bmatrix} </math>

and

<math> g = (1\ 2\ 5)(3\ 4)=\begin{bmatrix} 1 & 2 & 3 & 4 & 5 \\ 2 & 5 & 4 & 3 & 1\end{bmatrix} </math>

Applying f after g maps 1 to 2, and then to itself; 2 to 5 to 4; 3 to 4 to 5, and so on. So composing f and g gives

<math> fg = (1\ 2\ 4)(3\ 5)=\begin{bmatrix} 1 & 2 &3 & 4 & 5 \\ 2 & 4 & 5 & 1 & 3\end{bmatrix} </math>.

Occasionally (for example, at Rose-Hulman Institute of Technology, but not in Wikipedia), the opposite convention is used and the application of f after g is written as gf.

A transposition is a permutation which exchanges two elements and keeps all others fixed; for example (1 3) is a transposition. Every permutations can be written as a product of transpositions; for instance, the permutation f from above can be written as f = (1 2)(2 5)(3 4). Since f can be written as a product of an odd number of transpositions, it is then called an odd permutation, whereas g is an even permutation.

The representation of a permutation as a product of transpositions isn't unique; however, the number of transpositions needed to represent a given permutation is either always even or always odd. The product of two even permutations is even, the product of two odd permutations is even, and all other products are odd. Thus we can define the signature of a permutation:

<math>sgn(f)=\left\{\begin{matrix} +1, & \mbox{if }f\mbox { is even} \\ -1, & \mbox{if }f \mbox{ is odd}. \end{matrix}\right.</math>

With this definition,

sgn: S_n → {+1,-1}

is a group homomorphism ({+1,-1} is a group under multiplication). The kernel of this homomorphism, i.e. the set of all even permutations, is called the alternating group A_n. It is a normal subgroup of S_n and has n! / 2 elements. The group S_n is the semidirect product of A_n and any subgroup generated by a single transposition.

A cycle is a permutation f for which there exists an element x in {1,...,n} such that x, f(x), f²(x), ..., f^k(x) = x are the only elements moved by f. The permutation f shown above is a cycle, since f(1) = 4, f(4) = 3 and f(3) = 1. We denote such a cycle by (1 4 3). The length of this cycle is three. The order of a cycle is equal to its length. Cycles of length two are transpositions. Two cycles are disjoint if they move different elements. Disjoint cycles commute, e.g. in S₆ we have (3 1 4)(2 5 6) = (2 5 6)(3 1 4). Every element of S_n can be written as a product of disjoint cycles; this representation is unique up to the order of the factors.

The conjugacy classes of S_n correspond to the cycle structures of permutations; that is, two elements of S_n are conjugate if and only if they consist of the same number of disjoint cycles of the same lengths. For instance, in S₅, (1 2 3)(4 5) and (1 4 3)(2 5) are conjugate; (1 2 3)(4 5) and (1 2)(4 5) are not.

Common misspelling and questions (FAQ)

ymmetric-group  smmetric-group  symetric-group  symetric-group  symmtric-group  symmeric-group  symmetic-group  symmetrc-group  symmetri-group  symmetricgroup  symmetric-roup  symmetric-goup  symmetric-grup  symmetric-grop  symmetric-grou  ysmmetric-group  smymetric-group  symmetric-group  symemtric-group  symmteric-group  symmertic-group  symmetirc-group  symmetrci-group  symmetri-cgroup  symmetricg-roup  symmetric-rgoup  symmetric-gorup  symmetric-gruop  symmetric-gropu  symmetric-grou  ssymmetric-group  syymmetric-group  symmmetric-group  symmmetric-group  symmeetric-group  symmettric-group  symmetrric-group  symmetriic-group  symmetricc-group  symmetric--group  symmetric-ggroup  symmetric-grroup  symmetric-grooup  symmetric-grouup  symmetric-groupp  wymmetric-group  aymmetric-group  zymmetric-group  eymmetric-group  xymmetric-group  eymmetric-group  dymmetric-group  xymmetric-group  s6mmetric-group  stmmetric-group  sgmmetric-group  s7mmetric-group  shmmetric-group  s7mmetric-group  summetric-group  shmmetric-group  syjmetric-group  synmetric-group  sykmetric-group  sykmetric-group  sy,metric-group  symjetric-group  symnetric-group  symketric-group  symketric-group  sym,etric-group  symm3tric-group  symmwtric-group  symmstric-group  symm4tric-group  symmdtric-group  symm4tric-group  symmrtric-group  symmdtric-group  symme5ric-group  symmerric-group  symmefric-group  symme6ric-group  symmegric-group  symme6ric-group  symmeyric-group  symmegric-group  symmet4ic-group  symmeteic-group  symmetdic-group  symmet5ic-group  symmetfic-group  symmet5ic-group  symmettic-group  symmetfic-group  symmetr8c-group  symmetruc-group  symmetrjc-group  symmetr9c-group  symmetrkc-group  symmetr9c-group  symmetroc-group  symmetrkc-group  symmetrid-group  symmetrix-group  symmetrif-group  symmetrif-group  symmetriv-group  symmetric0group  symmetricpgroup  symmetric[group  symmetric-troup  symmetric-froup  symmetric-vroup  symmetric-yroup  symmetric-broup  symmetric-yroup  symmetric-hroup  symmetric-broup  symmetric-g4oup  symmetric-geoup  symmetric-gdoup  symmetric-g5oup  symmetric-gfoup  symmetric-g5oup  symmetric-gtoup  symmetric-gfoup  symmetric-gr9up  symmetric-griup  symmetric-grkup  symmetric-gr0up  symmetric-grlup  symmetric-gr0up  symmetric-grpup  symmetric-grlup  symmetric-gro7p  symmetric-groyp  symmetric-grohp  symmetric-gro8p  symmetric-grojp  symmetric-gro8p  symmetric-groip  symmetric-grojp  symmetric-grou0  symmetric-grouo  symmetric-groul  symmetric-grou-  symmetric-grou;  symmetric-grou-  symmetric-grou[  symmetric-grou;  symmetryc-group  symmeyric-group  symmetyric-group  symmetric-groups 


At Lafaye, we find the incisors of small a precious necklace made of forty bears' and three lions' teeth. The indicated the rank or celebrated the deeds of the chief. The Abbe two of which bore scratches which may have had some signification. At holes; at Kent's bole were found some oval disks measuring five by curious contrast to the other objects taken from the same cave. In the plaques, and in those of the south of France fragments of steatite, was found a pendant of lignite (Fig. 27). Men were not content with FIGURE 27 1. Lignite pendant. 2. Bone pendant (Thayngen Cave). of France were bright-colored shells. The caves of Roquemaure have at Cro-Magnon more than three hundred shells were picked up which as that of the man of Sordes. M. de Maret discovered at Placard others fossils of forms now extinct. Many of them are foreign to the the inhabitants of the present department of Charente fished in the of Anjou and Touraine, and penetrated as far as the present.