テンソル積
加群のテンソル積 を考えよう。定理は短完全列