代数的整数論
■ このスレッドは過去ログ倉庫に格納されています
0861208
2005/11/15(火) 09:28:58A を可換環、 M を A-加群とする。
対角射 Δ: M → M + M を考える。ここで M + M は直和であり、
Δ(x) = (x, x) である。
Δ により、A-代数の射 ΛΔ: ΛM → Λ(M + M) が誘導される。
>>751 より Λ(M + M) = (ΛM)(x)'(ΛM) である。
(ΛM)(x)'(ΛM) は加群としては普通のテンソル積であるから、
ΛΔ により、ΛM は A-余代数となる。
ΛΔ は次数を保つことに注意。
■ このスレッドは過去ログ倉庫に格納されています