Let be an elementary abelian -group and let , with soluble. In each Sylow basis of , is the unique Sylow -subgroup and the product of the remaining Sylow subgroups is a complement to . All complements are -conjugate, and the stabilizer of under this conjugation is its fixed-vector space . Each complement has Sylow bases, proving the formula. For the permutation module of , the fixed-vector space is the one-dimensional constant-coordinate subspace, so the number is .

Articles by others on the same topic (0)

There are currently no matching articles.