在有限群的研究中, 群的结构往往可以通过一些数量关系刻画出来, 例如: 著名的Lagrange定理、Sylow定理、Burnside p^aq^b定理等. 这些定理体现了群的数量刻画的重要性, 而如何用更少的数量关系去刻画群的更多性质是群论学者一直思考的问题. 20世纪80年代初, 施武杰教授提出可以只用群阶和元素阶之集对有限单群进行刻画的猜想. 该猜想提出后, 众多学者对此做了大量的研究, 最终在2009年得到完全证明, 即: 所有有限非交换单群都可以通过群阶和元素阶之集唯一确定. 此后, 群论学者开始思考如何弱化该猜想的条件继续研究单群的结构. 例如: 文献[1-3]只用群阶和最高阶元的阶刻画了散在单群、部分交错群、部分对称群；文献[4-5]去掉了群阶这一重要条件, 只用最高阶元的阶和最高阶元的个数及最高阶元中心化子的阶刻画了Mathieu群、Janko群、部分交错群；文献[6-9]讨论了与交错群或Mathieu群有相同元素的最高阶和次高阶及Sylow 2-子群的阶的有限群的结构. 当然仅用这3个数量条件并不能把单群唯一确定下来, 但是可以得这类群比较具体的结构, 所以本文将继续此研究, 讨论与J₁有相同元素的最高阶和次高阶及Sylow 2-子群的阶的有限群, 并得到了此类群的结构. 本文所涉及的群都是有限群. 设G为有限群, Γ(G)表示G的素图, K₁(G)表示群G的最高阶元的阶, K₂(G)表示群G的次高阶元的阶, G_p表示群G的Sylow p-子群, |G|_p表示群G的Sylow p-子群的阶, 其他符号都是标准的.

引理1^[10]   有限群G的素图不连通, 则下列结论之一成立：

(i) G为Frobenius群；

(ii) G为2-Frobenius群；

(iii) G有正规列$ 1 \unlhd H \unlhd K \unlhd G$, 使得H和G/K是π₁-群, K/H是非Abel单群, H是幂零群, 其中2∈π₁, 且|G/K|||Out(K/H)|.

引理2^[11]   设有限群G=KH是以K为核、H为补的Frobenius群, 则K是幂零群, H的Sylow子群是循环群或广义四元数群, t(G)=2, 且Γ(G)的连通分支为π(H)，π(K), |H||(|K|-1).

引理3^[12]   设有限群G是2-Frobenius群, 则G=ABC, 其中$ A \unlhd G, A B \unlhd G, B, C$为循环群, AB是以A为核、B为补的Frobenius群, BC是以B为核、C为补的Frobenius群, Γ(G)恰有两个连通分支, 且π₁(G)=π(A)∪π(C), π₂(G)=π(B).

引理4^[8]  设有限群G有2阶无不动点自同构σ, 则G为Abel群, 且σ(G)=g^-1(∀g∈G).

Janko群J₁的阶为2³·3·5·7·11·19, 元素的最高阶为19, 次高阶为15. 本文我们证明如下结论：

定理1  设有限群G的Sylow 2-子群的阶是2³, K₁(G)=19, K₂(G)=15, 则G同构于下列群之一：

(i) G=KH是以K为Frobenius核的Frobenius群, |G|=2³·3^a·5·7^c·19^f, 其中a=1，2, c=0，1, f≥1, K为初等Abel 19-群, H₂为8阶循环群或四元数群, H₃，H₅，H₇为循环群；

(ii) G/H≅J₁, |G|=2³·3^a·5^b·7^c·11^d·19^f, 其中a，b，c，d，f≥1, H为p-群(p=3，5，7)或幂零{3, 5}-群, 且Exp(H)=p，9，15.

证  由K₁(G)=19, K₂(G)=15, 及|G|₂=2³可设

且易知19是Γ(G)的孤立点, 因此G的素图不连通. 由引理1, 我们按如下3种情形进行讨论：

情形1  若G为Frobenius群, 由引理2可设G=KH, 其中

若$ H \unlhd G$, 考虑K在H₂上的作用知K必然平凡作用在H₂上, 得G有38阶元, 矛盾. 因此$ K \unlhd G$为Frobenius核, H为Frobenius补. 进而H中的2阶元可以共轭作用于K, 且该作用是无不动点的. 从而由引理4知K为Abel群, 故K为初等Abel 19-群. 再由K₁(G)=19, 及π(H)是Γ(G)的一个连通分支知(|H|, 11·13)=1, 即π(H)={2, 3, 5}，{2, 3, 5, 7}.

若π(H)={2, 3, 5}, 由于H的Sylow子群只能是循环群或广义四元数群, 从而H₂为8阶循环群或四元数群, H₃，H₅都是循环群, 又因K₁(G)=19, K₂(G)=15, 所以1≤a≤2, b=1.

若π(H)={2, 3, 5, 7}, 同理可得H₂为循环群或四元数群, H₃，H₅，H₇为循环群, 且1≤a≤2, b=1, c=1, 结论(i)成立.

情形2  若G为2-Frobenius群, 则由引理3知G=ABC, 其中

由于B为Frobenius群AB的补, 因此B的Sylow 19-子群为循环群, 从而|B|=19. 再由BC是以B为核、C为补的Frobenius群, 故|C||(|B|-1), 即|C||18, 从而|A|₂=4，8, 所以B在A₂上的作用平凡, 导致G有38阶元, 矛盾. 因此G不是2-Frobenius群.

情形3  设G有正规列$ 1 \unlhd H \unlhd K \unlhd G$, 使得H和G/K是π₁-群, K/H是非Abel单群, H是幂零群, 其中2∈π₁, 且|G/K|||Out(K/H)|. 下面根据d，e的取值分为4种情形进行讨论：

情形3.1  设d，e≥1. 此时

由K₁(G)=19, K₂(G)=15可知11，13，19是Γ(G)的孤立点, 则11，13，19也是Γ(K/H)的孤立点, 故t(K/H)≥4. 由文献[13]知, 满足连通分支数大于等于4且素图的孤立点为11，13，19的单群只可能为²B₂(q), 即K/H只可能同构于²B₂(q). 若K/H≅²B₂(q)(阶分量为$ q^2, q-\sqrt{2 q}+1, q+\sqrt{2 q}+1$, q-1). 因为$ q=2^{2 m+1}\left(m \in \mathbb{N}_{+}\right)$, 所以q²=2^4m+2≥2⁶与|K/H|₂≤2³矛盾, 故此类群不存在.

情形3.2  设d≥1, e=0. 此时

同情形3.1可知11，19为Γ(K/H)的孤立点, 因此t(K/H)≥3. 分t(K/H)>3和t(K/H)=3两种情形讨论：

当t(K/H) > 3时, 由文献[13]和|K/H|₂≤|G|₂=2³知K/H只可能同构于J₁, 即

由|Out(J₁)|=1可知|G/K|=1, 故G/H≅J₁, 此时|H|=3^a-1·5^b-1·7^c-1. 因为K₁(G)=19, K₂(G)=15, 所以H为p-群或幂零{3, 5}-群, 且满足结论(ii)之条件.

当t(K/H)=3时, 由文献[13]中给出的单群阶分量表得K/H可能同构于下列群之一：

若K/H≅A_p, 由于p，p-2为奇阶分量且为素数, 因此p=19, p-2=11, 显然不存在这样的p, 故K/H≇A_p.

若K/H≅A₁(q), 对q分3种情况讨论:

(a) 当2|q时, 设$ q=2^m\left(m \in \mathbb{N}_{+}\right)$, 由K/H有3个阶分量q，q+1，q-1可知q+1=11^d，19^f, 进而

或

与q=2^m矛盾.

(b) 当4|q+1时, 由K/H有3个阶分量$ q+1, q, \frac{q-1}{2}$可知$ q=11^d, \frac{q-1}{2}=19^f$或$ q=19^f, \frac{q-1}{2}=11^d$, 此时

或

即5|19^f或9|11^d, 矛盾.

(c) 当4|q-1时, 由K/H有3个阶分量$ q-1, q, \frac{q+1}{2}$可知q=11^d，19^f. 若q=11^d, 此时$ 19^f=\frac{q+1}{2}=$$ \frac{11^d+1}{2}$. 如果2⫮d, 则

故6|19^f, 矛盾. 因此2|d. 于是令d=2t, 此时

如果2⫮t, 则由

知

矛盾. 故2|t, 令t=2r, 即d=4r, 此时

如果2⫮r, 则

矛盾. 故2|r, 令r=2k, 即d=8k, 此时

如果2⫮k, 则

矛盾. 故2|k, 令k=2s, 则

由于11^s-1，11^s+1，11^2s+1，11^4s+1，11^8s+1中任意两个数的最大公约数为2, 因此q-1至少含有5个不同的素因子, 这与π(q-1)⊆{2, 3, 5, 7}矛盾. 若q=19^f, 同理可推出矛盾. 因此K/H≇A₁(q).

若$ K / H \cong 2{ }^2 D_p(3)\left(p=2^m+1, m \geqslant 2, m \in \mathbb{N}_{+}\right)$, 则p-1=2^m≥4, K/H的第一个阶分量中$ \prod\limits_{i=1}^{p-1}\left(3^{2 i}-1\right)$有因子(3²-1)(3⁴-1)(3⁶-1)(3⁸-1), 易知41|3⁸-1, 但|K/H|中不含素因子41, 矛盾. 故K/H≇²D_p(3).

若$ K / H \cong{ }^2 G_2(q)\left(q=3^{2 m+1}, m \in \mathbb{N}_{+}\right)$, 由于K/H有3个阶分量：q⁶(q²-1)²，q²+q+1，q²-q+1, 此时q⁶(q²-1)²=3^6m(3^m+1)²(3^m-1)², 因此

与|K/H|₂≤|G|₂=2³矛盾.

若$ K / H \cong 2{ }^2 G_2(q)\left(q=3^{2 m+1}, m \in \mathbb{N}_{+}\right)$, 由于K/H有3个阶分量：$ q^3\left(q^2-1\right), q-\sqrt{3 q}+1, q+$$ \sqrt{3 q}+1$, 此时q³(q²-1)=3^6m+3(3^2m+1+1)(3^2m+1-1)为偶阶分量. 因为2m+1为奇数, 所以

且

于是

而3^2m-3^2m-1+…-3+1与3^2m+3^2m-1+…+3+1互素, 因此q³(q²-1)至少含有4个不同的素因子. 又因π(q³(q²-1))⊆{2, 3, 5, 7}, 故π(q³(q²-1))={2, 3, 5, 7}. 因为

即当m为奇数时, 3^2m+1±1≡-3±1(mod 5)；当m为偶数时, 3^2m+1±1≡3±1(mod 5). 所以5⫮(3^2m+1±1), 进而5⫮q³(q²-1), 与π(q³(q²-1))={2, 3, 5, 7}矛盾.

若K/H≅²D_p+1(2), 由$ q=2^m\left(m \in \mathbb{N}_{+}\right)$知p > 2, 则K/H的第一个阶分量中2^p(p+1) > 2⁶, 矛盾于|K/H|₂≤|G|₂=2³.

若K/H≅F₄(q), 由$ q=2^m\left(m \in \mathbb{N}_{+}\right)$知K/H的第一个阶分量中q²⁴=2^24m≥2²⁴, 矛盾于|K/H|₂≤|G|₂=2³.

若K/H≅²F₄(q), 由$ q=2^{2 m+1}\left(m \in \mathbb{N}_{+}\right)$知K/H的第一个阶分量中q¹²=2^24m+12≥2¹², 矛盾于|K/H|₂≤|G|₂=2³.

情形3.3  设e≥1, d=0. 此时

由K₁(G)=19可知13，19是Γ(G)的孤立点, 因此13，19也是Γ(K/H)的孤立点, 故t(K/H)≥3. 与情形3.2一样, 分t(K/H)>3和t(K/H)=3两种情形进行讨论, 同理可证这样的单群K/H是不存在的.

情形3.4  设d，e=0. 此时

且19是Γ(G)的孤立点, 故19∈π(K/H)⊆{2, 3, 5, 7, 19}, 则K/H可能是单K₃-群、单K₄-群、2^a₁3^a₂5^a₃7^a₄19^a₅单群(a_i∈N, i=1，2，…，5). 而由文献[14]知单K₃-群的阶不含素因子19, 因此K/H不是单K₃-群.

若K/H是单K₄-群, 则由文献[15]知K/H可能同构于下列群之一:

L₂(19)(2⁵·3²·5·19), L₃(7)(2⁵·3³·7³·19), U₃(2³)(2⁹·3⁴·7·19).

若K/H是2^a₁3^a₂5^a₃7^a₄19^a₅单群, 则由文献[16]知K/H可能同构于下列群之一：

A₃(7)(2⁹·3⁴·5²·7⁶·19), ²A₂(19)(2⁵·3²·5²·7³·19³).

但是这些群的Sylow 2-子群的阶都大于2³, 与|K/H|₂≤2³矛盾. 所以此类群不存在.