抽象代数中,设 ,若存在群 ,及群的正合序列

(换言之, 是单射、 是满射,且 ;是故可视 正规子群。)则称群 群扩张,或称 的扩张。

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

则称此扩张为平凡扩张。当 落在 中心时,称之为中心扩张

分类

一般的群扩张不易分类。若限定 为阿贝尔群,则 的扩张等价类一一对应于 (参见条目 Ext函子)。

另一方面,若在群扩张 中, 为阿贝尔群,可任取一截面 (s 不一定是群同态),群 以共轭方式 上作用。这类扩张的等价类由群上同调 分类,并具有自然的群结构。最常见的例子是中心扩张。

李代数的扩张

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

,称之为中心扩张。

参考资料

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.