移送 (群論)

数学の群論の分野における（群の）移送（いそう、）は、与えられた群 とその指数有限部分群 に対し、 から のアーベル化への群準同型を定義する。
シローの定理とともに用いて有限単純群の存在性に関するある種の数的な結果を得るために利用できる。
移送の概念を定義したのは であり、 において再発見された。
構成.
写像は以下の通り構成される:
指数 とし、 の による左剰余類の を具体的に と書けば formula_1 は非交和である。固定した に対して、各 は適当な剰余類 に入るから、formula_2 の形になる。この の移送準同型による像は、 を の交換子部分群として、積 formula_3 と定義される。ここで はアーベルであるから、積の順序は問わないことに注意。
さて、個々の は代表元のとり方に依存するが、移送の値は代表元のとり方に依存しないことが直截的に示せる。このように定めた写像が準同型となることも直截的にわかる。
ホモロジー的解釈.
群コホモロジー（厳密に言えば、群ホモロジー）論の文脈では、より抽象的な形でこの移送準同型写像が定義される。代数的位相幾何学においても、移送は群の分類空間の間で定義される。
交換子部分群.
 が有限生成ならば の交換子部分群 は において有限な指数を持ち、 に関する移送は自明（すなわち 全体が のアーベル化における へ写る）である。この事実は類体論におけるの証明において重要である。 See the Emil Artin-John Tate "Class Field Theory" notes.