# Gelfand pair

In mathematics, the expression **Gelfand pair** is a pair *(G,K)* consisting of a group *G* and a subgroup *K* that satisfies a certain property on restricted representations. The theory of Gelfand pairs is closely related to the topic of spherical functions in the classical theory of special functions, and to the theory of Riemannian symmetric spaces in differential geometry. Broadly speaking, the theory exists to abstract from these theories their content in terms of harmonic analysis and representation theory.

When *G* is a finite group the simplest definition is, roughly speaking, that the *(K,K)*-double cosets in *G* commute. More precisely, the Hecke algebra, the algebra of functions on *G* that are invariant under translation on either side by *K*, should be commutative for the convolution on *G*.

In general, the definition of Gelfand pair is roughly that the restriction to *H* of any irreducible representation of *G* contains the trivial representation of *H* with multiplicity no more than 1. In each case one should specify the class of considered representations and the meaning of contains.

## Contents

## Definitions[edit]

In each area, the class of representations and the definition of containment for representations is slightly different. Explicit definitions in several such cases are given here.

### Finite group case[edit]

When *G* is a finite group the following are equivalent

*(G,K)*is a Gelfand pair.- The algebra of
*(K,K)*-double invariant functions on*G*with multiplication defined by convolution is commutative. - For any irreducible representation
*π*of*G*, the space*π*^{K}of*K*-invariant vectors in*π*is no-more-than-1-dimensional. - For any irreducible representation
*π*of*G*, the dimension of Hom_{K}(*π*,**C**) is less than or equal to 1, where**C**denotes the trivial representation. - The permutation representation of
*G*on the cosets of*K*is multiplicity-free, that is, it decomposes into a direct sum of distinct absolutely irreducible representations in characteristic zero. - The centralizer algebra (Schur algebra) of the permutation representation is commutative.
- (
*G*/*N*,*K*/*N*) is a Gelfand pair, where*N*is a normal subgroup of*G*contained in*K*.

### Compact group case[edit]

When *G* is a compact topological group the following are equivalent:

*(G,K)*is a Gelfand pair.- The algebra of
*(K,K)*-double invariant compactly supported continuous measures on*G*with multiplication defined by convolution is commutative. - For any continuous, locally convex, irreducible representation
*π*of*G*, the space*π*^{K}of*K*-invariant vectors in*π*is no-more-than-1-dimensional. - For any continuous, locally convex, irreducible representation
*π*of*G*the dimension of Hom_{K}(*π*,**C**) is less than or equal to 1. - The representation
*L*^{2}*(G/K)*of*G*is multiplicity free i.e. it is a direct sum of distinct unitary irreducible representations.

### Lie group with compact subgroup[edit]

When *G* is a Lie group and *K* is a compact subgroup the following are equivalent:

*(G,K)*is a Gelfand pair.- The algebra of
*(K,K)*-double invariant compactly supported continuous measures on*G*with multiplication defined by convolution is commutative. - The algebra
*D(G/K)*^{K}of*K*-invariant differential operators on*G/K*is commutative. - For any continuous, locally convex, irreducible representation
*π*of*G*, the space*π*^{K}of*K*-invariant vectors in*π*is no-more-than-1-dimensional. - For any continuous, locally convex, irreducible representation
*π*of*G*the dimension of Hom_{K}(*π*,**C**) is less than or equal to 1. - The representation
*L*^{2}*(G/K)*of*G*is multiplicity free i.e. it is a direct integral of distinct unitary irreducible representations.

For a classification of such Gelfand pairs see.^{[1]}

Classical examples of such Gelfand pairs are *(G,K)*, where *G* is a reductive Lie group and *K* is a maximal compact subgroup.

### Locally compact topological group with compact subgroup[edit]

When *G* is a locally compact topological group and *K* is a compact subgroup the following are equivalent:

*(G,K)*is a Gelfand pair.- The algebra of
*(K,K)*-double invariant compactly supported continuous measures on*G*with multiplication defined by convolution is commutative. - For any continuous locally convex irreducible representation
*π*of*G*, the space*π*^{K}of*K*-invariant vectors in*π*is no-more-than-1-dimensional. - For any continuous, locally convex, irreducible representation
*π*of*G*, the dimension of Hom_{K}(*π*,**C**) is less than or equal to 1. - The representation
*L*^{2}*(G/K)*of*G*is multiplicity free i.e. it is a direct integral of distinct unitary irreducible representations.

In that setting, *G* has an Iwasawa-Monod decomposition, namely *G = K P* for some amenable subgroup *P* of *G*;^{[2]} this is the abstract analogue of the Iwasawa decomposition of semisimple Lie groups.

### Lie group with closed subgroup[edit]

When *G* is a Lie group and *K* is a closed subgroup, the pair *(G,K)* is called a generalized Gelfand pair if for any irreducible unitary representation *π* of * G* on a Hilbert space the dimension of Hom_{K}(*π*, **C**) is less than or equal to 1, where *π*^{∞} denotes the subrepresentation of smooth vectors.

### Reductive group over a local field with closed subgroup[edit]

When *G* is a reductive group over a local field and *K* is a closed subgroup, there are three (possibly non-equivalent) notions of Gelfand pair appearing in the literature. We will call them here GP1, GP2, and GP3.

GP1) For any irreducible admissible representation *π* of *G* the dimension of Hom_{K}(*π*, **C**) is less than or equal to 1.

GP2) For any irreducible admissible representation *π* of *G* we have , where denotes the smooth dual.

GP3) For any irreducible unitary representation *π* of *G* on a Hilbert space the dimension of Hom_{K}(*π*, **C**) is less than or equal to 1.

Here, *admissible representation* is the usual notion of admissible representation when the local field is non-archimedean; when the local field is archimedean, *admissible representation* instead means smooth Fréchet representation of moderate growth such that the corresponding Harish-Chandra module is admissible.

If the local field is archimedean, then GP3 is the same as generalized Gelfand property defined in the previous case.

Clearly, GP1 ⇒ GP2 ⇒ GP3.

## Strong Gelfand pairs[edit]

A pair *(G,K)* is called a **strong Gelfand pair** if the pair (*G* × *K*, Δ*K*) is a Gelfand pair, where Δ*K* ≤ *G* × *K* is the diagonal subgroup: {*(k,k)* in *G* × *K* : *k* in *K*}. Sometimes, this property is also called the **multiplicity one property**.

In each of the above cases can be adapted to strong Gelfand pairs. For example, let *G* be a finite group. Then the following are equivalent.

*(G,K)*is a strong Gelfand pair.- The algebra of functions on
*G*invariant with respect to conjugation by*K*(with multiplication defined by convolution) is commutative. - For any irreducible representation
*π*of*G*and*τ*of*K*, the space Hom_{K}(*τ*,*π*) is no-more-than-1-dimensional. - For any irreducible representation
*π*of*G*and*τ*of*K*, the space Hom_{K}(*π*,*τ*) is no-more-than-1-dimensional.

## Criteria for Gelfand property[edit]

### Locally compact topological group with compact subgroup[edit]

In this case there is a classical criterion due to Gelfand for the pair *(G,K)* to be Gelfand: Suppose that there exists an involutive anti-automorphism *σ* of *G* s.t. any *(K,K)* double coset is *σ* invariant. Then the pair *(G,K)* is a Gelfand pair.

This criterion is equivalent to the following one: Suppose that there exists an involutive anti-automorphism *σ* of *G* such that any function on *G* which is invariant with respect to both right and left translations by *K* is *σ* invariant. Then the pair *(G,K)* is a Gelfand pair.

### Reductive group over a local field with closed subgroup[edit]

In this case there is a criterion due to Gelfand and Kazhdan for the pair *(G,K)* to satisfy GP2. Suppose that there exists an involutive anti-automorphism *σ* of *G* such that any *(K,K)*-double invariant distribution on *G* is *σ*-invariant. Then the pair *(G,K)* satisfies GP2. See ^{[3]} ^{[4]} ^{[5]}.

If the above statement holds only for positive definite distributions then the pair satisfies GP3 (see the next case).

The property GP1 often follows from GP2. For example, this holds if there exists an involutive anti-automorphism of * G* that preserves *K* and preserves every closed conjugacy class. For *G* = GL(*n*) the transposition can serve as such involution.

### Lie group with closed subgroup[edit]

In this case there is the following criterion for the pair *(G,K)* to be generalized Gelfand pair. Suppose that there exists an involutive anti-automorphism *σ* of * G* s.t. any *K* × *K* invariant positive definite distribution on *G* is *σ*-invariant. Then the pair *(G,K)* is a generalized Gelfand pair. See.^{[6]}

### Criteria for strong Gelfand property[edit]

All the above criteria can be turned into criteria for strong Gelfand pairs by replacing the two-sided action of *K* × *K* by the conjugation action of *K*.

## Twisted Gelfand pairs[edit]

A generalization of the notion of Gelfand pair is the notion of twisted Gelfand pair. Namely a pair *(G,K)* is called a twisted Gelfand pair with respect to the character χ of the group *K*, if the Gelfand property holds true when the trivial representation is replaced with the character χ. For example, in case when *K* is compact it meanes that the dimension of Hom_{K}(π, χ)) is less than or equal to 1. One can adapt the criterion for Gelfand pairs to the case of twisted Gelfand pairs.

## Symmetric pairs[edit]

The Gelfand property is often satisfied by symmetric pairs.

A pair *(G,K)* is called a **symmetric pair** if there exists an involutive automorphism *θ* of * G* such that *K* is a union of connected components of the group of *θ*-invariant elements: *G*^{θ}.

If *G* is a connected reductive group over **R** and *K=G*^{θ} is a compact subgroup then *(G,K)* is a Gelfand pair. Example: *G* = GL(*n*,**R**) and *K* = O(*n*,**R**), the subgroup of orthogonal matrices.

In general, it is an interesting question when a symmetric pair of a reductive group over a local field has the Gelfand property. For symmetric pairs of rank one this question was investigated in ^{[7]} and ^{[8]}

An example of high rank Gelfand symmetric pair is (GL(*n+k*), GL(*n*) × GL(*k*)); this was proven in ^{[9]} over non-archimedean local fields and later in ^{[10]} for all local fields of characteristic zero.

For more details on this question for high rank symmetric pairs see.^{[11]}

## Spherical pairs[edit]

In the context of algebraic groups the analogs of Gelfand pairs are called spherical pair. Namely,
a pair *(G,K)* of algebraic groups is called a spherical pair if one of the following equivalent conditions holds.

- There exists an open
*(B,K)*-double coset in*G*, where*B*is the Borel subgroup of*G*. - There is a finite number of
*(B,K)*-double coset in*G* - For any algebraic representation
*π*of*G*, we have dim*π^K ≤ 1*.

In this case the space *G/H* is called spherical space.

It is conjectured that any spherical pair (G,K) over a local field satisfies the following weak version of the Gelfand property:
For any admissible representation *π* of *G*, the space Hom_{K}(*π*,**C**) is finite-dimensional. Moreover, the bound for this dimension does not depend on *π*; this conjecture is proven for a large class of spherical pairs including all the symmetric pairs.^{[12]}

## Applications[edit]

### Classification[edit]

Gelfand pairs are often used for classification of irreducible representations in the following way: Let *(G,K)* be a Gelfand pair. An irreducible representation of G called *K*-distinguished if Hom_{K}(*π*,**C**) is 1-dimensional. The representation Ind^{G}_{K}(**C**) is a model for all *K*-distinguished representations i.e. any *K*-distinguished representation appears there with multiplicity exactly 1. A similar notion exists for twisted Gelfand pairs.

**Example:** If *G* is a reductive group over a local field and K is its maximal compact subgroup, then *K* distinguished representations are called spherical, such representations can be classified via the Satake correspondence. The notion of spherical representation is in the basis of the notion of Harish-Chandra module.

**Example:** If *G* is split reductive group over a local field and *K* is its maximal unipotent subgroup then the pair *(G,K)* is twisted Gelfand pair w.r.t. any non-degenerate character ψ (see,^{[3]}^{[13]}). In this case *K*-distinguished representations are called generic (or non-degenerate) and they are easy to classify. Almost any irreducible representation is generic; the unique (up to scalar) imbedding of a generic representation to Ind^{G}_{K}(ψ) is called a Whittaker model.

In the case of *G*=GL(*n*) there is a finer version of the result above, namely there exist a finite sequence of subgroups *K _{i}* and characters s.t. (

*G*,

*K*) is twisted Gelfand pair w.r.t. and any irreducible unitary representation is

_{i}*K*distinguished for exactly one

_{i}*i*(see,

^{[14]}

^{[15]})

### Gelfand–Zeitlin construction[edit]

One can also use Gelfand pairs for constructing bases for irreducible representations: suppose we have a sequence {1} ⊂ *G _{1}* ⊂ ... ⊂

*G*s.t.

_{n}*(G*is a strong Gelfand pair. For simplicity let's assume that

_{i},G_{i-1})*G*is compact. Then this gives a canonical decomposition of any irreducible representation of

_{n}*G*to one-dimensional subrepresentations. When

_{n}*G*= U(

_{n}*n*) (the unitary group) this construction is called Gelfand Zeitlin basis. Since the representations of U(

*n*) are the same as algebraic representations of GL(

*n*) so we also obtain a basis of any algebraic irreducible representation of GL(

*n*); however one should be aware that the constructed basis isn't canonical as it depends of the choice of the embeddings U(

*i*) ⊂ U(

*i+1*).

### Splitting of periods of automorphic forms[edit]

A more recent use of Gelfand pairs is for splitting of periods of automorphic forms.

Let *G* be a reductive group defined over a global field *F* and let *K* be an algebraic subgroup of *G*. Suppose that for any place of *F* the pair (*G*, *K*) is a Gelfand pair over the completion . Let *m* be an automorphic form over *G*, then its *H*-period splits as a product of local factors (i.e. factors that depends only on the behavior of *m* at each place ).

Now suppose we are given a family of automorphic forms with a complex parameter *s*. Then the period of those forms is an analytic function which splits into a product of local factors. Often this means that this function is a certain L-function and this gives an analytic continuation and functional equation for this L-function.

Remark: usually those periods do not converge and one should regularize them.

### Generalization of representation theory[edit]

A possible approach to representation theory is to consider representation theory of a group *G* as a harmonic analysis on the group *G* w.r.t. the two sided action of *G × G*. Indeed, to know all the irreducible representations of *G* is equivalent to know the decomposition of the space of functions on *G* as a *G × G* representation. In this approach representation theory can be generalized by replacing the pair *(G × G, G)* by any spherical pair *(G,K)*. Then we will be led to the question of harmonic analysis on the space *G/K* w.r.t. the action of *G*.

Now the Gelfand property for the pair *(G,K)* is an analog of the Schur's lemma.

Using this approach one can take any concepts of representation theory and generalize them to the case of spherical pair. For example, the relative trace formula is obtained from the trace formula by this procedure.

## Examples[edit]

### Finite groups[edit]

A few common examples of Gelfand pairs are:

- (Sym(
*n*+1), Sym(*n*)), the symmetric group acting on*n*+1 points and a point stabilizer that is naturally isomorphic to on*n*points. - (AGL(
*n*,*q*), GL(*n*,*q*)), the affine (general linear) group and a point stabilizer that is naturally isomorphic to the general linear group.

If *(G,K)* is a Gelfand pair, then (*G*/*N*,*K*/*N*) is a Gelfand pair for every *G*-normal subgroup *N* of *K*. For many purposes it suffices to consider *K* without any such non-identity normal subgroups; the action of *G* on the cosets of *K* is thus faithful, so one is then looking at permutation groups *G* with point stabilizers *K*. To be a Gelfand pair is equivalent to for every *χ* in Irr(*G*). Since by Frobenius reciprocity and is the character of the permutation action, a permutation group defines a Gelfand pair if and only if the permutation character is a so-called **multiplicity-free** permutation character. Such multiplicity-free permutation characters were determined for the sporadic groups in (Breuer & Lux 1996).

This gives rise to a class of examples of finite groups with Gelfand pairs: the 2-transitive groups. A permutation group *G* is **2-transitive** if the stabilizer *K* of a point acts transitively on the remaining points. In particular, *G* the symmetric group on *n*+1 points and *K* the symmetric group on *n* points forms a Gelfand pair for every *n*≥1; this follows because the character of a 2-transitive permutation action is of the form 1+*χ* for some irreducible character *χ* and the trivial character 1, (Isaacs 1994, p. 69).

Indeed, if *G* is a transitive permutation group whose point stabilizer *K* has at most four orbits (including the trivial orbit containing only the stabilized point), then its Schur ring is commutative and *(G,K)* is a Gelfand pair, (Wielandt 1964, p. 86). If *G* is a primitive group of degree twice a prime with point stabilizer *K*, then again *(G,K)* is a Gelfand pair, (Wielandt 1964, p. 97).

The Gelfand pairs (Sym(*n*),*K*) were classified in (Saxl 1981). Roughly speaking, *K* must be contained as a subgroup of small index in one of the following groups unless *n* is smaller than 18: Sym(*n - k*)× Sym(*k*), Sym(*n*/2) wr Sym(2), Sym(2) wr Sym(*n*/2) for *n* even, Sym(*n* - 5) × AGL(1,5), Sym(*n* - 6) × PGL(2,5), or Sym(*n* - 9) × PΓL(2,8). Gelfand pairs for classical groups have been investigated as well.

### Symmetric pairs with compact *K*[edit]

- (GL(
*n*,**R**), O(*n*,**R**)) - (GL(
*n*,**C**), U(*n*)) - (O(
*n+k*,**R**), O(*n*,**R**) × O(*k*,**R**)) - (U(
*n+k*), U(*n*) × U(*k*)) *(G,K)*where*G*is a reductive Lie group and*K*is a maximal compact subgroup.

### Symmetric Gelfand pairs of rank one[edit]

Let *F* be a local field of characteristic zero.

- (SL(
*n+1,F*), GL(*n,F*)) for*n*> 5. - (Sp(
*2n+2,F*), Sp(*2n,F*)) × Sp(2,*F*)) for*n*> 4. - (SO(
*V*⊕*F*), SO(*V*)) where*V*is a vector space over*F*with a non-degenerate quadratic form.

### Symmetric pairs of high rank[edit]

Let *F* be a local field of characteristic zero. Let *G* be a reductive group over *F*; the following are examples of symmetric Gelfand pairs of high rank:

- (
*G × G, ΔG*): Follows from Schur's lemma. - (GL(
*n+k,F*), GL(*n,F*) × GL(*k,F*)).^{[9]}^{[10]} - (GL(2
*n*,*F*), Sp(2*n*,*F*)).^{[16]}^{[17]} - (O(
*n+k*,**C**), O(*n*,**C**) × O(*k*,**C**)).^{[18]} - (GL(
*n*,**C**), O(*n*,**C**)).^{[18]} - (GL(
*n,E*), GL(*n,F*)), where*E*is a quadratic extension of*F*.^{[11]}^{[19]}

### Strong Gelfand pairs[edit]

The following pairs are strong Gelfand pairs:

- (Sym(
*n*+1), Sym(*n*)), this is proven using the involutive anti-automorphism*g ↦ g*.^{−1} - (GL(
*n+1,F*), GL(*n,F*)) where*F*is a local field of characteristic zero.^{[20]}^{[21]}^{[22]} - (O(
*V*⊕*F*), O(*V*)) where*V*is a vector space over*F*with a non-degenerate quadratic form.^{[20]}^{[22]} - U(
*V*⊕*E*), U(*V*)) where*E*is a quadratic extension of*F*and*V*is a vector space over*E*with a non-degenerate hermitian form.^{[20]}^{[22]}

Those four examples can be rephrased as the statement that the following are Gelfand pairs:

- (Sym(
*n*+1) × Sym(*n*), Δ Sym(*n*)). - (GL(
*n+1,F*) × GL(*n,F*), Δ GL(*n,F*)) - (O(
*V*⊕*F*) × O(*V*), Δ O(*V*)) - (U(
*V*⊕*E*) × U(*V*), Δ U(*V*))

## See also[edit]

## Notes[edit]

**^**O. Yakimova. Gelfand pairs, PhD thesis submitted to Bonn university.**^**Nicolas Monod, "Gelfand pairs admit an Iwasawa decomposition". arXiv:1902.09497- ^
^{a}^{b}I.M. Gelfand, D. Kazhdan, Representations of the group GL(n,K) where K is a local field, Lie groups and their representations (Proc. Summer School, Bolyai János Math. Soc., Budapest, 1971), pp. 95--118. Halsted, New York (1975). **^**A. Aizenbud, D. Gourevitch, E. Sayag : (GL_{n+1}(F),GL_n(F)) is a Gelfand pair for any local field F. arXiv:0709.1273**^**Sun, B.; Zhu, C.-B. (2011), "A general form of Gelfand-Kazhdan criterion",*Manuscripta Math.*,**136**(1–2): 185–197, arXiv:0903.1409, doi:10.1007/s00229-011-0437-x, MR 2820401**^**E.G.F. Thomas, The theorem of Bochner-Schwartz-Godement for generalized Gelfand pairs, Functional Analysis: Surveys and results III, Bierstedt, K.D., Fuchssteiner, B. (eds.), Elsevier Science Publishers B.V. (North Holland), (1984).**^**G. van Dijk. On a class of generalized Gelfand pairs, Math. Z. 193, 581-593 (1986).**^**Bosman, E. P. H.; Van Dijk, G. (1994). "A New Class of Gelfand Pairs".*Geometriae Dedicata*.**50**(3): 261–282. doi:10.1007/bf01267869.- ^
^{a}^{b}H. Jacquet, S. Rallis, Uniqueness of linear periods., Compositio Mathematica , tome 102, n.o. 1 , p. 65-123 (1996). - ^
^{a}^{b}A. Aizenbud, D. Gourevitch, An archimedean analog of Jacquet - Rallis theorem. arXiv:0709.1273 - ^
^{a}^{b}A. Aizenbud, D.Gourevitch, Generalized Harish-Chandra descent and applications to Gelfand pairs. arXiv:0803.3395 **^**Yiannis Sakellaridis and Akshay Venkatesh, "Periods and harmonic analysis on spherical varieties". arXiv:1203.0039**^**J.A. Shalika, The multiplicity one theorem for GL_{n}, Ann. of Math. 100(1974) 171–193. MR348047**^**Omer Offen, Eitan Sayag, Global Mixed Periods and local Klyachko models for the general linear group, arXiv:0710.3492**^**Omer Offen, Eitan Sayag, UNIQUENESS AND DISJOINTNESS OF KLYACHKO MODELS , arXiv:0710.3492**^**Heumos, Michael J.; Rallis, Stephen (1990). "Symplectic-Whittaker models for GLn".*Pacific J. Math*.**146**(2): 247–279. doi:10.2140/pjm.1990.146.247.**^**E.Sayag (GL(2n,C),SP(2n,C)) is a Gelfand Pair arXiv:0805.2625- ^
^{a}^{b}A. Aizenbud, D. Gourevitch; some regular symmetric pairs. arXiv:0805.2504 **^**Y.Z. Flicker: On distinguished representations, J. Reine Angew. Math. 418 (1991), 139-172.- ^
^{a}^{b}^{c}Aizenbud, Avraham; Gourevitch, Dmitry; Rallis, Stephen; Schiffmann, Gérard (2010), "Multiplicity-one theorems",*Annals of Mathematics*,**172**(2): 1407–1434, arXiv:0709.4215, doi:10.4007/annals.2010.172.1413, MR 2680495 **^**Aizenbud, Avraham; Gourevitch, Dmitry (2009), "Multiplicity one theorem for (GL(*n*+ 1,**R**), GL(*n*,**R**))",*Selecta Math. (N.S.)*,**15**(2): 271–294, arXiv:0808.2729, doi:10.1007/s00029-009-0544-7, MR 2529937- ^
^{a}^{b}^{c}Sun, Binyong; Zhu, Chen-Bo (2012), "Multiplicity-one theorems: the Archimedean case",*Annals of Mathematics*,**175**(1): 23–44, arXiv:0903.1413, doi:10.4007/annals.2012.175.1.2, MR 2874638

## References[edit]

- Breuer, T.; Lux, K. (1996), "The multiplicity-free permutation characters of the sporadic simple groups and their automorphism groups",
*Communications in Algebra*,**24**(7): 2293–2316, doi:10.1080/00927879608825701, MR 1390375 - Isaacs, I. Martin (1994),
*Character Theory of Finite Groups*, New York: Dover Publications, ISBN 978-0-486-68014-9, MR 0460423 - Saxl, Jan (1981), "On multiplicity-free permutation representations",
*Finite geometries and designs (Proc. Conf., Chelwood Gate, 1980)*, London Math. Soc. Lecture Note Ser.,**49**, Cambridge University Press, pp. 337–353, MR 0627512 - van Dijk, Gerrit (2009),
*Introduction to Harmonic Analysis and Generalized Gelfand Pairs*, De Gruyter studies in mathematics,**36**, Walter de Gruyter, ISBN 978-3-11-022019-3 - Wielandt, Helmut (1964),
*Finite permutation groups*, Boston, MA: Academic Press, MR 0183775