Metamath

Permutation Groups
The operation of a group is closed on a group's own set of
elements. A product of two elements of a group gives another element of the group. Since the cancellation laws apply in groups to products of elements, (i.e. ab = ac implies b = c) we
can represent an element in a group as a permutation of the groups
elements only. We then obtain all the information of the operation of multiplication by an element to the permutation of the groups elements under "action" by that element. The cancellation laws allow there to be a unique answer for
each element's "permutation" the result of the product with any other element(s). In this
manner, a group is mapped onto itself in a 11 manner (bijection) by each element. Simply by noting
the effect multiplication by any element has, we find not only a
definition for an element, but the effect of the group's operation by
any element upon the others.
Whilst mapping the set of elements {a,b,c,....} to a
permuted set, it becomes evident that a series of composite 'Transpositions' (or
the swapping of two elements at a time) preserves the 11 map and may
suffice for any permutation of the elements. Permutations may be written
as a series of disjoint cycles of arbitrary lengths. A cycle of length 'n'
represents an order 'n' element. (1,2,3,4) is order four and maps 1 to
2, 2 to 3, 3 to 4 and 4 to 1. In two cycles, (transpositions) this
factors as; (3,4)(2,4)(1,4). This notation acts onto the right, much as
one would write function composition. f(g(x)). It reads like, (1 goes to
4 then 2, 2 goes to 4 then 3, 3 goes to 4, 4 goes to 1).
The trivial cycles (4,4), (5,5,5) etc are represented
simply by the letter 'e'. Any group G of 'n' elements whether abelian or
not, may be considered a subgroup of the permutations on a set of n
elements. All such permutations in n symbols form a group Sn, named the symmetric
group of degree n. This group Sn has n! elements (5!=5 x 4 x 3 x 2 x 1).
The largest subgroup of Sn is An, the alternating group
of degree n, with order n!/2. This is a group composed of all elements
in Sn that factor into an even number of transpositions. This may be
quite complicated, do not confuse it with even cycle length. some
elements have cycle notations like (2,3,4)(2,6,4)(5,7). It is not true
that in all cases ab=ba, (commutativity). We should note that disjoint cycles always commute.
Element's inverses may be found by reversing the order of their
transpositions or "reversing". An inverse to a 'n' cycle is found by reversing it. I.e
(1,2,3)(3,2,1)=e. So (1,2,3) has as its inverse (3,2,1)
Any group may be so represented by permutations, without exception.
It is common practice for Abelian groups where the operation is commutative to use the + sign for the operation so a+b = c etc, whereas for nonabelian (non commutative operation) groups multiplication is used so, a*b = c often dropping the * to simply ab = c.
Continue To Next Page
Return To Section Start
Return To Previous Page 