Initiating the proof of the Liebeck--Nikolov--Shalev conjecture

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Gill, Nick, Lifshitz, Noam, Pyber, László, Szabó, Endre
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913516650233856
author Gill, Nick
Lifshitz, Noam
Pyber, László
Szabó, Endre
author_facet Gill, Nick
Lifshitz, Noam
Pyber, László
Szabó, Endre
contents Liebeck, Nikolov, and Shalev conjectured that for every subset A of a finite simple group S with |A|>1, there exist O( log|S| / log|A| ) conjugates of A whose product is S. This paper is a companion to [Lifshitz: Completing the proof of the Liebeck-Nikolov-Shalev conjecture] and together they prove the conjecture. In this paper we prove the conjecture in the regime where $|A|>|S|^c$ for an absolute constant c>0. We also prove that the following Skew Product Theorem holds for all finite simple groups. Namely we show that either the product of two conjugates of A has size at least $|A|^{1.49}$, or S is the product of boundedly many conjugates of A.
format Preprint
id arxiv_https___arxiv_org_abs_2408_07800
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Initiating the proof of the Liebeck--Nikolov--Shalev conjecture
Gill, Nick
Lifshitz, Noam
Pyber, László
Szabó, Endre
Group Theory
20D06
Liebeck, Nikolov, and Shalev conjectured that for every subset A of a finite simple group S with |A|>1, there exist O( log|S| / log|A| ) conjugates of A whose product is S. This paper is a companion to [Lifshitz: Completing the proof of the Liebeck-Nikolov-Shalev conjecture] and together they prove the conjecture. In this paper we prove the conjecture in the regime where $|A|>|S|^c$ for an absolute constant c>0. We also prove that the following Skew Product Theorem holds for all finite simple groups. Namely we show that either the product of two conjugates of A has size at least $|A|^{1.49}$, or S is the product of boundedly many conjugates of A.
title Initiating the proof of the Liebeck--Nikolov--Shalev conjecture
topic Group Theory
20D06
url https://arxiv.org/abs/2408.07800