交換子部分群

数学、特に抽象代数学における群の交換子部分群あるいは導来部分群とは、交換子全体が生成する部分群であるDummitLang。

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

1. 交換子
------

群 //G//}} の元 //x//, //y//}} に対し、//x//}} と //y//}} との交換子とは元

のことである。群の元 //x//}} と //y//}} とが可換である必要十分条件は交換子 [//x//, //y//]}} が単位元 //e//}} と等しいことである。可換とは限らない一般の場合には //xy// =}} //yx//[//x//, //y//]}} が成り立つ。

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

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

反転: [//x//, //y//]sup.
共役: [//x//, //y//]sup.
任意の群準同型 //φ//: //G// → //H//}} に対し //φ// =}} [//φ//, //φ//]}}.
[//xy//, //z//] =}} [//x//, //z//]sup. 同様に [//x//, //yz//] =}} [//x//, //z//] [//x//, //y//]sup.前の二つは //G//}} の交換子全体の成す部分集合が反転と共役に関して閉じていることを示すものである。三つ目の式で //H// =}} //G//}} と取れば、交換子全体の成す部分集合が //G//}} の任意の準同型で閉じていることを示すものとなる。この三つ目は実は二つ目の等式の一般化であり、実際に自己準同型 φ}} として共役変換 //x// ↦ //x////s//}} を取れば二つ目が出る。

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

2. 定義
-----

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

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

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

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

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

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

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

2.1. 導来列
--------

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

と定義する。このとき部分群 //G//}} を n}} 次導来部分群、降

を導来列  と呼ぶ。これと降中心列とを混同してはならない。降中心列の各項は //G////n// :=}} [//G////n//−1, //G//]}} であって、//G// :=}} [//G//, //G//]}} ではない。

有限群の場合には、導来列は完全群  で終わる。無限群の場合、導来群は必ずしも有限項で終わるとは限らず、超限再帰によって無限順序数項まで続けることができて超限導来列  となることもあるが、最終的には群の完全核で終わる。

2.2. アーベル化
----------

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

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

標準的な全射 //π//: //G// → //G//ab}} には有用な圏論的解釈がある。つまり π}} は

群からアーベル群への群準同型に対する普遍性: 任意のアーベル群 //A//}} と群準同型 //φ//: //G// → //A//}} に対し、群準同型 //ψ//: //G//ab → //A//}} で //φ// =}} //ψ// ∘ //π//}} を満たすものが一意的に存在する。を満たす。普遍性からアーベル化 //G//ab}} は自然同型を除いて一意的である。また存在性は具体的な構成 //G// → //G///[//G//, //G//]}} からわかる。このアーベル化函手は、アーベル群の圏から群の圏への包含函手の左随伴である。一方で群の中心はこのような函手性を持たない。

これとは別の、アーベル化 //G//ab}} の重要な解釈は、//G//}} の一次の整数係数ホモロジー群 //H//1}} と見做すことである。

2.3. 関連する群のクラス
--------------

群 //G//}} がアーベル群となる必要十分条件は、導来部分群が自明となることである。これは //G//}} がそのアーベル化と等しいことと言ってもよい。
群 //G//}} が完全群となる必要十分条件は、導来部分群が群全体と等しいことである。これは群のアーベル化が自明となることと言ってもよい。これは上記のアーベル群の場合と「逆」になっている。
適当な //n// ∈ N}} に対して、//n//}} 次導来部分群が //G// =}} mset となるような群は可解群と呼ばれる。//n// =}} 1}} のときはアーベル群であるから、可解群はアーベル群の性質を拡張した概念と考えることができる。 任意の //n// ∈ N}} に対して、//n//}} 次導来部分群が//G// ≠ mset となる群は非可解群と言う。
適当な順序数α}} に対して //G// =}} mset となるような群は完全根基  と言う。これは可解であることよりも弱い。

3. 例
----

四次交代群 //A//4}} の交換子部分群はクラインの四元群である。
対称群 //S////n//}} の交換子部分群は交代群 //A////n//}} である。
一般線形群 //GL//sub の交換子部分群は特殊線形群 //SL//sub である。
四元数群 の交換子部分群は [//Q//, //Q//] =}} mset である。
弧状連結位相空間 //X//}} の基本群 π}}1}} の交換子部分群は、整係数一次特異ホモロジー群 //H//1}} の上への自然な準同型の核である。言い換えると、π}}1}} のアーベル化は //H//1}} に自然に同型である。

3.1. 外部自己同型群からの準同型
------------------

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

が得られる。

4. 脚注
-----

5. 参考文献
-------

6. 関連項目
-------

移送
可解群
冪零群

7. 外部リンク
--------