05/11/10 17:13:35
定義
A を可換環、 M を A-加群とする。
T^n(M) を M の n 重のテンソル積 M(x)...(x)M とする。
T^p(M) (x) T^q(M) は T^(p+q)(M) と同一視出来るから、
２重線形写像 f_(p,q): T^p(M) × T^q(M) → T^(p+q)(M) が
f_(p,q)(x, y) = x(x)y により得られる。
T^0(M) = A と定義して直和 T(M) = ΣT^p(M) を考える。
T(M) は f_(p,q) により成分毎の積を定義することにより、
可換とは限らない A-代数となる。
これを A-加群 M 上のテンソル代数と呼ぶ。