加群のテンソル積
数学において、加群のテンソル積 (tensor product of modules) は双線型写像（例えば積）についての議論を線型写像（加群準同型）の言葉でできるようにする構成である。その加群の構成はベクトル空間のテンソル積の構成と類似であるが、可換環上の加群の組に対して実行して第三の加群を得ることができ、また任意の環上の左加群と右加群の組に対しても実行できてアーベル群が得られる。テンソル積は抽象代数学、ホモロジー代数学、代数トポロジー、代数幾何学の分野において重要である。ベクトル空間に関するテンソル積の普遍性は抽象代数学のより一般的な状況に拡張される。それによって線型演算を通じて双線型あるいは多重線型演算を研究することができる。代数と加群のテンソル積はのために使うことができる。可換環の場合には、加群のテンソル積を繰り返して加群のテンソル代数を作ることができ、加群の積を普遍的な方法で定義することができる。
環 "R"、右 "R"-加群 "M"、左 "R"-加群 "N"、アーベル群 "Z" に対して、 から "Z" への双線型写像 (bilinear map) あるいは平衡積 (balanced product) とは関数 であってすべての "m", "m"′ ∈ "M"、"n", "n"′ ∈ "N"、"r" ∈ "R" に対して次の3条件が成り立つものである：最後の性質はベクトル空間に対する定義とわずかに異なる。これは必要である；なぜならば "Z" はアーベル群であるとしか仮定されていないなので は意味をなさない。
双線型写像 "φ", "ψ" に対し演算を に定義すると は双線型写像であり −"φ" も双線型写像である。これは集合 をアーベル群にする。単位元は零写像である。
固定された "M" と "N" に対し、写像 はアーベル群の圏から集合の圏への関手である。射の部分は群準同型 を関数 に写す — これは から へ行く — ことで与えられる。
"M", "N" と "R" を前節のようにする。"R" 上のテンソル積 (tensor product)
は次の意味で普遍的な（上で定義された意味で）双線型写像
をもったアーベル群である：
すべての普遍性のように、上の性質はテンソル積を同型を除いて一意的に定義する：任意の対象と双線型写像で同じ性質をもつものは と ⊗ に同型である。定義は の存在を保証しない。構成は下を見よ。
テンソル積は関手 のとしても定義できる。これは上で与えられた普遍写像性質と同値である。
厳密に言えば、テンソルを作るのに使われる環は示されるべきである：たいていの加群はいくつかの異なる環上のあるいは同じ環でも加群の元への環の作用が異なる加群と見ることができる。例えば、 と は互いに全く異なることを証明できる。しかしながら実際上は環が文脈から明らかなときには環を表す下の添え字は省略されることがある。
有理数 Q と"n" を法とした整数 Z を考えよう。任意のアーベル群のように、両者は整数 Z 上の加群と考えることができる。"B": Q × Z → "M" を Z-双線型演算とする。このとき "B"("q", "k") = "B"("q"/"n", "nk") = "B"("q"/"n", 0) = 0 なのですべての双線型演算は恒等的に 0 である。したがって、formula_6 を自明な加群と定義し formula_7 を零双線型関数とすれば、テンソル積の性質が満たされることがわかる。したがって、Q と Z のテンソル積は {0} である。
アーベル群は Z-加群であり、アーベル群の理論を加群の理論に組み込むことができる。Z-加群のテンソル積はアーベル群のテンソル積 (tensor product of abelian groups) と呼ばれることもある。
"M" ⊗ "N" の構成は "m" ∈ "M" と "n" ∈ "N" に対して記号 "m" ⊗ "n" を基底とする自由アーベル群の次で生成される部分群による商をとる。
の形のすべての元、ただし "m", "m′" ∈ "M", "n", "n′" ∈ "N", "r" ∈ "R"。 ("m", "n") を "m" ⊗ "n" を含む剰余類に写す関数は双線型であり、部分群はこの写像が双線型であるように最小に選ばれている。
"M" と "N" のは滅多に "M" と "N" のテンソル積に同型でない。"R" が可換でないときは、テンソル積は "M" と "N" が反対側の加群であることを要求するが、直積は同じ側の加群であることを要求する。すべての場合において線型かつ双線型な "M" × "N" から "Z" への唯一の関数は零写像である。
一般に、formula_8 はインプットとして右と左 "R"-加群を受け付けアーベル群の圏のテンソル積にそれらを割り当てるである。
右 "R" 加群 "M" を固定することによって関手 formula_9 が生じ、対称的に左 "R" 加群 "N" を固定して関手 formula_10 を作ることができる。Hom双関手 formula_11 とは異なり、テンソル積は両方のインプットで共変である。
"M"⊗- と -⊗"N" はつねに右完全関手であるが左完全とは限らないことを証明できる。定義により、加群 "T" は "T"⊗- が完全関手ならば平坦加群である。
テンソル積が体 "F" 上でとられているならば -⊗- が両方の位置で完全であり、生成集合が "M" と "N" の基底であるとき、formula_12 は確かに "M"⊗ "N" の基底をなすということは正しい。
任意個の空間のテンソル積に定義を一般化することが可能である。例えば、
の普遍性は
上の各三重線型写像は一意的な線型写像
に対応することである。二項テンソル積は結合的である： ("M" ⊗ "M") ⊗ "M" は "M" ⊗ ("M" ⊗ "M") に自然に同型である。三重線型写像の普遍性で定義された 3 つの加群のテンソル積はこれらの繰り返しのテンソル積の両方に同型である。
定義されたテンソル積はアーベル群であるが一般にはただちに "R"-加群の構造をもたない。しかしながら、"M" が ("S", "R")-両側加群であれば、"M"⊗"N" は明らかな演算 "s"("m"⊗"n") = ("sm")⊗"n" を使って左 "S"-加群にすることができる。同様に、"N" が ("R","T")-両側加群であれば、"M"⊗"N" は演算 ("m"⊗"n")"t" = "m"⊗("nt") によって右 "T"-加群である。"M" と "N" がそれぞれ上の両側加群の構造をもっていれば、"M"⊗"N" は ("S", "T")-両側加群である。"R" が可換環の場合にはすべての加群は ("R", "R")-両側加群と考えることができるので、"M"⊗"N" は上述のように "R"-加群にすることができる。可換環 "R" 上のテンソル積の構造において、積演算はちょうど記述されたようにア・ポステリオリに定義することもできるし、はじめから自由 "R"-加群の商を一般の構成に対して上で与えられた元に元 "r" ("m" ⊗ "n") − "m" ⊗ ("r"·"n") あるいは同じことだが元 ("m"·"r") ⊗ "n" − "r" ("m" ⊗ "n") を追加したもので生成された部分加群によってつくることによってもできる。
formula_12 は確かに "M" ⊗ "N" の基底をなす。
"S" と "T" が可換 "R"-代数であれば、"S" ⊗ "T" も可換 "R"-代数になる。積写像は ("m" ⊗ "m") ("n" ⊗ "n") = ("m""n" ⊗ "m""n") によって定義され線型性によって拡張される。この設定において、テンソル積は "R"-代数の圏においてになる。任意の環は "Z"-代数なので、つねに "M" ⊗ "N" をとれることに注意しよう。
"M" が "S-R"-両側加群であれば、テンソル写像 ⊗:"M"×"N"→"M"⊗"N" と協調的な "M"⊗"N" 上一意的な左 "S"-加群構造が存在する。同様に、"N" が "R-S"-両側加群であれば、テンソル写像と協調的な "M"⊗"N" 上の唯一の右 "S"-加群構造が存在する。
"M" と "N" がともに可換環上の "R"-加群であれば、それらのテンソル積は再び "R"-加群である。"R" が環であれば、"M" は左 "R"-加群であり、"R" の任意の 2 つの元 "r" と "s" の交換子
は "M" の零化イデアルに入り、"M" を右 "R" 加群に
とおくことでできる。"R" の "M" への作用は商可換環の作用を通して分解する。この場合 "M" の自分自身との "R" 上のテンソル積は再び "R"-加群である。これは可換代数において非常に一般的なテクニックである。