抽象的な定義と一般の環上の加群のテンソル積

実際にはテンソル積は基底に依らずに(若干抽象的に)定義するのほうが現代的である。 近頃は wikipedia にも定義はあるので興味のある人は参照のこと。

$K$ のところを一般の環に置き換えれば、加群のテンソル積を定義するのは さほど難しくない。(ただし、その挙動はかなり体上の話とは異なる。)