Coprime splitting over an elementary abelian normal subgroup

ID: coprime-splitting-over-an-elementary-abelian-normal-subgroup

If is an elementary abelian normal subgroup and is prime to its characteristic, the extension splits and its complements are conjugate by . In additive notation an extension cocycle satisfies . Averaging over gives , where . Changing the section by removes the cocycle. For two complements the difference cocycle has ; averaging gives , which is conjugation by an element of . These arguments use invertibility of the group order on and underlie Hall conjugacy in soluble groups.

New to topics? Read the docs here!