可換環論・ホモロジー代数の問題
加群
を考える。 上の 、、 はいずれも有限群である。これらの位数をこの順に組 として求めよ。
この問題で使うもの
- 上の Tor と Ext(説明と入口の問題)
この問題を解けるようになるまで(28 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
と が直和と可換であることを使い、巡回加群どうしの計算に分解しよう。
ヒント 2
の自由分解 から、 は の 倍で消える元全体、 となる。自由加群 が関わる項は である。
ヒント 3
、、 と書ける。あとはそれぞれの位数を計算する。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
と は各変数について有限直和と可換なので、巡回加群どうしの場合に帰着する。
基本の計算. 自由分解 を用いると、任意の 加群 に対して
また は自由(射影的かつ平坦)なので 、。特に
(1) . の成分は寄与しないので
位数は 。
(2) . より
位数は 。
(3) . より
位数は 。
よって答えは 。
別解
加群の公式 、、、 を用いる。
(1) : 非自明な項は と 。位数 。
(2) 。、、( の部分)。位数 。
(3) 。(位数 108)、(位数 32)。位数 。
答え: 。