- 654 名前：Kummer ◆g2BU0D6YN2 [2007/02/12(月) 06:58:52 ]
- R = [1, fω] を２次体 Q(√m) の整環とする。
R の正則(>>550)な分数イデアル全体を RI(R) と書いたく(>>572)。
R の正則な単項分数イデアルのなす群を RP(R) と書いた(>>572)。
>>653 を R の導手(>>540) I = fZ[ω] (>>627) に適用すると、
RP(R)/RI(R) は I(R)/P(R) に同型になる。
これは >>575 を R に適用した場合の別証明になっている。
|
 |
