移送 (群論)

数学の群論の分野における（群の）移送（いそう、）は、与えられた群  とその指数有限部分群  に対し、 から  のアーベル化への群準同型を定義する。

シローの定理とともに用いて有限単純群の存在性に関するある種の数的な結果を得るために利用できる。

移送の概念を定義したのは  であり、  において再発見された。

構成 
写像は以下の通り構成される:
指数  とし、 の  による左剰余類の を具体的に  と書けば  は非交和である。固定した  に対して、各  は適当な剰余類  に入るから、 の形になる。この  の移送準同型による像は、 を  の交換子部分群として、積  と定義される。ここで  はアーベルであるから、積の順序は問わないことに注意。

さて、個々の  は代表元のとり方に依存するが、移送の値は代表元のとり方に依存しないことが直截的に示せる。このように定めた写像が準同型となることも直截的にわかる。

例 
 アーベル群  に対して、移送準同型は  の各元  を冪  に写す。
 簡単な例は平方剰余に関するガウスの補題に見られる。それは事実上、素数  を法とするとその部分群  に関する移送を計算するものである。このような視点から見ると、（例えば  が  で割り切れる場合における立方剰余に対して）正しい一般化の方法を見つけるのが容易になるという利点がある。

ホモロジー的解釈 
群コホモロジー（厳密に言えば、群ホモロジー）論の文脈では、より抽象的な形でこの移送準同型写像が定義される。代数的位相幾何学においても、移送は群の分類空間の間で定義される。

交換子部分群 
 が有限生成ならば  の交換子部分群  は  において有限な指数を持ち、 に関する移送は自明（すなわち  全体が  のアーベル化における  へ写る）である。この事実は類体論におけるの証明において重要である。  See the Emil Artin-John Tate Class Field Theory notes.

関連項目 
 : 重要な応用
 : アルティン相互律により代数体の拡大におけるイデアル類の単項化を記述する

注

注釈

出典

参考文献 
 
 
 
 

群論
数学に関する記事