Invariant random subgroup
From Groupprops
This is a variation of normal subgroup|Find other variations of normal subgroup | Read a survey article on varying normal subgroup
Contents
Definition
For a locally compact group, compatible with the Chabauty topology
Suppose is a locally compact group. Denote by the collection of closed subgroups of , equipped with the Chabauty topology.
An invariant random subgroup (IRS) on is a probability measure on the set satisfying the following two conditions:
- It is a Borel measure with respect to the Chabauty topology, i.e., all Borel subsets under the Chabauty topology are measurable. This makes it a random subgroup.
- It is invariant under the action of by conjugation.
Note on topological constraints
Note that although one may be tempted to define the concept of invariant random subgroup much more generally as simply any probability measure on any collection of subgroups satisfying (2), the particular theory developed for IRSs in the literature heavily relies on the constraints created by the Chabauty topology.
Examples
- Any single closed normal subgroup of a locally compact group can be used to define an invariant random subgroup with all the measure concentrated on that subgroup.
- Any closed subgroup that is also an almost normal subgroup (i.e., it has only finitely many conjugates) in a locally compact group can be used to define an invariant random subgroup with the measure uniformly distributed across all the conjugate subgroups.
- More generally, given any finite collection of conjugacy classes of closed almost normal subgroups, we can assign probabilities to each conjugacy classes to add up to 1, and then divide the probability associated to each conjugacy class equally within the members of that conjugacy class.
References
- Kesten's theorem for Invariant Random Subgroups by Miklos Abert, Yair Glasner and Balint Virag, : ^{ArXiV copy}^{More info}