- 693 名前:Kummer ◆g2BU0D6YN2 [2007/02/15(木) 23:11:18 ]
- >>575 から RI(A)/RP(A) は I(A)/P(A) と標準的に同型である。
よって >>691 から >>547 の別証が得られる。 A が2次体 Q(√m) の整環で B が Q(√m) の主整環の場合には >>654 からも RI(A)/RP(A) と I(A)/P(A) が標準的に同型であることが 分かる。 >>654 の証明は、2次形式の初等的な結果 >>648 を元にしており、 >>575 の証明より古典的である。
|
|