(c) Let V≠0 be a faithful and completely reducibleF[G]-module over an arbitrary field F.
(c)若V≠0是任意域F上的一忠实且完全可约F[G]模。
completely reducible,quasi-primitive and finite G-module for a solvable group G.
证明了可解群阶的定理:令V≠0是有限拟本原G 模,|V|=qn,素数q>0,G为完全线性群GL(V)的一可解完全可约子群,则a)|G|≤|V|α/λ,b)若2 |G|,且q≠2,则|G|≤|V|3/2/241/3。