代数的整数論 #003
■ このスレッドは過去ログ倉庫に格納されています
01059208 ◆X2Eb5pqWTw
2006/04/04(火) 14:27:21A をフィルター付環(>>91)とし、(A_p)をそのフィルターとする。
M をフィルター付 A-加群(>>95)とし、(M_p)をそのフィルターとする。
N を M の A-部分加群とする。
L = M/N おき、L_p = (M_p + N)/N とおく。
(A_p)(L_q) ⊂ ((A_p)(M_q + N) + N)/N ⊂ (M_(p+q) + N)/N = L_(p+q)
となる。
よって L はフィルター(L_p) によりフィルター付 A-加群となる。
(L_p) を (M_p) により M/N へ誘導されたフィルターという。
■ このスレッドは過去ログ倉庫に格納されています