- 620 名前：Kummer ◆g2BU0D6YN2 [2007/02/08(木) 20:53:56 ]
- 補題
p を素数とし、n ≧ 1 を有理整数とする。
２次体 Q(√m) において p は分解しないとする(>>106)。
このとき
|(Z[ω]/(p^n)Z[ω])^*| = p^(2n) - p^(2n - 2)
である。
証明
p は分解しないから pZ[ω] = P はQ(√m) の素イデアルである。
よって (p^n)Z[ω] = P^n で N(P) = p^2 である。
よって >>616 から
|(Z[ω]/(p^n)Z[ω])^*| = |(Z[ω]/P^n)^*| = p^(2n) - p^(2n - 2)
である。
証明終
