数学、特に抽象代数学における交換子部分群(こうかんしぶぶんぐん、: commutator subgroup)あるいは導来部分群(どうらいぶぶんぐん、: derived subgroup)とは、交換子全体が生成する部分群である[1][2]

交換子部分群はアーベル群となる最小の正規部分群であるという点で重要である。すなわち、商 G/N がアーベル群となる必要十分条件は正規部分群 N が交換子部分群を含むことである。ある意味で交換子部分群はアーベル群との差異を表していて、交換子部分群が大きいほどアーベル群との隔たりが大きいと言える。

交換子編集

G の元 x, y に対し、xy との交換子とは元

 

のことである。(交換子を [x, y] = xyx−1y−1 と定義する流儀もある。)群の元 xy とが可換である(つまり xy = yx が成り立つ)必要十分条件は交換子 [x, y] が単位元 e と等しいことである。可換とは限らない一般の場合には xy = yx[x, y] が成り立つ。

G の元 g が交換子であるとは、適当な元 x, y を取って g = [x, y] と書けることを言う。単位元 e = [e, e] は常に交換子であり、これが唯一の交換子となるための必要十分条件は Gアーベル群であることである。

ここに単純だが有用な交換子恒等式を挙げる。以下 x, y, z は群 G の元とする。

  • 反転: [x, y]−1 = [y, x].
  • 共役: [x, y]z = [xz, yz]. (xz = z−1xz.)
  • 任意の群準同型 φ: GH に対し φ([x, y]) = [φ(x), φ(y)].
  • [xy, z] = [x, z]y [y, z]. 同様に [x, yz] = [x, z] [x, y]z.

前の二つは G の交換子全体の成す部分集合が反転と共役に関して閉じていることを示すものである。三つ目の式で H = G と取れば、交換子全体の成す部分集合が G の任意の準同型で閉じていることを示すものとなる。この三つ目は実は二つ目の等式の一般化であり、実際に自己準同型 φ として共役変換 xxs を取れば二つ目が出る。

しかし交換子二つ以上の積は必ずしも交換子とは限らない。一般的な例として、自由群の元 x, y, z, w に対して交換子の積 [x, y] [z, w] が交換子に書けないことを見ればよい。二つの交換子の積が交換子とならない最小位数の有限群は位数 96 であることが知られており、実はこの性質を持つ位数 96 の群は互いに同型でないものが二種類存在する[3]。一方で、たとえば有限非可換単純群の場合には交換子の積は交換子で表せる——実際にはすべての元が交換子で表せる(Ore予想[4])——ことが知られている。

定義編集

一般に交換子が積で閉じていないことが次の定義に繋がる。群 G の交換子全体が生成する部分群

 

G交換子部分群という。これを導来部分群と呼ぶこともある。交換子部分群を表す記号としては他にも

 

などが慣習的に用いられることがある。交換子の逆元も交換子なので、交換子部分群 [G, G] の任意の元は有限個の交換子の積

 

の形に書くことができる。さらに共役に関しては、

 

が成立するから、交換子部分群は G正規部分群になる。また任意の準同型 φ: GH に対して

 

が成立するから、交換子部分群の準同型写像による像は交換子部分群に含まれる。これにより、交換子部分群を作る操作は群のにおける函手と見ることができる(これについて、いくらかは後述する)。また、さらに G = H と取れば、交換子部分群は G の任意の自己準同型に関して保たれることがわかる。すなわち、交換子部分群 [G, G]G完全特性部分群英語版であり、これは単に正規であるというよりも非常に強い性質である。

交換子部分群は、群 G の元 g を積の形 g = g1 g2gk に書くとき、右辺の積の順番を適当に交換して単位元にすることができるような元 g の全体で生成される部分群として定義することもできる。

導来列編集

導来群を作る操作を繰り返して

 
 

と定義する。このとき部分群 G(n)n 次導来部分群、降正規列英語版

 

導来列 (derived series) と呼ぶ。これと降中心列英語版とを混同してはならない。降中心列の各項は Gn := [Gn−1, G] であって、G(n) := [G(n−1), G(n−1)] ではない。

有限群の場合には、導来列は完全群英語版 (perfect group) で終わる(これは自明な場合も自明でない場合もある)。無限群の場合、導来群は必ずしも有限項で終わるとは限らず、超限再帰によって無限順序数項まで続けることができて超限導来列 (transfinite derived series) となることもあるが、最終的には群の完全核英語版で終わる。

アーベル化編集

G とその正規部分群 N に対し、剰余群 G/Nアーベル群となる必要十分条件は N が交換子部分群 [G, G] を含むことである。

剰余群 G/[G, G] は群 Gアーベル化と呼ばれるアーベル群である。また剰余群としてアーベル化を得ることを、G をアーベル化すると言う[5]G のアーベル化は GabGab と書かれるのが普通である。

標準的な全射 π: GGab には有用な圏論的解釈がある。つまり π

群からアーベル群への群準同型に対する普遍性
任意のアーベル群 A と群準同型 φ: GA に対し、群準同型 ψ: GabAφ = ψπ を満たすものが一意的に存在する。

を満たす。普遍性からアーベル化 Gab自然同型を除いて一意的である。また存在性は具体的な構成 GG/[G, G] からわかる。このアーベル化函手は、アーベル群の圏から群の圏への包含函手の左随伴である。一方で群の中心はこのような函手性を持たない。

これとは別の、アーベル化 Gab の重要な解釈は、G の一次の整数係数ホモロジー群 H1(G, Z) と見做すことである。

関連する群のクラス編集

  • Gアーベル群となる必要十分条件は、導来部分群が自明となること([G, G] = {e})である。これは G がそのアーベル化と等しいことと言ってもよい。
  • G完全群英語版となる必要十分条件は、導来部分群が群全体と等しいこと([G, G] = G)である。これは群のアーベル化が自明となることと言ってもよい。これは上記のアーベル群の場合と「逆」になっている。
  • 適当な nN に対して、n 次導来部分群が G(n) = {e} となるような群は可解群と呼ばれる。n = 1 のときはアーベル群であるから、可解群はアーベル群の性質を拡張した概念と考えることができる。
任意の nN に対して、n 次導来部分群がG(n) ≠ {e} となる群は非可解群と言う。
  • 適当な順序数(無限でもよい)α に対して G(α) = {e} となるような群は超アーベル群英語版 (hypoabelian group) と言う。これは可解であることよりも弱い(α が有限順序数、つまり自然数ならば可解)。

編集

外部自己同型群からの準同型編集

導来部分群は特性部分群ゆえ、G の任意の自己同型はそのアーベル化の自己同型を引き起こす。また、アーベル化はアーベル群ゆえ、内部自己同型は自明に作用する。従って準同型定理から準同型写像

 

が得られる。

脚注編集

[脚注の使い方]
  1. ^ Dummit & Foote 2004.
  2. ^ Lang 2002, p. 20.
  3. ^ Suárez-Alvarez.
  4. ^ Liebeck, M. W.; O'Brien, E. A.; Shalev, A.; Tiep, P. H. (2010). “The Ore conjecture”. J. Eur. Math. Soc. 12: 939–1008. doi:10.4171/JEMS/220. MR2654085. Zbl 1205.20011. 
  5. ^ Fraleigh 1976, p. 108.

参考文献編集

関連項目編集

外部リンク編集