- 426 名前：Kummer ◆g2BU0D6YN2 [2007/01/03(水) 16:00:16 ]
- ２次体 Q(√m) の整環 (>>421) R = [1, fω] のイデアル論について述べる。
このスレの初めのほうで述べた整数環 Z[ω] のイデアル論と同様の部分が
多い。
補題
a, b, c, e, f を有理整数とし、a ＞ 0, c ＞ 0, f ＞ 0 とする
２次体 Q(√m) において
[a, b + cfω] = [a, e + cfω]
であるためには b ≡ e (mod a) が必要十分である。
証明
>>34 の証明と同様。
|
 |
