0
現代数学解説
文献あり

有限冪零群は超可解群

172
0

読んでた本の行間を埋めるのが大変だったので書いときます.

可解群

Gにおいて,任意のGi/Gi1がアーベル群になるような正規列
{1}=G0G1Gn=Gが存在するときGを可解群と呼ぶ.

冪零群

Gにおいて,任意のGi/Gi1G/Gi1の中心に含まれるような正規列{1}=G0G1Gn=Gが存在するときGを冪零群と呼ぶ.

証明は略しますが冪零群は以下の同値な定義があることも知られています.

冪零群

Gにおいて,C0(G)=GかつCi+1(G)=[Ci(G),G]となるような列(降中心列)が有限の長さで自明な群に到達するとき,つまりG=C0(G)C1(G)Cn(G)={1}とできるときGを冪零群と呼ぶ.

超可解群

Gにおいて,任意のGi/Gi1が巡回群になり,さらに任意のGiGの正規部分群となるような正規列{1}=G0G1Gn=Gが存在するときGを超可解群と呼ぶ.

群の拡大

G,Hに対し,Hを部分群に持ちG~/HGとなるようなG~が存在したとき,G~HによるGの拡大と呼ぶ.

中心拡大

G~HによるGの拡大であり,さらにHG~の中心に含まれているとき,特に中心拡大と呼ぶ.

Gとその正規部分群Hおよび,Gの拡大G~を考える.G~からGへの自然な写像πについて,π1(H)G~の正規部分群となる.

H~=π1(H)とおく.
π(1G~)=1GHより1G~π1(H)なのでH~は単位元を含む.
また任意のgH~について,g1π1(π(g)1)π1(H)より逆元も含む.
さらに,任意のh1,h2H~について,π(h1h2)=π(h1)π(h2)Hよりh1h2H~なので,H~は群.
任意のgG~をとると,
π(gH~g1)
=π(g)π(H~)π(g1)
=π(g)Hπ(g)1
=H
よって,
H~=π1(H)=π1(π(gH~g1))gH~g1
したがって,H~G~の正規部分群.

Gが冪零群であることと,G{1}から有限回の中心拡大によって得られることは同値である.

Gが長さ1の降中心列を持つことと1回の中心拡大によって得られることはともにアーベル群であることと同値であるのは明らか.

(Gは冪零群)(Gは有限回の中心拡大により得られる)
Gが冪零群だとし降中心列の長さによる帰納法で示す.Gが長さnの降中心列を持つとする.Cn1(G/Cn1(G))=Cn1(G)/Cn1(G)={1}より,G/Cn1(G)は長さn1の降中心列を持つので,帰納法の仮定より有限回の中心拡大によって得られる.さらに,[Cn1(G),G]={1}なのでCn1(G)Gの中心に含まれ,G/Cn1(G)Cn1(G)による中心拡大Gは有限回の中心拡大によって得られることが分かる.

(Gは有限回の中心拡大により得られる)(Gは冪零群)
拡大回数による帰納法で示す.Gn回の中心拡大により得られるとする.
GAによるG/Aの中心拡大によって得られ,またG/An1回の中心拡大により得られるものとする.このとき,帰納法の仮定よりG/AはあるmによりCm(G/A)={1}と表せる.よってCm(G)Aであり,Cm+1(G)C1(A)={1}となるためGは冪零群である.

超可解群の有限群による中心拡大は超可解群である.

G~が超可解群GAによる中心拡大だとする.
ここで任意のGi/Gi1が巡回群になり,さらに任意のGiGの正規部分群となるような正規列{1}=G0G1Gn=Gをとると,G~i=π1(Gi)とおいて,命題1より,A=G~0G~1G~n=G~が得られ,任意のG~iG~の正規部分群である.ここでAG~の中心なのでアーベル群であり,有限アーベル群の構造定理より,AZ/a1Z××Z/amZとできる.よって,AAiZ/a1Z××Z/aiZをとれば,正規列{1}=A0Am=G~0G~1G~n=G~が得られ,AG~の中心に含まれるから各AiG~の正規部分群である.さらに,Ai/Ai1Z/aiZなのでAi/Ai1は巡回群であり,第三同型定理よりG~i/G~i1Gi/Gi1だから,G~i/G~i1も巡回群である.
したがって,G~は超可解群である.

有限冪零群は超可解群である.

Gが有限冪零群だとする.すると命題2より,Gは有限回の有限群による中心拡大によって得られ,したがって命題3を繰り返し用いるとGは超可解群であることが分かる.

参考文献

[1]
J.-P. Serre, Linear Representations of Finite Groups
[2]
Nicolas Bourbaki, Algebra I
[3]
雪江明彦, 代数学1 群論入門
投稿日:2024725
更新日:2024726
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中