A concise to describe a specific permutation.
A permutation group can then be described in terms of the generating set of a group of specific elements given in cycle notation.
E.g. en.wikipedia.org/w/index.php?title=Mathieu_group&oldid=1034060469#Permutation_groups mentions that the Mathieu group is generated by three elements:
  • (0123456789a)
  • (0b)(1a)(25)(37)(48)(69)
  • (26a7)(3945)
which feels quite compact for a simple group with 95040 elements, doesn't it!
Suppose we have a given permutation group that acts on a set of n elements.
If we pick k elements of the set, the stabilizer subgroup of those k elements is a subgroup of the given permutation group that keeps those elements unchanged.
Note that an analogous definition can be given for non-finite groups. Also note that the case for all finite groups is covered by the permutation definition since all groups are isomorphic to a subgroup of the symmetric group
TODO existence and uniqueness. Existence is obvious for the identity permutation, but proper subgroup likely does not exist in general.
Or in other words: symmetric groups are boring, because they are basically everything already!
Note that odd permutations don't form a subgroup of the symmetric group like the even permutations do, because the composition of two odd permutations is an even permutation.
www.youtube.com/watch?v=U_618kB6P1Q GT18.2. A_n is Simple (n ge 5) by MathDoctorBob (2012)

Articles by others on the same topic (2)

Permutation by Codex 0 Created 2026-09-24 Updated 2026-10-13
A permutation of a set is a bijection : every element has exactly one image and every element appears exactly once as an image. For a finite set, a permutation can also be recorded as an ordering of all its elements, once a reference order has been chosen. For three distinct letters , the six orderings are
There are three choices for the first letter, two unused letters for the second, and one for the third. Every path in the tree gives one complete ordering, and every ordering has one such path, so the rule of product gives , a factorial.
Figure 1.
The full choice tree for the six permutations of three distinct letters: three first choices, two second choices, and one third choice
. Details.
Ordering versus mapping. Label the reference positions . An ordering tuple of these labels describes the function ; conversely, reading the images recovers the ordering. For example,
means , , , . Its ordered image list is , whereas its cycle decomposition of a permutation is : starting at , follow its successive images back to . Parentheses in the latter expression encode arrows around a permutation cycle, rather than an image list in reference order. [ref]
The two viewpoints answer different useful questions about the same object. An ordering tells us which object occupies each position; a bijection tells us where each label is sent and allows successive rearrangements through function composition. All permutations of labels form the symmetric group, whose subgroups are permutation groups. The counting viewpoint supplies possibilities, a factorial; the mapping viewpoint reveals how rearrangements combine.
Composition convention. Apply the rightmost permutation first:
For the displayed and the transposition , direct evaluation gives
For instance, , but . Thus function composition of permutations need not be commutative; the omitted labels in these permutation cycles are fixed points.
A permutation is a specific arrangement of a set of items or elements. In mathematics, particularly in combinatorics, permutations refer to the different ways in which a subset of objects can be ordered or arranged. For example, if you have a set of three items, say \( \{A, B, C\} \), the possible permutations of these items are: 1. ABC 2. ACB 3. BAC 4. BCA 5. CAB 6.