- 761 名前：9208 ◆lJJjsLsZzw [2006/01/19(木) 11:24:34 ]
- 補題
A をDedekind整域(>>601)とする。
p_1, ..., p_r を A の相異なる極大イデアルとし、
x_1, ..., x_r を A の元の列、
n_1, ..., n_r を非負の有理整数の列とする。
A の元 x で ν_p_i(x - x_i) ≧ n_i, i = 1, ..., r となるものが
存在する。ここで、各ν_p_i は p_i で定まる離散付置(>>711)。
証明
中国式剰余定理(前スレの341)より明らか。
|
 |
