Baer-Summe
# Baer-Summe

In der Gruppentheorie, einem Teilgebiet der Mathematik, ist die Baer-Summe zweier zentraler Gruppenerweiterungen eine neue Erweiterung derselben Gruppe.

## Konstruktion

Seien
    $\phi _{1}\colon E_{1}\to G$ und $\phi _{2}\colon E_{2}\to G$
zwei zentrale Erweiterungen mit „Parametrisierungen“ (d. h. Gruppenisomorphismen)
    $\iota _{1}\colon A\to Ker(\phi _{1}),\iota _{2}\colon A\to Ker(\phi _{2})$.
Sei
    $E_{1}\times _{G}E_{2}=\left\{(x,y)\in E_{1}\times E_{2}\colon \phi _{1}(x)=\phi _{2}(y)\right\}$.
Der durch
    $\phi (x,y):=\phi _{1}(x)=\phi _{2}(y)$
gegebene Homomorphismus
    $\phi \colon E_{1}\times _{G}E_{2}\to G$
ist surjektiv mit Kern $A\times A$. Definiere
    $E=(E_{1}\times _{G}E_{2})/\left\{(\iota _{1}(a),-\iota _{2}(a))\colon a\in A\right\}$.
$\phi$ faktorisiert über $E$ und gibt eine zentrale Erweiterung mit Kern $A$, die als Baer-Summe der beiden zentralen Erweiterungen bezeichnet wird.

## Eigenschaften

Die Baer-Summe ist kommutativ und assoziativ, neutrales Element ist die triviale Erweiterung und das inverse Element einer durch einen Isomorphismus $\iota$ parametrisierten zentralen Erweiterung ist dieselbe zentrale Erweiterung mit entgegengesetzter Parametrisierung $-\iota$.