- 498 名前：Kummer ◆g2BU0D6YN2 [2007/01/23(火) 22:34:06 ]
- >>475
Neukirch の「代数的整数論」(日本語訳)の命題(12.6) の証明(p. 79)
がどうも分からない。
a ≡ c (mod p) かつ a ∈ c(a_q/a_p)O_q となる a ∈ O が取れるのは
いいとして、これから ε = a/c が O_p の単数であることが何故言える
のか分からない。c が p に含まれないならそうなるが、そうとは
限らないのではないか？
この命題(12.6)は >>474 の問題の解法において重要であるので、
１週間ほど考えたあげく、今日ようやく証明することが出来た。
この証明は Neukirch の証明(?)よりわかりやすいと思う。
それをこれから述べる。
