Compact groups with probabilistically central monothetic subgroups

DOI10.1007/S11856-022-2462-8MaRDI QIDQ6109879zbMATH OpenOpenAlexFDO

Authors João Luiz F. Azevedo, Pavel Shumyatsky

Publication date 31 July 2023

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.00049

zbMATH Keywords

\(\epsilon\)-central subgroupcommutator subgroupcompact groupHaar measureprobabilistically central subgroup

Mathematics Subject Classification ID

Probabilistic methods in group theory (20P05) Compact groups (22C05)

Abstract: If $K$ is a closed subgroup of a compact group $G$, the probability that randomly chosen pair of elements from $K$ and $G$ commute is denoted by $Pr(K,G)$. Say that a subgroup $KleqG$ is $epsilon$-central in $G$ if $Pr(langlegangle,G)geqepsilon$ for any $g$ in $K$. Here $langlegangle$ denotes the monothetic subgroup generated by $ginG$. Our main result is that if $K$ is $epsilon$-central in $G$, then there is an $epsilon$-bounded number $e$ and a normal subgroup $TleqG$ such that the index $[G:T]$ and the order of the commutator subgroup $[K^e,T]$ both are finite and $epsilon$-bounded. In particular, if $G$ is a compact group for which there is $epsilon>0$ such that $Pr(langlegangle,G)geqepsilon$ for any $ginG$, then there is an $epsilon$-bounded number $e$ and a normal subgroup $T$ such that the index $[G:T]$ and the order of $[G^e,T]$ both are finite and $epsilon$-bounded.

Review text

Let \(G\) be a compact group, let \(K\) be a closed subgroup of \(G\) and \(\varepsilon\) be a positive number. The probability that a randomly chosen pair \((k,g)\in K\times G\) commutes is naturally defined as \(\operatorname{Pr}(K,G)=(\nu\times \mu)(\{(x,y)\in K\times G: xy=yx\})\) where \(\nu\) and \(\mu\) are the normalized Haar measures on \(K\) and \(G\), respectively. The authors show (Proposition 1.1.) that if \(\operatorname{Pr}(K,G)\ge \varepsilon\) then there exists a normal subgroup \(T\le G\) and a subgroup \(B\le K\) such that the indices \([G:T]\) and \([K:B]\) and the order of the commutator subgroup \([T,B]\) are \( \varepsilon\)-bounded (i.e., have upper bounds which only depend on \(\varepsilon\)). A \textit{verbatim} version of this statement was proved by \textit{E. Detomi} and the second author in the context of finite groups [Proc. R. Soc. Edinb., Sect. A, Math. 152, No. 6, 1551--1564 (2022; Zbl 1515.20118)]. The latter result was in itself a remarkable generalization of a well-known result by P. M. Neumann. The authors single out the following theorem as the main application of this result (Theorem 1.2): If \(\operatorname{Pr}(\langle g\rangle ,G)\ge \varepsilon\) for every \(g\in K\), then there is an \(\varepsilon\)-bounded natural number \(e\) and a finite-index normal subgroup \(T\le G\) such that both the index \([G:T]\) and the order of \([K^e,T]\) are \(\varepsilon\)-bounded.

Recommendations

• On the commuting probability for subgroups of a finite group
• Probability of mutually commuting n-tuples in some classes of compact groups
• Bounds for the relative n-th nilpotency degree in compact groups
• A probabilistic meaning of certain quasinormal subgroups
• Isoclinism in probability of commuting n-tuples.
• A remark on the commuting probability in finite groups.
• Compact groups with high commuting probability of monothetic subgroups
• On the commutativity degree of compact groups
• Nilpotent probability of compact groups
• Subgroups close to normal subgroups

Cites work

• A SOLUTION OF THE RESTRICTED BURNSIDE PROBLEM FOR 2-GROUPS
• A stronger form of Neumann's BFC-theorem
• An Essay on BFC Groups
• An upper bound for the nonsolvable length of a finite group in terms of its shortest law
• Average dimension of fixed point spaces with applications.
• BFC-theorems for higher commutator subgroups
• Bounding the exponent of a finite group with automorphisms
• Commuting probabilities of finite groups
• Derived subgroups of fixed points.
• Groups Covered By Permutable Subsets
• Groups with boundedly finite classes of conjugate elements
• Groups with boundedly finite conjugacy classes of commutators
• scientific article; zbMATH DE number 3724683 (Why is no real title available?)
• scientific article; zbMATH DE number 1543270 (Why is no real title available?)
• scientific article; zbMATH DE number 3206556 (Why is no real title available?)
• scientific article; zbMATH DE number 3187168 (Why is no real title available?)
• Nonsoluble and non-\(p\)-soluble length of finite groups.
• On groups with bounded conjugacy classes
• On periodic compact groups
• On the p -Length of p -Soluble Groups and Reduction Theorems for Burnside's Problem
• On the commutativity degree of compact groups
• On the commuting probability for subgroups of a finite group
• On the commuting probability in finite groups.
• On the Relative Commutativity Degree of a Subgroup of a Finite Group
• SOLUTION OF THE RESTRICTED BURNSIDE PROBLEM FOR GROUPS OF ODD EXPONENT
• Some properties of connected compact groups
• Some results on relative commutativity degree.
• The exponents of central factor and commutator groups
• The probability that x and y commute in a compact group
• Two Combinatorial Problems in Group Theory
• What is the Probability that Two Group Elements Commute?

Cited in

(4)

• Compact groups with high commuting probability of monothetic subgroups
• Limit points in the range of the commuting probability function on finite groups.
• Commuting probability for approximate subgroups of a finite group
• Commuting probability for the Sylow subgroups of a profinite group

This page was built for publication: Compact groups with probabilistically central monothetic subgroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6109879)