In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. Wikipedia