For subsets X, Y of a finite group G, we write Pr(X, Y) for the probability that two random elements x ∈ X and y ∈ Y commute. This paper addresses the relation between the structure of an approximate subgroup A ⊆ G and the probabilities Pr(A, G) and Pr(A, A). The following results are obtained. Theorem 1.1: Let A be a K-approximate subgroup of a finite group G, and let Pr(A, G) ≥ ε > 0. There are two (ε, K)-bounded positive numbers γ and K0 such that G contains a normal subgroup T and a K0approximate subgroup B such that |A ∩ B| ≥ γ max{|A|, |B|} while the index [G : T] and the order of the commutator subgroup [T, 〈B〉] are (ε, K)-bounded. Theorem 1.2: Let A be a K-approximate subgroup of a finite group G, and let Pr(A, A) ≥ ε > 0. There are two (ε, K)-bounded positive numbers γ and s and a subgroup C ≤ G such that |C ∩ A2| > γ|A| and |C′| ≤ s. In particular, A is contained in the union of at most γ−1K2 left cosets of the subgroup C. It is also shown that the above results admit approximate converses.

COMMUTING PROBABILITY FOR APPROXIMATE SUBGROUPS OF A FINITE GROUP

Detomi E.;
2024

Abstract

For subsets X, Y of a finite group G, we write Pr(X, Y) for the probability that two random elements x ∈ X and y ∈ Y commute. This paper addresses the relation between the structure of an approximate subgroup A ⊆ G and the probabilities Pr(A, G) and Pr(A, A). The following results are obtained. Theorem 1.1: Let A be a K-approximate subgroup of a finite group G, and let Pr(A, G) ≥ ε > 0. There are two (ε, K)-bounded positive numbers γ and K0 such that G contains a normal subgroup T and a K0approximate subgroup B such that |A ∩ B| ≥ γ max{|A|, |B|} while the index [G : T] and the order of the commutator subgroup [T, 〈B〉] are (ε, K)-bounded. Theorem 1.2: Let A be a K-approximate subgroup of a finite group G, and let Pr(A, A) ≥ ε > 0. There are two (ε, K)-bounded positive numbers γ and s and a subgroup C ≤ G such that |C ∩ A2| > γ|A| and |C′| ≤ s. In particular, A is contained in the union of at most γ−1K2 left cosets of the subgroup C. It is also shown that the above results admit approximate converses.
File in questo prodotto:
File Dimensione Formato  
2024-Commuting_probability_for_approximate_subgroups.pdf

Accesso riservato

Tipologia: Published (Publisher's Version of Record)
Licenza: Accesso privato - non pubblico
Dimensione 345.59 kB
Formato Adobe PDF
345.59 kB Adobe PDF Visualizza/Apri   Richiedi una copia
2404.12891v1.pdf

accesso aperto

Tipologia: Preprint (AM - Author's Manuscript - submitted)
Licenza: Altro
Dimensione 192.85 kB
Formato Adobe PDF
192.85 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3531032
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 1
  • OpenAlex ND
social impact