# Difference between revisions of "Congruent group extensions"

From Groupprops

Line 16: | Line 16: | ||

1 \to & A \to & G_2 \to & B \to & 1 \\ | 1 \to & A \to & G_2 \to & B \to & 1 \\ | ||

\end{array}</math> | \end{array}</math> | ||

+ | |||

+ | ==Related notions== | ||

+ | |||

+ | * [[Pseudo-congruent group extensions]]: This is a coarser equivalence relation, where we allow the maps on <math>A</math> and <math>B</math> to be [[automorphism]]s instead of requiring them to both be the identity map. |

## Latest revision as of 04:11, 3 May 2013

## Definition

Suppose and are (possibly isomorphic, possibly non-isomorphic groups). Consider two group extensions both "with normal subgroup and quotient group ." Explicitly, this means we are given two short exact sequences:

and:

We say that the group extensions are *congruent* if there is an isomorphism between the short exact sequences that restricts to the identity maps on and respectively. Explicitly, this means that there is an isomorphism such that the following diagram commutes:

## Related notions

- Pseudo-congruent group extensions: This is a coarser equivalence relation, where we allow the maps on and to be automorphisms instead of requiring them to both be the identity map.