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!