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