加载中…
Let denote the least size of a generating set of a finite group . We prove that if has a family of subgroups such that for every and , then . This gives an affirmative answer to Kourovka Problem 21.87. The proof reduces a minimal counterexample to a critical crown-based power with nonabelian socle. An exact crown multiplicity formula and a uniform lower bound for conditional generation give a lower bound for the number of crown factors. A subgroup containing a Sylow -subgroup gives the contradictory upper bound, via a pointwise centralizer estimate for Sylow -subgroups of finite simple groups.

生成讲解博客的中文版本

生成AI智能校验的中文版本