Primitive group of permutations

primitive permutation group

A permutation group that preserves only the trivial equivalences on the set (i.e. equality and amorphous equivalence). For the most part, finite primitive groups are studied.

A primitive permutation group is transitive, and every -transitive group is primitive (cf. Transitive group). Proper -transitive (i.e. not -transitive) permutation groups are called uniprimitive. The commutative primitive permutation groups are precisely the cyclic groups of prime order. A transitive permutation group is primitive if and only if the stabilizer of any is a maximal subgroup in the group . Another criterion for primitivity is based on associating with each transitive group the graphs determined by the binary orbits of this group. A group is primitive if and only if the graphs corresponding to non-reflexive -orbits are connected. The number of -orbits is called the rank of the group . The rank is 2 for doubly-transitive groups, while the rank of a uniprimitive group is at least 3.

Every non-identity normal subgroup of a primitive permutation group is transitive. Every transitive permutation group can be imbedded in a multiple wreath product of primitive permutation groups. (However, such a representation is not unique.)

Many questions on permutation groups reduce to the case of primitive permutation groups. All primitive permutation groups of order are known (cf. [4]). The relation between primitive permutations groups and finite simple groups has been much investigated.

A generalization of the notion of a primitive permutation group is that of a multiply primitive group. A permutation group is called -fold primitive if it is -fold transitive and if the pointwise stabilizer of points acts primitively on the remaining points.

References

[1]	P. Cameron, "Finite permutation groups and finite simple groups" Bull. London Math. Soc. , 13 (1981) pp. 1–22
[2]	M. Krasner, L. Kaloujnine, "Produit complet des groupes de permutations et problème d'extension de groupes II" Acta Sci. Math. (Szeged) , 14 (1951) pp. 39–66
[3]	H. Wielandt, "Finite permutation groups" , Acad. Press (1968) (Translated from German)
[4]	B.A. Pogorelov, "Primitive permutation groups of small degree" , VI All-Union Symp. Group Theory , Kiev (1980) pp. 146–157; 222 (In Russian)
[5]	O.Yu. Shmidt, "Abstract theory of groups" , Freeman (1966) (Translated from Russian)