Equivalent group extensions
= Equivalent group extensions
Two extensions of $G$ by the same $G$-module $M$ are equivalent when an isomorphism between their middle groups commutes with the inclusions of $M$ and the projections to $G$. Splitness is preserved under this equivalence.