“Primitive permutation group”的意思、由来-开放百科全书

词条

Primitive permutation group

释义

Examples
See also
References

In mathematics, a permutation group G acting on a non-empty set X is called primitive if G acts transitively on X and G preserves no nontrivial partition of X, where nontrivial partition means a partition that isn't a partition into singleton sets or partition into one set X. Otherwise, if G is transitive and G does preserve a nontrivial partition, G is called imprimitive.

While primitive permutation groups are transitive by definition, not all transitive permutation groups are primitive. The requirement that a primitive group be transitive is necessary only when X is a 2-element set and the action is trivial; otherwise, the condition that G preserves no nontrivial partition implies that G is transitive. This is because for non-transitive actions either the orbits of G form a nontrivial partition preserved by G, or the group action is trivial, in which case any nontrivial partition of X (which exists for |X|≥3) is preserved by G.

This terminology was introduced by Évariste Galois in his last letter, in which he used the French term équation primitive for an equation whose Galois group is primitive.^[1]

In the same letter he stated also the following theorem.

If G is a primitive solvable group acting on a finite set X, then the order of X is a power of a prime number p, X may be identified with an affine space over the finite field with p elements and G acts on X as a subgroup of the affine group.

An imprimitive permutation group is an example of an induced representation; examples include coset representations G/H in cases where H is not a maximal subgroup. When H is maximal, the coset representation is primitive.

If the set X is finite, its cardinality is called the "degree" of G.

The numbers of primitive groups of small degree were stated by Robert Carmichael in 1937:

Degree	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22	23	24	OEIS
Number	1	2	2	5	4	7	7	11	9	8	6	9	4	6	22	10	4	8	4	9	4	7	5	id=A000019}}

Note the large number of primitive groups of degree 16. As Carmichael notes, all of these groups, except for the symmetric and alternating group, are subgroups of the affine group on the 4-dimensional space over the 2-element finite field.

Examples

Consider the symmetric group acting on the set and the permutation

Both and the group generated by are primitive.

Now consider the symmetric group acting on the set and the permutation

The group generated by is not primitive, since the partition where and is preserved under , i.e. and .

Every transitive group of prime degree is primitive
The symmetric group acting on the set is primitive for every n and the alternating group acting on the set is primitive for every n > 2.

References

1. ^ Galois' last letter: http://www.galois.ihp.fr/ressources/vie-et-oeuvre-de-galois/lettres/lettre-testament

Roney-Dougal, Colva M. The primitive permutation groups of degree less than 2500, Journal of Algebra 292 (2005), no. 1, 154–183.
The GAP Data Library "Primitive Permutation Groups".
Carmichael, Robert D., Introduction to the Theory of Groups of Finite Order. Ginn, Boston, 1937. Reprinted by Dover Publications, New York, 1956.
{{MathWorld |author=Todd Rowland |title=Primitive Group Action |urlname=PrimitiveGroupAction}}

2 : Permutation groups|Integer sequences

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Examples

See also

References