Tor関手

ホモロジー代数において、Tor 関手 (テンプレート:Lang-en-short) はテンソル積の関手の導来関手である。それらは最初一般に代数トポロジーにおいてテンプレート:仮リンクと普遍係数定理を表現するために定義されたテンプレート:Citation needed。

特に R を環とし、R-Mod で左 R-加群の圏を、Mod-R で右 R-加群の圏を表すテンプレート:Efn。R-Mod の加群 B をひとつ選んで固定する。Mod-R の対象 A に対し、T(A) = A⊗_RB とおく。すると T は Mod-R からアーベル群の圏 Ab への右完全関手であるテンプレート:Efn。そして、その左導来関手 L_nT が定義される。

${\mathrm{T}\mathrm{o}\mathrm{r}}_n^R(A,B)=(L_{n}T)(A)$

とおく。すなわち、射影分解

$\cdots ⟶P_2\stackrel{d_2}{⟶}{P}_1\stackrel{d_1}{⟶}{P}_0\stackrel{\epsilon }{⟶}A\to 0$

をとり A の項を取り除き射影分解に B をテンソルして複体

$\cdots ⟶P_2{\otimes }_{R}B\stackrel{d_2\otimes 1}{⟶}{P}_1{\otimes }_{R}B\stackrel{d_1\otimes 1}{⟶}{P}_0{\otimes }_{R}B⟶0$

を得るテンプレート:Efn。そしてこの複体のホモロジーをとる。

性質

• すべての n ≥ 1 に対して、Torテンプレート:Su は Mod-R × R-Mod から Ab への加法的関手である。R が可換である場合には、Mod-R × Mod-R から Mod-R への加法的関手である。

• 導来関手のすべての族に対して正しいように、すべての短完全列 0 → K → L → M → 0 は次の形の長完全列を誘導する。

$\cdots \to {\mathrm{T}\mathrm{o}\mathrm{r}}_2^R(M,B)\to {\mathrm{T}\mathrm{o}\mathrm{r}}_1^R(K,B)\to {\mathrm{T}\mathrm{o}\mathrm{r}}_1^R(L,B)\to {\mathrm{T}\mathrm{o}\mathrm{r}}_1^R(M,B)\to K{\otimes }_{R}B\to L{\otimes }_{R}B\to M{\otimes }_{R}B\to 0.$

• R が可換で r ∈ R が零因子でなければ、

${\mathrm{T}\mathrm{o}\mathrm{r}}_1^R(R/(r),B)=\{b\in B:rb=0\}$

でありテンプレート:Sfn、ここから用語 Tor (すなわち Torsion) が来ている。捩れ部分群参照。

• すべての n ≥ 2 に対して、Torテンプレート:Su(A, B) = 0 であるテンプレート:Sfn。理由：自由アーベル群の部分群は自由アーベル群なので、すべてのアーベル群 A は長さ1の自由分解をもつから。なのでこの重要な特別な場合には、n ≥ 2 の Tor 関手は消える。さらに、 f : A → A で"k 倍写像"を表すと Torテンプレート:Su(Z/kZ, A) = Ker(f) である。

• さらに、すべての自由加群は長さ0の自由分解をもつので、上記の議論から、F が自由 R-加群であれば、すべての n ≥ 1 に対して Torテンプレート:Su(F, B) = 0。

• Tor 関手はテンプレート:仮リンクと任意の直和を保つ。つまり、次のテンプレート:仮リンクが存在する。

${\mathrm{T}\mathrm{o}\mathrm{r}}_n^R(\underset{i}{⨁}{A}_i,\underset{j}{⨁}{B}_j)\simeq \underset{i}{⨁}\underset{j}{⨁}{\mathrm{T}\mathrm{o}\mathrm{r}}_n^R(A_i,B_j).$

• 有限生成アーベル群の分類から、すべての有限生成アーベル群は Z と Z_k のコピーの直和であることを知っている。このことと前の3つから、A が有限生成であるときにはいつでも Torテンプレート:Su(A, B) を計算することができる。

• 加群 M ∈ Mod-R が平坦であることと、Torテンプレート:Su(M, – ) = 0 であることは同値である。このとき、すべての n ≥ 1 に対して Torテンプレート:Su(M, – ) = 0 でさえあるテンプレート:Sfn。実は、Torテンプレート:Su(A, B) を計算するには、射影分解の代わりに A あるいは B の平坦分解を使ってもよいテンプレート:Efn。

参考文献

• テンプレート:Cite book

関連項目

• Ext関手
• 弱大局次元