Double coset

Last updated May 14, 2024

In group theory, a field of mathematics, a double coset is a collection of group elements which are equivalent under the symmetries coming from two subgroups, generalizing the notion of a single coset.^[1]^[2]

Definition

Let $G$ be a group, and let $H$ and $K$ be subgroups. Let $H$ act on $G$ by left multiplication and let $K$ act on $G$ by right multiplication. For each $x$ in $G$ , the $(H, K)$ -double coset of $x$ is the set

HxK=\{hxk\colon h\in H,k\in K\}.

When $H = K$ , this is called the $H$ -double coset of $x$ . Equivalently, $HxK$ is the equivalence class of $x$ under the equivalence relation

x ~ y

if and only if there exist

h

in

H

and

k

in

K

such that

hxk = y

.

The set of all $(H,K)$ -double cosets is denoted by $H\,\backslash G/K.$

Properties

Suppose that $G$ is a group with subgroups $H$ and $K$ acting by left and right multiplication, respectively. The $(H, K)$ -double cosets of $G$ may be equivalently described as orbits for the product group $H \times K$ acting on $G$ by $(h, k) \cdot x = hxk -1$ . Many of the basic properties of double cosets follow immediately from the fact that they are orbits. However, because $G$ is a group and $H$ and $K$ are subgroups acting by multiplication, double cosets are more structured than orbits of arbitrary group actions, and they have additional properties that are false for more general actions.

Two double cosets $HxK$ and $HyK$ are either disjoint or identical.
$G$ is the disjoint union of its double cosets.
There is a one-to-one correspondence between the two double coset spaces $H \ G / K$ and $K \ G / H$ given by identifying $HxK$ with $Kx -1 H$ .
If $H = {1}$ , then $H \ G / K = G / K$ . If $K = {1}$ , then $H \ G / K = H \ G$ .
A double coset $HxK$ is a union of right cosets of $H$ and left cosets of $K$ ; specifically,
${\begin{aligned}HxK&=\bigcup _{k\in K}Hxk=\coprod _{Hxk\,\in \,H\backslash HxK}Hxk,\\HxK&=\bigcup _{h\in H}hxK=\coprod _{hxK\,\in \,HxK/K}hxK.\end{aligned}}$
The set of $(H, K)$ -double cosets is in bijection with the orbits $H \ (G / K)$ , and also with the orbits $(H \ G) / K$ under the mappings $HgK\to H(gK)$ and $HgK\to (Hg)K$ respectively.
If $H$ is normal, then $H \ G$ is a group, and the right action of $K$ on this group factors through the right action of $H \ HK$ . It follows that $H \ G / K = G / HK$ . Similarly, if $K$ is normal, then $H \ G / K = HK \ G$ .
If $H$ is a normal subgroup of $G$ , then the $H$ -double cosets are in one-to-one correspondence with the left (and right) $H$ -cosets.
Consider $HxK$ as the union of a $K$ -orbit of right $H$ -cosets. The stabilizer of the right $H$ -coset $Hxk ∈ H \ HxK$ with respect to the right action of $K$ is $K \cap (xk) -1 Hxk$ . Similarly, the stabilizer of the left $K$ -coset $hxK \in HxK / K$ with respect to the left action of $H$ is $H \cap hxK (hx) -1$ .
It follows that the number of right cosets of $H$ contained in $HxK$ is the index $[K : K \cap x -1 Hx]$ and the number of left cosets of $K$ contained in $HxK$ is the index $[H : H \cap xKx -1]$ . Therefore
${\begin{aligned}|HxK|&=[H:H\cap xKx^{-1}]|K|=|H|[K:K\cap x^{-1}Hx],\\\left[G:H\right]&=\sum _{HxK\,\in \,H\backslash G/K}[K:K\cap x^{-1}Hx],\\\left[G:K\right]&=\sum _{HxK\,\in \,H\backslash G/K}[H:H\cap xKx^{-1}].\end{aligned}}$
If $G$ , $H$ , and $K$ are finite, then it also follows that
${\begin{aligned}|HxK|&={\frac {|H||K|}{|H\cap xKx^{-1}|}}={\frac {|H||K|}{|K\cap x^{-1}Hx|}},\\\left[G:H\right]&=\sum _{HxK\,\in \,H\backslash G/K}{\frac {|K|}{|K\cap x^{-1}Hx|}},\\\left[G:K\right]&=\sum _{HxK\,\in \,H\backslash G/K}{\frac {|H|}{|H\cap xKx^{-1}|}}.\end{aligned}}$
Fix $x$ in $G$ , and let $(H \times K) x$ denote the double stabilizer ${(h, k) : hxk = x$ }. Then the double stabilizer is a subgroup of $H \times K$ .
Because $G$ is a group, for each $h$ in $H$ there is precisely one $g$ in $G$ such that $hxg = x$ , namely $g = x -1 h -1 x$ ; however, $g$ may not be in $K$ . Similarly, for each $k$ in $K$ there is precisely one $g'$ in $G$ such that $g' xk = x$ , but $g'$ may not be in $H$ . The double stabilizer therefore has the descriptions
$(H\times K)_{x}=\{(h,x^{-1}h^{-1}x)\colon h\in H\}\cap H\times K=\{(xk^{-1}x^{-1},k)\colon k\in K\}\cap H\times K.$
(Orbit–stabilizer theorem) There is a bijection between $HxK$ and $(H \times K) / (H \times K) x$ under which $hxk$ corresponds to $(h, k -1)(H \times K) x$ . It follows that if $G$ , $H$ , and $K$ are finite, then
$|HxK|=[H\times K:(H\times K)_{x}]=|H\times K|/|(H\times K)_{x}|.$
(Cauchy–Frobenius lemma) Let $G (h, k)$ denote the elements fixed by the action of $(h, k)$ . Then
$|H\,\backslash G/K|={\frac {1}{|H||K|}}\sum _{(h,k)\in H\times K}|G^{(h,k)}|.$
In particular, if $G$ , $H$ , and $K$ are finite, then the number of double cosets equals the average number of points fixed per pair of group elements.

There is an equivalent description of double cosets in terms of single cosets. Let $H$ and $K$ both act by right multiplication on $G$ . Then $G$ acts by left multiplication on the product of coset spaces $G / H \times G / K$ . The orbits of this action are in one-to-one correspondence with $H \ G / K$ . This correspondence identifies $(xH, yK)$ with the double coset $Hx -1 yK$ . Briefly, this is because every $G$ -orbit admits representatives of the form $(H, xK)$ , and the representative $x$ is determined only up to left multiplication by an element of $H$ . Similarly, $G$ acts by right multiplication on $H \ G × K \ G$ , and the orbits of this action are in one-to-one correspondence with the double cosets $H \ G / K$ . Conceptually, this identifies the double coset space $H \ G / K$ with the space of relative configurations of an $H$ -coset and a $K$ -coset. Additionally, this construction generalizes to the case of any number of subgroups. Given subgroups $H 1, ..., H n$ , the space of $(H 1, ..., H n)$ -multicosets is the set of $G$ -orbits of $G / H 1 \times ... \times G / H n$ .

The analog of Lagrange's theorem for double cosets is false. This means that the size of a double coset need not divide the order of $G$ . For example, let $G = S 3$ be the symmetric group on three letters, and let $H$ and $K$ be the cyclic subgroups generated by the transpositions $(1 2)$ and $(1 3)$ , respectively. If $e$ denotes the identity permutation, then

HeK=HK=\{e,(12),(13),(132)\}.

This has four elements, and four does not divide six, the order of $S 3$ . It is also false that different double cosets have the same size. Continuing the same example,

H(23)K=\{(23),(123)\},

which has two elements, not four.

However, suppose that $H$ is normal. As noted earlier, in this case the double coset space equals the left coset space $G / HK$ . Similarly, if $K$ is normal, then $H \ G / K$ is the right coset space $HK \ G$ . Standard results about left and right coset spaces then imply the following facts.

$| HxK | = | HK |$ for all $x$ in $G$ . That is, all double cosets have the same cardinality.
If $G$ is finite, then $|G| = |HK| ⋅ |H \ G / K|$ . In particular, $| HK |$ and $|H \ G / K|$ divide $| G |$ .

Examples

Let $G = S n$ be the symmetric group, considered as permutations of the set ${1, ..., n$ }. Consider the subgroup $H = S n -1$ which stabilizes $n$ . Then $Sn−1 \ Sn / Sn−1$ consists of two double cosets. One of these is $H = S n -1$ , and the other is $S n -1 γ S n -1$ for any permutation $γ$ which does not fix $n$ . This is contrasted with $S n / S n -1$ , which has $n$ elements $\gamma _{1}S_{n-1},\gamma _{2}S_{n-1},...,\gamma _{n}S_{n-1}$ , where each $\gamma _{i}(n)=i$ .
Let $G$ be the group $GL n (R)$ , and let $B$ be the subgroup of upper triangular matrices. The double coset space $B \ G / B$ is the Bruhat decomposition of $G$ . The double cosets are exactly $BwB$ , where $w$ ranges over all n-by-n permutation matrices. For instance, if $n = 2$ , then
$B\,\backslash \!\operatorname {GL} _{2}(\mathbf {R} )/B=\left\{B{\begin{pmatrix}1&0\\0&1\end{pmatrix}}B,\ B{\begin{pmatrix}0&1\\1&0\end{pmatrix}}B\right\}.$

Products in the free abelian group on the set of double cosets

Suppose that $G$ is a group and that $H$ , $K$ , and $L$ are subgroups. Under certain finiteness conditions, there is a product on the free abelian group generated by the $(H, K)$ - and $(K, L)$ -double cosets with values in the free abelian group generated by the $(H, L)$ -double cosets. This means there is a bilinear function

\mathbf {Z} [H\backslash G/K]\times \mathbf {Z} [K\backslash G/L]\to \mathbf {Z} [H\backslash G/L].

Assume for simplicity that $G$ is finite. To define the product, reinterpret these free abelian groups in terms of the group algebra of $G$ as follows. Every element of $Z[H \ G / K]$ has the form

\sum _{HxK\in H\backslash G/K}f_{HxK}\cdot [HxK],

where ${f HxK}$ is a set of integers indexed by the elements of $H \ G / K$ . This element may be interpreted as a $Z$ -valued function on $H \ G / K$ , specifically, $HxK \mapsto f HxK$ . This function may be pulled back along the projection $G → H \ G / K$ which sends $x$ to the double coset $HxK$ . This results in a function $x \mapsto f HxK$ . By the way in which this function was constructed, it is left invariant under $H$ and right invariant under $K$ . The corresponding element of the group algebra $Z [G]$ is

\sum _{x\in G}f_{HxK}\cdot [x],

and this element is invariant under left multiplication by $H$ and right multiplication by $K$ . Conceptually, this element is obtained by replacing $HxK$ by the elements it contains, and the finiteness of $G$ ensures that the sum is still finite. Conversely, every element of $Z [G]$ which is left invariant under $H$ and right invariant under $K$ is the pullback of a function on $Z[H \ G / K]$ . Parallel statements are true for $Z[K \ G / L]$ and $Z[H \ G / L]$ .

When elements of $Z[H \ G / K]$ , $Z[K \ G / L]$ , and $Z[H \ G / L]$ are interpreted as invariant elements of $Z [G]$ , then the product whose existence was asserted above is precisely the multiplication in $Z [G]$ . Indeed, it is trivial to check that the product of a left- $H$ -invariant element and a right- $L$ -invariant element continues to be left- $H$ -invariant and right- $L$ -invariant. The bilinearity of the product follows immediately from the bilinearity of multiplication in $Z [G]$ . It also follows that if $M$ is a fourth subgroup of $G$ , then the product of $(H, K)$ -, $(K, L)$ -, and $(L, M)$ -double cosets is associative. Because the product in $Z [G]$ corresponds to convolution of functions on $G$ , this product is sometimes called the convolution product.

An important special case is when $H = K = L$ . In this case, the product is a bilinear function

\mathbf {Z} [H\backslash G/H]\times \mathbf {Z} [H\backslash G/H]\to \mathbf {Z} [H\backslash G/H].

This product turns $Z[H \ G / H]$ into an associative ring whose identity element is the class of the trivial double coset $[H]$ . In general, this ring is non-commutative. For example, if $H = {1}$ , then the ring is the group algebra $Z [G]$ , and a group algebra is a commutative ring if and only if the underlying group is abelian.

If $H$ is normal, so that the $H$ -double cosets are the same as the elements of the quotient group $G / H$ , then the product on $Z[H \ G / H]$ is the product in the group algebra $Z [G / H]$ . In particular, it is the usual convolution of functions on $G / H$ . In this case, the ring is commutative if and only if $G / H$ is abelian, or equivalently, if and only if $H$ contains the commutator subgroup of $G$ .

If $H$ is not normal, then $Z[H \ G / H]$ may be commutative even if $G$ is non-abelian. A classical example is the product of two Hecke operators. This is the product in the Hecke algebra, which is commutative even though the group $G$ is the modular group, which is non-abelian, and the subgroup is an arithmetic subgroup and in particular does not contain the commutator subgroup. Commutativity of the convolution product is closely tied to Gelfand pairs.

When the group $G$ is a topological group, it is possible to weaken the assumption that the number of left and right cosets in each double coset is finite. The group algebra $Z [G]$ is replaced by an algebra of functions such as $L 2 (G)$ or $C \infty (G)$ , and the sums are replaced by integrals. The product still corresponds to convolution. For instance, this happens for the Hecke algebra of a locally compact group.

Applications

When a group $G$ has a transitive group action on a set $S$ , computing certain double coset decompositions of $G$ reveals extra information about structure of the action of $G$ on $S$ . Specifically, if $H$ is the stabilizer subgroup of some element $s\in S$ , then $G$ decomposes as exactly two double cosets of $(H,H)$ if and only if $G$ acts transitively on the set of distinct pairs of $S$ . See 2-transitive groups for more information about this action.

Double cosets are important in connection with representation theory, when a representation of $H$ is used to construct an induced representation of $G$ , which is then restricted to $K$ . The corresponding double coset structure carries information about how the resulting representation decomposes. In the case of finite groups, this is Mackey's decomposition theorem.

They are also important in functional analysis, where in some important cases functions left-invariant and right-invariant by a subgroup $K$ can form a commutative ring under convolution: see Gelfand pair.

In geometry, a Clifford–Klein form is a double coset space $Γ\G/H$ , where $G$ is a reductive Lie group, $H$ is a closed subgroup, and $Γ$ is a discrete subgroup (of $G$ ) that acts properly discontinuously on the homogeneous space $G / H$ .

In number theory, the Hecke algebra corresponding to a congruence subgroup $Γ$ of the modular group is spanned by elements of the double coset space $\Gamma \backslash \mathrm {GL} _{2}^{+}(\mathbb {Q} )/\Gamma$ ; the algebra structure is that acquired from the multiplication of double cosets described above. Of particular importance are the Hecke operators $T_{m}$ corresponding to the double cosets $\Gamma _{0}(N)g\Gamma _{0}(N)$ or $\Gamma _{1}(N)g\Gamma _{1}(N)$ , where $g=\left({\begin{smallmatrix}1&0\\0&m\end{smallmatrix}}\right)$ (these have different properties depending on whether $m$ and $N$ are coprime or not), and the diamond operators $\langle d\rangle$ given by the double cosets $\Gamma _{1}(N)\left({\begin{smallmatrix}a&b\\c&d\end{smallmatrix}}\right)\Gamma _{1}(N)$ where $d\in (\mathbb {Z} /N\mathbb {Z} )^{\times }$ and we require $\left({\begin{smallmatrix}a&b\\c&d\end{smallmatrix}}\right)\in \Gamma _{0}(N)$ (the choice of $a, b, c$ does not affect the answer).

Related Research Articles

A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure. For example, the cyclic group of addition modulo n can be obtained from the group of integers under addition by identifying elements that differ by a multiple of $and defining a group structure that operates on each such class as a single entity. It is part of the mathematical field known as group theory.$

In mathematics, many sets of transformations form a group under function composition; for example, the rotations around a point in the plane. It is often useful to consider the group as an abstract group, and to say that one has a group action of the abstract group that consists of performing the transformations of the group of transformations. The reason for distinguishing the group from the transformations is that, generally, a group of transformations of a structure acts also on various related structures; for example, the above rotation group acts also on triangles by transforming triangles into triangles.

In the mathematical field of group theory, Lagrange's theorem is a theorem that states that for any finite group $G$ , the order of every subgroup of $G$ divides the order of $G$ . The theorem is named after Joseph-Louis Lagrange. The following variant states that for a subgroup $of a finite group, not only is an integer, but its value is the index, defined as the number of left cosets of in .$

In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures together and consequently they are not independent from each other.

In mathematics, specifically group theory, a subgroup $H$ of a group $G$ may be used to decompose the underlying set of $G$ into disjoint, equal-size subsets called cosets. There are left cosets and right cosets. Cosets have the same number of elements (cardinality) as does $H$ . Furthermore, $H$ itself is both a left coset and a right coset. The number of left cosets of $H$ in $G$ is equal to the number of right cosets of $H$ in $G$ . This common value is called the index of $H$ in $G$ and is usually denoted by $[G : H]$ .

In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group, is a graph that encodes the abstract structure of a group. Its definition is suggested by Cayley's theorem, and uses a specified set of generators for the group. It is a central tool in combinatorial and geometric group theory. The structure and symmetry of Cayley graphs makes them particularly good candidates for constructing expander graphs.

In mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example is the subgroup of invertible 2 × 2 integer matrices of determinant 1 in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.

In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by $,, or, is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme, which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.$

In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by Erich Hecke, is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic representations.

In mathematics, an amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive measure on subsets of G, was introduced by John von Neumann in 1929 under the German name "messbar" in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun on "mean".

In mathematics, and more specifically in the theory of von Neumann algebras, a crossed product is a basic method of constructing a new von Neumann algebra from a von Neumann algebra acted on by a group. It is related to the semidirect product construction for groups.

In number theory, a Shimura variety is a higher-dimensional analogue of a modular curve that arises as a quotient variety of a Hermitian symmetric space by a congruence subgroup of a reductive algebraic group defined over Q. Shimura varieties are not algebraic varieties but are families of algebraic varieties. Shimura curves are the one-dimensional Shimura varieties. Hilbert modular surfaces and Siegel modular varieties are among the best known classes of Shimura varieties.

<span class="mw-page-title-main">Lattice (discrete subgroup)</span> Discrete subgroup in a locally compact topological group

In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of Rⁿ, this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood.

In mathematics, Ratner's theorems are a group of major theorems in ergodic theory concerning unipotent flows on homogeneous spaces proved by Marina Ratner around 1990. The theorems grew out of Ratner's earlier work on horocycle flows. The study of the dynamics of unipotent flows played a decisive role in the proof of the Oppenheim conjecture by Grigory Margulis. Ratner's theorems have guided key advances in the understanding of the dynamics of unipotent flows. Their later generalizations provide ways to both sharpen the results and extend the theory to the setting of arbitrary semisimple algebraic groups over a local field.

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup $of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.$

In mathematics, the Arthur–Selberg trace formula is a generalization of the Selberg trace formula from the group SL₂ to arbitrary reductive groups over global fields, developed by James Arthur in a long series of papers from 1974 to 2003. It describes the character of the representation of $G (A)$ on the discrete part $L20(G(F)\G(A))$ of $L2(G(F)\G(A))$ in terms of geometric data, where $G$ is a reductive algebraic group defined over a global field $F$ and $A$ is the ring of adeles of F.

In ring theory and Frobenius algebra extensions, areas of mathematics, there is a notion of depth two subring or depth of a Frobenius extension. The notion of depth two is important in a certain noncommutative Galois theory, which generates Hopf algebroids in place of the more classical Galois groups, whereas the notion of depth greater than two measures the defect, or distance, from being depth two in a tower of iterated endomorphism rings above the subring. A more recent definition of depth of any unital subring in any associative ring is proposed in a paper studying the depth of a subgroup of a finite group as group algebras over a commutative ring.

In mathematics, the Weil–Brezin map, named after André Weil and Jonathan Brezin, is a unitary transformation that maps a Schwartz function on the real line to a smooth function on the Heisenberg manifold. The Weil–Brezin map gives a geometric interpretation of the Fourier transform, the Plancherel theorem and the Poisson summation formula. The image of Gaussian functions under the Weil–Brezin map are nil-theta functions, which are related to theta functions. The Weil–Brezin map is sometimes referred to as the Zak transform, which is widely applied in the field of physics and signal processing; however, the Weil–Brezin Map is defined via Heisenberg group geometrically, whereas there is no direct geometric or group theoretic interpretation from the Zak transform.

In mathematics, Lie group–Lie algebra correspondence allows one to correspond a Lie group to a Lie algebra or vice versa, and study the conditions for such a relationship. Lie groups that are isomorphic to each other have Lie algebras that are isomorphic to each other, but the converse is not necessarily true. One obvious counterexample is $and which are non-isomorphic to each other as Lie groups but their Lie algebras are isomorphic to each other. However, for simply connected Lie groups, the Lie group-Lie algebra correspondence is one-to-one.$

<span class="mw-page-title-main">Exponential map (Lie theory)</span>

In the theory of Lie groups, the exponential map is a map from the Lie algebra $of a Lie group to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups.$

References

↑ Hall, Jr., Marshall (1959), The Theory of Groups, New York: Macmillan, pp. 14–15
↑ Bechtell, Homer (1971), The Theory of Groups, Addison-Wesley, p. 101

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Hall-1] Hall, Jr., Marshall (1959), The Theory of Groups, New York: Macmillan, pp. 14–15

[2] Bechtell, Homer (1971), The Theory of Groups, Addison-Wesley, p. 101

[1]

[2]