Strong Gelfand Pairs
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 HomK(τ,π) is no more than 1-dimensional.
- For any irreducible representation π of G and τ of K, the space HomK(π,τ) is no more than 1-dimensional.
Read more about this topic: Gelfand Pair
Famous quotes containing the word strong:
“Have We not made the earth as a cradle
and the mountains as pegs?
And We created you in pairs,
and We appointed your sleep for a rest;
and We appointed night for a garment,
and We appointed day for a livelihood.
And We have built above you seven strong ones,
and We appointed a blazing lamp
and have sent down out of the rain-clouds water cascading
that We may bring forth thereby grain and plants,
and gardens luxuriant.”
—Quran, The Tiding 78:6-16, ed. Arthur J. Arberry (1955)