Coprime automorphisms of profinite groups and the commuting probability of Sylow subgroups
Abstract
Given two (closed) subgroups H, K of a profinite group G, we write Pr(H,K) for the probability that a random pair from HxK commutes. Here we are concerned with profinite groups containing Sylow subgroups P, Q such that Pr(P,Q) > 0. First, we show that if G is a profinite group containing a Sylow 2-subgroup L and a Sylow p-subgroup P , where p is odd, such that Pr(L,P) is positive, then G is virtually pro-p-soluble (Theorem 1.1). Then we handle similar issues for profinite groups admitting coprime automorphisms. In particular, we prove that if G is a profinite group admitting a group of coprime automorphisms A such that there is a Sylow 2-subgroup L of C_G(A) and an A-invariant Sylow p-subgroup P of G, where p is odd, for which Pr(L,P) > 0, then G is virtually pro-p-soluble (Theorem 1.3). On the other hand, if we only have Pr([L,A],[P,A]) > 0, then [G,A] need not be virtually pro-p-soluble. We show that in this case [G,A] has an open normal subgroup of non-p-soluble length at most 1 (Theorem 1.4). Furthermore, if P is an A-invariant Sylow p-subgroup of G such that Pr([P, A],[P, A]^x) > 0 for every x in G, then [G,A] has an open normal subgroup of non-p-soluble length at most 1 (Theorem 1.5).
Related
- Profinite groups whose closed subgroups are subnormal of defect at most two
- On the probability that the integer parts of polynomials are coprime
- Relative commuting probability and BFC-type results for finite skew braces
- The Brauer A(∞) condition and Navarro's conjecture on Brauer characters under coprime actions
- A Central Limit Theorem for Coprime Pair Counts in Randomly Translated Disks
BibTeX
@misc{detomi2026coprime,
title = {{Coprime automorphisms of profinite groups and the commuting probability of Sylow subgroups}},
author = {Eloisa Detomi and Robert M. Guralnick and Marta Morigi and Pavel Shumyatsky},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.29925},
eprint = {2609.29925},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.29925},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Coprime automorphisms of profinite groups and the commuting probability of Sylow subgroups
AU - Eloisa Detomi
AU - Robert M. Guralnick
AU - Marta Morigi
AU - Pavel Shumyatsky
PY - 2026
DA - 2026/09/24
PB - arXiv
DO - 10.48550/arxiv.2609.29925
UR - https://arxiv.org/abs/2609.29925
AB - Given two (closed) subgroups H, K of a profinite group G, we write Pr(H,K) for the probability that a random pair from HxK commutes. Here we are concerned with profinite groups containing Sylow subgroups P, Q such that Pr(P,Q) > 0. First, we show that if G is a profinite group containing a Sylow 2-subgroup L and a Sylow p-subgroup P , where p is odd, such that Pr(L,P) is positive, then G is virtually pro-p-soluble (Theorem 1.1). Then we handle similar issues for profinite groups admitting coprime automorphisms. In particular, we prove that if G is a profinite group admitting a group of coprime automorphisms A such that there is a Sylow 2-subgroup L of C_G(A) and an A-invariant Sylow p-subgroup P of G, where p is odd, for which Pr(L,P) > 0, then G is virtually pro-p-soluble (Theorem 1.3). On the other hand, if we only have Pr([L,A],[P,A]) > 0, then [G,A] need not be virtually pro-p-soluble. We show that in this case [G,A] has an open normal subgroup of non-p-soluble length at most 1 (Theorem 1.4). Furthermore, if P is an A-invariant Sylow p-subgroup of G such that Pr([P, A],[P, A]^x) > 0 for every x in G, then [G,A] has an open normal subgroup of non-p-soluble length at most 1 (Theorem 1.5).
ER -