extension of groups
C60147
concept
An extension of groups is a group constructed by fitting a normal subgroup and a quotient group together via an exact sequence, capturing how one group can be built from another.