Group extension
= Group extension
{wiki}
A group extension of $G$ by an abelian $G$-module $A$ is a <short exact sequence>
$$
1\longrightarrow A\longrightarrow E\longrightarrow G\longrightarrow1
$$
whose conjugation action on $A$ is the specified $G$-action.