编辑: 5天午托 | 2019-07-15 |
q2 |G : T|. 因为 G 是线传递, 由引理 2.3, T 是点传递的. 于是 |Gα| = |Tα|m, 从而 |Tα| <
q2 . 因此 v = |T : Tα| 不是素数的方幂, 再由引理 2.4 知G不可解. 那么根据引理 3.5 得到 |T| <
(k2k ? k2 + 1)|Tα|2 |G : T| <
(k2k ? k2 + 1)q4 |G : T|. (3.1) 但是 |T| q4 = (q ? 1)(q2 + 1) q2 >
q ? 1. 因为 q >
2, q ?
1 >
1 2 q 且q≥2(k2k ? k2 + 1)a, 所以 |T| q4 >
1 2 q ≥ (k2k ? k2 + 1)a ≥ (k2k ? k2 + 1)|G : T|, 这意味着 |T| >
(k2k ? k2 + 1)q4 |G : T|, 这个结论与 (3.1) 式产生矛盾, 从而排除这种情形. 情形 3.2 Gα ∩ T 是T的抛物子群. 检查引理 2.1 中Sz(q) 的极大子群, 我们发现 Sz(q)........