可解群
维基百科,自由的 encyclopedia
在数学的历史中,群论原本起源于对高于四次的一元多项式方程无一般的公式解之证明的找寻,最终随着伽罗瓦理论的提出而确立。可解群的概念产生于描述其根可以只用根式(平方根、立方根等等及其和与积)表示的多项式所对应的自同构群所拥有的性质。
Quick Facts 群论, 基本概念 ...
群论 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||
群 | ||||||||||
| ||||||||||
Close
一个群被称为可解的,若它拥有一个其商群皆为阿贝尔群的正规列。或者等价地说,若其降正规列
之中,每一个子群都会是前一个的导群,且最后一个为G的平凡子群{1}。上述两个定义是等价的,对一个群H及H的正规子群N,其商群H/N为可交换的当且仅当N包含着H(1)。
对于有限群,有一个等价的定义为:一可解群为一有着其商群皆为素数阶的循环群之合成列的群。此一定义会等价是因为每一个简单阿贝尔群都是有素数阶的循环群。若尔当-赫尔德定理表示若一个合成列有此性质,则其循环群即会对应到某个体上的n个根。但此一定义的等价性并不必然于无限群中亦会成立:例如,因为每一个在加法下的整数群Z的非当然子群皆同构于Z本身,它不会有合成列,但是其有着唯一同构于Z的商群之正规列{0,Z},证明了其确实是可解的。
和乔治·波里亚的格言“若有一个你无法算出的问题,则会有的你可以算出的较简单的问题”相一致的,可解群通常在简化有关一复杂的群的推测至一系列有着简单结构-阿贝尔群的群的推测有着很有用的功用。