05/11/04 15:20:40
定義
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
>>671 より M は長さ有限である。
M の組成列に現れる剰余加群は、A/p と同型である。
ここで、p は A のある極大イデアル。
M の組成列に現れる極大イデアルを重複度もいれて
p_1, ..., p_r としたとき それらの重複を考慮した積
を M の内容(content)とよび、|M| と書く。
05/11/04 15:20:40
定義
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
>>671 より M は長さ有限である。
M の組成列に現れる剰余加群は、A/p と同型である。
ここで、p は A のある極大イデアル。
M の組成列に現れる極大イデアルを重複度もいれて
p_1, ..., p_r としたとき それらの重複を考慮した積
を M の内容(content)とよび、|M| と書く。