AI 中文总结
该研究证明几乎所有有限群是二阶幂零类的2-群，给出阶为p^m的群数量公式，还确定其最小生成元数量分布的渐近特征，改进了p-群数量的经典估计。
AI 中文摘要
我们证明，当计数阶不超过x的有限群且x→∞时，几乎所有有限群都是幂零类为2的2-群。更精确地说，对于2^m≤x<2^{m+1}，存在绝对常数c>0，使得除了O(2^{-cm^2})比例的群外，其余群的阶均为2^m且类为2。对于每个固定素数p，我们给出了阶为p^m的群的数量公式，当m→∞时，其相对误差为O(p^{-m/3})，这改进了p-群数量的经典对数估计。对于每个固定素数p和足够大的m，我们还证明，阶为p^m的群中除了p^{-m^2/300}比例的群外，其余群都具有中心初等阿贝尔弗拉蒂尼子群。对于固定的p，阶为p^m的群中最小生成元数量的分布渐近地支撑在一个或两个相邻值上，其显式概率取决于m模3的结果。
英文摘要
We prove that almost all finite groups are $2$-groups of nilpotency class two, when groups of order at most $x$ are counted up to isomorphism and $x\to\infty$. More precisely, uniformly for $2^m\leq x<2^{m+1}$, all but an $O(2^{-cm^2})$ proportion have order $2^m$ and class two, for some absolute constant $c>0$. For each fixed prime $p$, we give a formula for the number of groups of order $p^m$, with relative error $O(p^{-m/3})$ as $m\to\infty$. This refines the classical logarithmic estimates for the number of $p$-groups. For every fixed prime $p$ and sufficiently large $m$, we also prove that all but a $p^{-m^2/300}$ proportion of groups of order $p^m$ have central elementary abelian Frattini subgroup. For fixed $p$, the distribution of the minimum number of generators among groups of order $p^m$ is asymptotically supported on one or two adjacent values, with explicit probabilities depending on $m$ modulo three.
