理.令 formula_1 为可解群，则其挠子群 formula_13 亦可除。由于可解群是 formula_7-内射模，formula_13 是直和项，即：商群 formula_17 亦可解，而且其中没有挠元，所以它是 formula_8-上的向量空间：存在集合 formula_19 使得挠子群的结构稍复杂，然而可以证明对所有素数 formula_21，存在 formula_22 使得其中 formula_24 是 formula_13 是的 formula_21-准素部分。于是：Sec