On the Herzog-Sch\"onheim conjecture for uniform covers of groups

TL;DR

This paper investigates the Herzog-Schönheim conjecture, proving new bounds on the structure of uniform covers of groups with subnormal subgroups, and establishing relationships between subgroup indices and prime divisors.

Contribution

It extends the Herzog-Schönheim conjecture to uniform covers with subnormal subgroups, providing bounds on the maximum multiplicity and the smallest prime divisor of subgroup indices.

Findings

If a uniform cover involves subnormal subgroups, the maximum multiplicity exceeds the smallest prime divisor of the product of indices.

The smallest index among the subgroups is bounded by a function of the maximum multiplicity.

The paper establishes an asymptotic bound on the logarithm of the smallest index in terms of the maximum multiplicity.

Abstract

Let G be any group and $a_1G_1,...,a_kG_k (k>1)$ be left cosets in G. In 1974 Herzog and Sch\"onheim conjectured that if $\Cal A=\{a_iG_i\}_{i=1}^k$ is a partition of G then the (finite) indices $n_1=[G:G_1],...,n_k=[G:G_k]$ cannot be distinct. In this paper we show that if $\Cal A$ covers all the elements of G the same times and $G_1,...,G_k$ are subnormal subgroups of G not all equal to G, then $M=\max_{1\le j\le k}|\{1\le i\le k:n_i=n_j\}|$ is not less than the smallest prime divisor of $n_1... n_k$, moreover $\min_{1\ls i\ls k}\log n_i=O(M\log^2 M)$ where the O-constant is absolute.