跳转到内容

可解群:修订间差异

维基百科,自由的百科全书
删除的内容 添加的内容
Louperibot留言 | 贡献
r2.5.2) (機器人 新增: es:Grupo resoluble
 
(未显示15个用户的18个中间版本)
第1行: 第1行:
{{NoteTA|G1=Math}}
在[[數學]]的歷史中,[[群論]]原本起源於對[[五次方程]]及更高次方程無一般的公式解之證明的找尋,最終随着伽羅瓦理论的提出而确立。'''可解群'''的概念產生於描述其根可以只用[[根式]](平方根、立方根等等及其和與積)表示的[[多項式]]所对应的[[自同構|自同構群]]所擁有的性質。
{{Groups}}

在[[數學]]的歷史中,[[群論]]原本起源於對[[五次方程|于四]]的一元多项式方程無一般的公式解之證明的找尋,最終随着[[伽羅瓦理论]]的提出而确立。'''可解群'''的概念產生於描述其根可以只用[[根式]]平方根、立方根等等及其和與積表示的[[多項式]]所对应的[[自同構|自同構群]]所擁有的性質。


一個群被稱為'''可解的''',若它擁有一個其[[商群]]皆為[[阿貝爾群]]的[[正規列]]。或者等價地說,若其降正規列
一個群被稱為'''可解的''',若它擁有一個其[[商群]]皆為[[阿貝爾群]]的[[正規列]]。或者等價地說,若其降正規列
:<math>G\triangleright G^{(1)}\triangleright G^{(2)} \triangleright \cdots,</math>
:<math>G\triangleright G^{(1)}\triangleright G^{(2)} \triangleright \cdots,</math>
之中,每一個子群都會是前一個的[[导群]],且最後一個為''G''的當然子群{1}。上述兩個定義是等價的,对一個群''H''及''H''的[[正規子群]]''N'',其商群''H''/''N''為可交換的[[若且唯若]]''N''包含著''H''<sup>(1)</sup>。
之中,每一個子群都會是前一個的[[导群]],且最後一個為''G''的平凡子群{1}。上述兩個定義是等價的,对一個群''H''及''H''的[[正規子群]]''N'',其商群''H''/''N''為可交換的[[若且唯若]]''N''包含著''H''<sup>(1)</sup>。


對於有限群,有一個等價的定義為:一可解群為一有著其商群皆為[[質數]][[ (群論)|]]的[[循環群]]之[[合成列]]的群。此一定義會等價是因為每一個[[簡單群|簡單]]阿貝爾群都是有質數的循環群。[[若爾當-赫爾德定理]]表示若一個合成列有此性質,則其循環群即會對應到某個體上的''n''個根。但此一定義的等價性並不必然於無限群中亦會成立:例如,因為每一個在加法下的整數群'''Z'''的非當然子群皆[[群同構|同構]]於'''Z'''本身,它不會有合成列,但是其有著唯一同構於'''Z'''的商群之正規列{0,'''Z'''},證明了其確實是可解的。
對於有限群,有一個等價的定義為:一可解群為一有著其商群皆為[[質數]][[ (群論)|]]的[[循環群]]之[[合成列]]的群。此一定義會等價是因為每一個[[簡單群|簡單]]阿貝爾群都是有質數的循環群。[[若爾當-赫爾德定理]]表示若一個合成列有此性質,則其循環群即會對應到某個體上的''n''個根。但此一定義的等價性並不必然於無限群中亦會成立:例如,因為每一個在加法下的整數群'''Z'''的非當然子群皆[[群同構|同構]]於'''Z'''本身,它不會有合成列,但是其有著唯一同構於'''Z'''的商群之正規列{0,'''Z'''},證明了其確實是可解的。


和[[喬治·波里亞]]的格言「若有一個你無法算出的問題,則會有的你''可以''算出的較簡單的問題」相一致的,可解群通常在簡化有關一複雜的群的推測至一系列有著簡單結構-阿貝爾群的群的推測有著很有用的功用。
和[[喬治·波里亞]]的格言「若有一個你無法算出的問題,則會有的你''可以''算出的較簡單的問題」相一致的,可解群通常在簡化有關一複雜的群的推測至一系列有著簡單結構-阿貝爾群的群的推測有著很有用的功用。
第11行: 第14行:
==例子==
==例子==


所有的阿貝爾群都是可解的[[商]]''A''/''B''總會是可交換的,若''A''為可交換的。但非阿貝爾群則不一定都是可解的。
所有的阿貝爾群都是可解的——次正規群列为自身和平凡子群。但非阿貝爾群則不一定都是可解的。


更一般地,所有[[冪零群]]都是可解的。特別地是,所有的有限[[p-群]]都是可解的,因為所有的有限[[p-群]]都會是冪零的。
更一般地,所有[[冪零群]]都是可解的。特別地是,所有的有限[[p-群]]都是可解的,因為所有的有限[[p-群]]都會是冪零的。


可解但不為冪零的群的一個小例子為[[對稱群]]''S''<sub>3</sub>。實際上,最小的簡單貝爾群為''A''<sub>5</sub>(5的[[交錯群]])時,它允許''每一個''小於60的群皆為可解的。
可解但不為冪零的群的一個小例子為[[对称群_(n次对称群)|對稱群]]''S''<sub>3</sub>。實際上,最小的非貝爾的單群為''A''<sub>5</sub>(5个元的[[交錯群]])時,''所有''小於60的群皆為可解的。


群''S''<sub>5</sub>不是可解的-它有一合成列{E,''A''<sub>5</sub>,''S''<sub>5</sub>}(若爾當-赫爾德定理表示每個其他的合成列都會等價於此一合成列),給出了同構於''A''<sub>5</sub>及''C''<sub>2</sub>的商群;而''A''<sub>5</sub>為非可換的。廣義化此一論述,結合''A''<sub>''n''</sub>在''n'' > 4時為''S''<sub>''n''</sub>的正規、最大且非阿貝爾簡單子群的事實,可知''n'' > 4的所有''S''<sub>''n''</sub>皆不可解,此亦為證明每一個''n'' > 4的''n''次[[多項式]]都不可以以方根得解的關鍵步驟。
群''S''<sub>5</sub>不是可解的-它有一合成列{E,''A''<sub>5</sub>,''S''<sub>5</sub>}([[:合成列#若尔当-赫尔德定理|若爾當-赫爾德定理]]指出每個其他的合成列都會等價於此一合成列),給出了同構於''A''<sub>5</sub>及''C''<sub>2</sub>的商群;而''A''<sub>5</sub>為非可換的。廣義化此一論述,結合''A''<sub>''n''</sub>在''n'' > 4時為''S''<sub>''n''</sub>的正規、最大且非阿貝爾簡單子群的事實,可知''n'' > 4的所有''S''<sub>''n''</sub>皆不可解,此亦為證明每一個''n'' > 4的''n''次[[多項式]]都不可以以方根得解的關鍵步驟。


著名的[[范特-湯普遜定理]]敘述著,每一個奇數的有限群皆是可解的。特別地,此定理表示,若一有限群為,其必為質數循環或偶數
著名的[[范特-湯普遜定理]]指出,每一個奇數的有限群皆是可解的。特別地,此定理指出,若一有限群為[[群]],其必為質數階[[循環羣]]偶數階的


==性質==
==性質==
第31行: 第34行:


==超可解群==
==超可解群==
做為可解性的加強版,一個群''G''被稱為'''超可解的''',若它有一其商群皆為循環群的''不變''正規列;換句話說,if it is solvable with each ''A''<sub>''i''</sub> also being a normal subgroup of ''G'',且每個''A''<sub>''i''+1</sub>/''A''<sub>''i''</sub>都不只是可交換而已,且也是循環的(可能為無限)。因為一正規列在定義中有有限的長度,所以不可數阿貝爾群不會是超可解的。實際上,所有的超可解群皆為有限產生群,且一個阿貝爾群為超可解的若且唯若其為有限產生的。
做為可解性的加強版,一個群''G''被稱為'''超可解的''',若它有一其商群皆為循環群的''不變''正規列;換句話說,if it is solvable with each ''A''<sub>''i''</sub> also being a normal subgroup of ''G'',且每個''A''<sub>''i''+1</sub>/''A''<sub>''i''</sub>都不只是可交換而已,且也是循環的(可能為無限)。因為一正規列在定義中有有限的長度,所以不可數阿貝爾群不會是超可解的。實際上,所有的超可解群皆為有限產生群,且一個阿貝爾群為超可解的若且唯若其為有限產生的。


若限制在有限產生群中,將可以有下列的排序:
若限制在有限產生群中,將可以有下列的排序:


:[[循環群]] < [[阿貝爾群]] < [[冪零群]] < '''超可解群''' < [[多循環群]] < '''可解群''' < [[有限生成群]]
:[[循環群]] < [[阿貝爾群]] < [[冪零群]] < '''超可解群''' < [[多循環群]] < '''可解群''' < [[有限生成群]]


==外部連結==
==连续可解群==
既连通又可解的代数群。假设G是定义在代数闭域上的一个线性代数群,G的一个导序列是指按如下递归构造的一个正规闭子群序列:
* [http://www.research.att.com/~njas/sequences/A056866 A056866] - orders of non-solvable finite groups.


<math>D^0(G)=G , D^{i+1}(G)=\Bigl(D^i(G),D^i(G)\Bigr)</math>

如果G连通,这些D<sup>i</sup>(G)也都是连通的。G称作是可解的,如果存在自然数n,使得D<sup>n
</sup>(G)={e},若G还是连通的,则称G是连通可解群。可解群的闭子群,商群还都是可解群.


== 参考文献 ==
{{Reflist}}

== 外部連結 ==
* [https://web.archive.org/web/20070310200326/http://www.research.att.com/~njas/sequences/A056866 A056866] - orders of non-solvable finite groups.

{{-}}
{{ModernAlgebra}}
{{ModernAlgebra}}


[[Category:群论]]
[[Category:可解群| ]]
[[Category:群的性質]]
[[Category:群的性質]]
[[Category:群论|K]]

[[ca:Grup resoluble]]
[[de:Auflösbare Gruppe]]
[[en:Solvable group]]
[[es:Grupo resoluble]]
[[fi:Ratkeava ryhmä]]
[[fr:Groupe résoluble]]
[[he:חבורה פתירה]]
[[it:Gruppo risolubile]]
[[nl:Oplosbare groep]]
[[pl:Grupa rozwiązalna]]
[[ru:Разрешимая группа]]
[[uk:Розв'язна група]]

2021年9月24日 (五) 01:10的最新版本

群论


數學的歷史中,群論原本起源於對高于四次的一元多项式方程無一般的公式解之證明的找尋,最終随着伽羅瓦理论的提出而确立。可解群的概念產生於描述其根可以只用根式(平方根、立方根等等及其和與積)表示的多項式所对应的自同構群所擁有的性質。

一個群被稱為可解的,若它擁有一個其商群皆為阿貝爾群正規列。或者等價地說,若其降正規列

之中,每一個子群都會是前一個的导群,且最後一個為G的平凡子群{1}。上述兩個定義是等價的,对一個群HH正規子群N,其商群H/N為可交換的若且唯若N包含著H(1)

對於有限群,有一個等價的定義為:一可解群為一有著其商群皆為質數循環群合成列的群。此一定義會等價是因為每一個簡單阿貝爾群都是有質數階的循環群。若爾當-赫爾德定理表示若一個合成列有此性質,則其循環群即會對應到某個體上的n個根。但此一定義的等價性並不必然於無限群中亦會成立:例如,因為每一個在加法下的整數群Z的非當然子群皆同構Z本身,它不會有合成列,但是其有著唯一同構於Z的商群之正規列{0,Z},證明了其確實是可解的。

喬治·波里亞的格言「若有一個你無法算出的問題,則會有的你可以算出的較簡單的問題」相一致的,可解群通常在簡化有關一複雜的群的推測至一系列有著簡單結構-阿貝爾群的群的推測有著很有用的功用。

例子

[编辑]

所有的阿貝爾群都是可解的——其次正規群列为自身和平凡子群。但非阿貝爾群則不一定都是可解的。

更一般地,所有冪零群都是可解的。特別地是,所有的有限p-群都是可解的,因為所有的有限p-群都會是冪零的。

可解但不為冪零的群的一個小例子為對稱群S3。實際上,因最小的非阿貝爾的單群為A5(5个元的交錯群)時,所有小於60階的群皆為可解的。

S5不是可解的-它有一合成列{E,A5,S5}(若爾當-赫爾德定理指出每個其他的合成列都會等價於此一合成列),給出了同構於A5C2的商群;而A5為非可換的。廣義化此一論述,結合Ann > 4時為Sn的正規、最大且非阿貝爾簡單子群的事實,可知n > 4的所有Sn皆不可解,此亦為證明每一個n > 4的n多項式都不可以以方根得解的關鍵步驟。

著名的范特-湯普遜定理指出,每一個奇數階的有限群皆是可解的。特別地,此定理指出,若一有限群為單群,其必為質數階循環羣或是偶數階的。

性質

[编辑]

可解性的性質在某一意義上是可繼承的,如下:

  • G為可解的,且HG的子群,則H也是可解的。
  • G是可解的,且HG的正規子群,則G/H也是可解的。
  • G是可解的,且存在一G滿射H同態,則H也是可解的。
  • HG/H為可解的,則G也是可解的。
  • GH為可解的,則其直積G × H也是可解的。

超可解群

[编辑]

做為可解性的加強版,一個群G被稱為超可解的,若它有一其商群皆為循環群的不變正規列;換句話說,if it is solvable with each Ai also being a normal subgroup of G,且每個Ai+1/Ai都不只是可交換而已,且也是循環的(可能為無限階)。因為一正規列在定義中有有限的長度,所以不可數阿貝爾群不會是超可解的。實際上,所有的超可解群皆為有限產生群,且一個阿貝爾群為超可解的若且唯若其為有限產生的。

若限制在有限產生群中,將可以有下列的排序:

循環群 < 阿貝爾群 < 冪零群 < 超可解群 < 多循環群 < 可解群 < 有限生成群

连续可解群

[编辑]

既连通又可解的代数群。假设G是定义在代数闭域上的一个线性代数群,G的一个导序列是指按如下递归构造的一个正规闭子群序列:

如果G连通,这些Di(G)也都是连通的。G称作是可解的,如果存在自然数n,使得Dn (G)={e},若G还是连通的,则称G是连通可解群。可解群的闭子群,商群还都是可解群.


参考文献

[编辑]

外部連結

[编辑]
  • A056866 - orders of non-solvable finite groups.