This article describes a product notion for groups. See other related product notions for groups.
Suppose and are (possibly isomorphic, possibly non-isomorphic) groups.
A group extension with normal subgroup and quotient group is defined as a group with a specified normal subgroup having a specified isomorphism to and a specified isomorphism from the quotient group to .
In some parts of group theory, such a is termed an extension of (the subgroup isomorphic to the normal subgroup) by (the subgroup isomorphic to the quotient group). In some other areas of mathematics, particularly geometric group theory and homology and cohomology theory, is termed an extension of the quotient by the normal subgroup, so in this case that would be an extension of by . A choice of terminology that avoids this confusion is "extension with normal subgroup and quotient group ."
A group extension with normal subgroup and quotient group can alternatively be thought of as a group along with a short exact sequence of groups:
The group extension problem seeks to classify all group extensions with a specified normal subgroup and a specified quotient group.
There are various notions of equivalence for group extensions. The strongest notion is that of congruent group extension, where the specified isomorphisms agree. The equivalence classes of group extensions upto congruence, when nonempty, can be identified (though not canonically) with the second cohomology group .
A somewhat weaker notion is where the specified isomorphisms agree up to automorphisms in the groups and . Extensions which are equivalent under this weaker (broader) notion of equivalence are termed pseudo-congruent group extensions. The set of equivalence classes here is the set of interest from the perspective of the number of extensions with distinct behavior. This set can be viewed as a set of equivalence classes within the original set of congruence classes of group extensions. The new set could be very far from a group.