5次以上の交代群の非可解性について
5次以上の交代群が非可解であることは、5次以上の多項式に「解の公式」が存在しないという有名な定理の鍵となる命題の一つである。証明は群論の教科書なら大抵は載っているので特筆することは無いのだが、桂利行の『代数学I』を読んでいてちょっと気になる記載がありフォローしてみた。
前知識
群の交換子全体をと書く。このときが可解であるとは、適当なが存在してが一元群となることをいう。可解でないとき非可解と呼ぶ。
以下は人に依って定義が違うので注意して欲しい。次対称群における積は写像の合成で定める。即ちに対しで定める。置換は、をに、それ以外のをに写すとする。対称群の元は互換(元の置換)の積で表され、偶数個か奇数個かは表示に依らないことは良く知られた事実である。偶数個のとき偶置換と呼び、その全体を交代群と言いで表す。示すのは次の二つである。
命題1 のときはの置換によって生成される。
命題2 のときが成り立つ。故に非可解である。
ここで注意して欲しいのは命題のという条件である。これが無ければ(色々定義が違うので修正は必要だが)教科書通りの証明で良い。が条件の形で書き直せることを示しても良い*1が、せっかくなので敢えて直接計算を試みた。
命題1の証明
まずに対しである。一応右辺を書き下すと、文字の並びがijk→jik→jkiと変化するので正しい。この全体をと置く。あとは互換の積がの元で表されることを示せば良い。互換の積はパターンに分類できる。それはだが、一番目は(適当に一つ拾ってくる)なのでで生成されている。二番目はとして良いが、のときと一致し、のときと一致するので正しい。
次の表は文字列1234に対し元置換の積を施した結果を表している。
3124 | 4321 | 2431 | 2412 | |
3412 | 4132 | 2143 | 3241 | |
1342 | 3412 | 4213 | 4321 | |
2143 | 2314 | 3412 | 1423 |
三番目はまでは仮定できる。後は場合分けであるが、適当にやっても分からないので上の表を用いる。
- のとき、ijklにを施すとjilkとなる。つまり2143に対応するので表から探すとがある。故にが分かる。
- のときも同様にしてを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
従って確かにの元で生成されることが分かる。
命題2の証明
の元に対し、の元による交換子の形で書けることを示せば良い。と異なるを取る。
次の表は文字列12345に対し元置換の交換子を施した結果を表している。スペースの都合上をで表している。結果は手計算なので余り信頼し過ぎないように。プログラム組んでも良かったかも。
32415 | 14235 | 53241 | 43215 | 41325 | 21543 | 21435 | 21543 | 21435 | ||
42351 | 54321 | 13425 | 43215 | 21435 | 31245 | 43215 | 21354 | |||
52143 | 54321 | 53241 | 13542 | 51423 | 53241 | 31245 | ||||
52431 | 42351 | 12534 | 21435 | 23145 | 32154 | |||||
52431 | 51342 | 21543 | 12453 | 53124 | ||||||
32154 | 21354 | 51324 | 15324 | |||||||
15432 | 13254 | 13254 | ||||||||
15432 | 15432 | |||||||||
13254 | ||||||||||
後はほぼ先ほどと同じようにできる。
- のとき、lmijkにを施すとlmjkiになる。つまり12453が対応する。表から探すとを得る。故にが分かる。
- のとき、同様に14352が対応する。しかしこれは表にない。でも逆元を調べると15324であり、こちらはを得る。交換子の逆元は成分をひっくり返せば求まるからを得る。結局が分かる。
- のときはを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
- のときはを得る。
従って、確かにの元の交換子で書けることが分かる。
参考文献
[1] 桂利行. 代数学I 群と環. 東京大学出版会. 2004.
*1:明らかに効率が違う。