Extending the action of quotient group on abelian normal subgroup to bigger abelian group gives rise to canonical bigger group

From Groupprops

Statement

Suppose is a group having an abelian normal subgroup and a quotient group . Suppose there exists an abelian group containing such that the induced action of on extends to an action of on .

Then, there exists a group containing and also containing a copy of containing a copy of , such that and , and the induced action of on is the specified extended action of on .