Types of Actions
As the above example shows, the cycle index depends on the group action and not on the abstract group. Since there are many permutation representations of an abstract group, it is useful to have some terminology to distinguish them.
When an abstract group is defined in terms of permutations, it is a permutation group and the group action is the identity homomorphism. This is referred to as the natural action.
The symmetric group S3 in its natural action has the elements
and so, its cycle index is:
A permutation group G on the set X is transitive if for every pair of elements x and y in X there is at least one g in G such that y = xg. A transitive permutation group is regular (or sometimes referred to as sharply transitive) if the only permutation in the group that has fixed points is the identity permutation.
A finite transitive permutation group G on the set X is regular if and only if |G| = |X|. Cayley's theorem states that every abstract group has a regular permutation representation given by the group acting on itself (as a set) by (right) multiplication. This is called the regular representation of the group.
The cyclic group C6 in its regular representation contains the six permutations (one-line form of the permutation is given first):
-
- = (1)(2)(3)(4)(5)(6)
- = (1 2 3 4 5 6)
- = (1 3 5)(2 4 6)
- = (1 4)(2 5)(3 6)
- = (1 5 3)(2 6 4)
- = (1 6 5 4 3 2).
Thus its cycle index is:
Often, when an author does not wish to use the group action terminology, the permutation group involved is given a name which implies what the action is. The following three examples illustrate this point.
Read more about this topic: Cycle Index
Famous quotes containing the words types of, types and/or actions:
“... there are two types of happiness and I have chosen that of the murderers. For I am happy. There was a time when I thought I had reached the limit of distress. Beyond that limit, there is a sterile and magnificent happiness.”
—Albert Camus (19131960)
“Our major universities are now stuck with an army of pedestrian, toadying careerists, Fifties types who wave around Sixties banners to conceal their record of ruthless, beaverlike tunneling to the top.”
—Camille Paglia (b. 1947)
“Because impudence is a vice, it does not follow that modesty is a virtue; it is built upon shame, a passion in our nature, and may be either good or bad according to the actions performed from that motive.”
—Bernard Mandeville (16701733)