群扩张

在抽象代数中，设 ${\displaystyle Q}$ 为群，若存在群 ${\displaystyle G,N}$，及群的正合序列

（换言之，${\displaystyle i}$ 是单射、${\displaystyle p}$ 是满射，且 ${\displaystyle \mathrm{K}\mathrm{e}\mathrm{r}(p)=\mathrm{I}\mathrm{m}(i)}$；是故可视 ${\displaystyle N}$ 为 ${\displaystyle G}$ 的正规子群，${\displaystyle G/N\simeq <!--\; \simeq \; -->Q}$。）则称群 ${\displaystyle G}$ 为 ${\displaystyle Q}$ 的群扩张，或称 ${\displaystyle Q}$ 对 ${\displaystyle N}$ 的扩张。

由短正合序列的同构关系，可以定义群扩张的等价类。若某个群扩张等价于

则称此扩张为平凡扩张。当 ${\displaystyle N}$ 落在 ${\displaystyle G}$ 的中心时，称之为中心扩张。

一般的群扩张不易分类。若限定 ${\displaystyle G}$ 为阿贝尔群，则 ${\displaystyle Q}$ 对 ${\displaystyle N}$ 的扩张等价类一一对应于 ${\displaystyle {\mathrm{E}\mathrm{x}\mathrm{t}}_{\mathbb{Z}}^1(Q,N)}$（参见条目 Ext函子）。

另一方面，若在群扩张 ${\displaystyle 0\to <!--\; \to \; -->A\to <!--\; \to \; -->E\to <!--\; \to \; -->G\to <!--\; \to \; -->1}$ 中，${\displaystyle A}$ 为阿贝尔群，可任取一截面 ${\displaystyle s:G\to <!--\; \to \; -->E}$（s 不一定是群同态），群 ${\displaystyle G}$ 以共轭方式 ${\displaystyle a\mapsto <!--\; \mapsto \; -->s(g)as(g{)}^{-<!--\; -\; -->1}}$ 在 ${\displaystyle A}$ 上作用。这类扩张的等价类由群上同调 ${\displaystyle H^2(G,A)}$ 分类，并具有自然的群结构。最常见的例子是中心扩张。

利用同样作法，也可以定义李代数的扩张。此即李代数的正合序列

若 ${\displaystyle =0}$，称之为中心扩张。