- 567 名前：208 [2005/10/27(木) 10:26:55 ]
- 定理
有理整数環 Z では素因数分解の一意性が成立つ。
証明。
n > 0 を整数とし、
n = (p_1)^(n_1)...(p_r)^(n_r) = (q_1)^(m_1)...(p_s)^(m_s)
を n の２通りの素因数分解とする。
n = 0 (mod p_1) だから >>566 より q_i = p_1 となる q_i
がある。これと帰納法を使えばよい。
証明終
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef