読んでた本の行間を埋めるのが大変だったので書いときます.
群Gにおいて,任意のGi/Gi−1がアーベル群になるような正規列{1}=G0◃G1◃⋯◃Gn=Gが存在するときGを可解群と呼ぶ.
群Gにおいて,任意のGi/Gi−1がG/Gi−1の中心に含まれるような正規列{1}=G0◃G1◃⋯◃Gn=Gが存在するときGを冪零群と呼ぶ.
証明は略しますが冪零群は以下の同値な定義があることも知られています.
群Gにおいて,C0(G)=GかつCi+1(G)=[Ci(G),G]となるような列(降中心列)が有限の長さで自明な群に到達するとき,つまりG=C0(G)▹C1(G)▹⋯▹Cn(G)={1}とできるときGを冪零群と呼ぶ.
群Gにおいて,任意のGi/Gi−1が巡回群になり,さらに任意のGiがGの正規部分群となるような正規列{1}=G0◃G1◃⋯◃Gn=Gが存在するときGを超可解群と呼ぶ.
群G,Hに対し,Hを部分群に持ちG~/H≃GとなるようなG~が存在したとき,G~をHによるGの拡大と呼ぶ.
G~がHによるGの拡大であり,さらにHがG~の中心に含まれているとき,特に中心拡大と呼ぶ.
群Gとその正規部分群Hおよび,Gの拡大G~を考える.G~からGへの自然な写像πについて,π−1(H)はG~の正規部分群となる.
H~=π−1(H)とおく.π(1G~)=1G∈Hより1G~∈π−1(H)なのでH~は単位元を含む.また任意のg∈H~について,g−1∈π−1(π(g)−1)⊂π−1(H)より逆元も含む.さらに,任意のh1,h2∈H~について,π(h1h2)=π(h1)π(h2)∈Hよりh1h2∈H~なので,H~は群.任意のg∈G~をとると,π(gH~g−1)=π(g)π(H~)π(g−1)=π(g)Hπ(g)−1=Hよって,H~=π−1(H)=π−1(π(gH~g−1))⊃gH~g−1したがって,H~はG~の正規部分群.
群Gが冪零群であることと,Gが{1}から有限回の中心拡大によって得られることは同値である.
群Gが長さ1の降中心列を持つことと1回の中心拡大によって得られることはともにアーベル群であることと同値であるのは明らか.
(Gは冪零群)⟹(Gは有限回の中心拡大により得られる)Gが冪零群だとし降中心列の長さによる帰納法で示す.Gが長さnの降中心列を持つとする.Cn−1(G/Cn−1(G))=Cn−1(G)/Cn−1(G)={1}より,G/Cn−1(G)は長さn−1の降中心列を持つので,帰納法の仮定より有限回の中心拡大によって得られる.さらに,[Cn−1(G),G]={1}なのでCn−1(G)はGの中心に含まれ,G/Cn−1(G)のCn−1(G)による中心拡大Gは有限回の中心拡大によって得られることが分かる.
(Gは有限回の中心拡大により得られる)⟹(Gは冪零群)拡大回数による帰納法で示す.Gがn回の中心拡大により得られるとする.GがAによるG/Aの中心拡大によって得られ,またG/Aはn−1回の中心拡大により得られるものとする.このとき,帰納法の仮定よりG/AはあるmによりCm(G/A)={1}と表せる.よってCm(G)⊂Aであり,Cm+1(G)⊂C1(A)={1}となるためGは冪零群である.
超可解群の有限群による中心拡大は超可解群である.
群G~が超可解群GのAによる中心拡大だとする.ここで任意のGi/Gi−1が巡回群になり,さらに任意のGiがGの正規部分群となるような正規列{1}=G0◃G1◃⋯◃Gn=Gをとると,G~i=π−1(Gi)とおいて,命題1より,A=G~0◃G~1◃⋯◃G~n=G~が得られ,任意のG~iはG~の正規部分群である.ここでAはG~の中心なのでアーベル群であり,有限アーベル群の構造定理より,A≃Z/a1Z×⋯×Z/amZとできる.よって,A⊃Ai≃Z/a1Z×⋯×Z/aiZをとれば,正規列{1}=A0◃⋯◃Am=G~0◃G~1◃⋯◃G~n=G~が得られ,AはG~の中心に含まれるから各AiはG~の正規部分群である.さらに,Ai/Ai−1≃Z/aiZなのでAi/Ai−1は巡回群であり,第三同型定理よりG~i/G~i−1≃Gi/Gi−1だから,G~i/G~i−1も巡回群である.したがって,G~は超可解群である.
有限冪零群は超可解群である.
Gが有限冪零群だとする.すると命題2より,Gは有限回の有限群による中心拡大によって得られ,したがって命題3を繰り返し用いるとGは超可解群であることが分かる.
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。