Counting Sylow bases in a coprime elementary abelian extension
ID: counting-sylow-bases-in-a-coprime-elementary-abelian-extension
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 .
New to topics? Read the docs here!