記号の意味は>>760と同じとする。 各 i において K の元 t_i で ν_p_i(t_i) = 1 となるものをとる。
>>762から K の元 x で ν_p_i(x - (t_i)^(n_i)) ＞ n_i, i = 1, ..., r となり、 p_1, ..., p_r と異なる極大イデアル p に関して ν_p(x) ≧ 0 となるものが存在する。 >>765より、ν_p_i(x) = n_i だから、この x が求めるものである。 証明終
767 名前：9208 ◆lJJjsLsZzw [2006/01/19(木) 14:33:21 ]
命題 A を半局所環(極大イデアルが有限個しかない環)でDedekind整域(>>601) とする。A は単項イデアル整域である。
証明 p_1, ..., p_r を A の相異なる極大イデアルの全体とする。 I を A の非零イデアルとする。 各 i において IA_p_i = (p_i)^(n_i)A_p_i とする。 A の元 x で ν_p_i(x) = n_i, i = 1, ..., r となるものが存在する。 各 i において IA_p_i = xA_p_i だから、>>692 より I = xA である (>>692 を使わなくても I と xA のそれぞれの素イデアルの積による 分解を考えれば明らか)。 証明終
768 名前：9208 ◆lJJjsLsZzw [2006/01/19(木) 15:27:51 ]
命題 A をDedekind整域(>>601)とし、I をその非零イデアルとする。 x ≠ 0 を I の任意の元とする。 I = (x, y) となる y ≠ 0 が存在する。
証明 I = (p_1)^(n_1)...(p_r)^(n_r) を I の素イデアル分解とする。 ここで、p_1, ..., p_r は A の相異なる(非零)素イデアルである。 xA ⊂ I だから、xA = IJ となるイデアル J が存在する (J = (xA)I^(-1) とすればよい).
>>730は代数多様体について離散付値の役割を述べたが、 これは既約かつ被約で正規な分離的ネータースキームでそのまま 成立つ。特に A をネーター整閉整域として Spec(A) で成立つ。
このような見方は代数体の整数論でも有効である。 この見方からすると、Dedekind整域 A の極大イデアル p は、 A が定める幾何的対象、つまり Spec(A) の点であり、 A の商体 K の元 f は Spec(A) の有理関数と見なされる。 p が定める離散付値をν_pとすると、ν_p(f) は、f の p における 零点または極の位数を表すと考えられる。
命題 A をDedekind整域とし、I, J をその非零イデアルとする (I = J であってもよい)。 J と素なイデアル、つまり J + L = A となるイデアル L で IL が単項イデアルとなるものが存在する。
証明 I = (p_1)^(n_1)...(p_r)^(n_r) を I の素イデアル分解とする。 ここで、p_1, ..., p_r は A の相異なる(非零)素イデアルである。 J の素イデアル分解に現れる(非零)素イデアルで p_1, ..., p_r 以外 のものを q_1, ..., q_s とする。
>>742より、 各 i において ν_p_i(y) = n_i 各 j において ν_q_j(y) = 0 となる y ∈ A が存在する。 yA ⊂ I だから yA = IL となるイデアル L が存在する y の取り方から J と L は共通の素イデアル因子を持たない。 よって、J + L = A である。 証明終
786 名前：9208 ◆lJJjsLsZzw [2006/01/23(月) 11:40:02 ]
補題 A を整域とし、S をその積閉部分集合(前スレの63)で 0 を 含まないものとする。S による A の局所化 A_S が体なら A_S は A の商体 K と一致する。
証明 x を K の任意の元とする。x = a/b とかける。 ここに、a と b ≠ 0 は A の元である。 仮定より、1/b ∈ A_S である。よって x = a/b ∈ A_S である。 よって、K ⊂ A_S である。A_S ⊂ K は明らかだから A_S = K である。 証明終
787 名前：9208 ◆lJJjsLsZzw [2006/01/23(月) 11:42:46 ]
命題 A をDedekind整域とし、S をその積閉部分集合(前スレの63)で 0 を 含まないものとする。S による A の局所化 A_S が A の商体 K と 一致しないとする。 このとき、A_S はDedekind整域である。
証明 >>584 より A_S は整閉整域である。 A はネーターだから A_S もネーターである。
前スレの81より、Spec(A_S) は T(S) = {p∈Spec(A); p ∩ S = 空集合} と同一視される。よって、A_S の 非零素イデアルは極大である。 つまり、dim(A_S) ≦ 1 となる。
命題 A をDedekind整域とし、I, J をその非零イデアルとする (I = J であってもよい)。 J と素なイデアル、つまり J + L = A となるイデアル L で IL が単項イデアルとなるものが存在する。
証明(Van der Waredenの教科書より) >>793 から I = IJ + yA となる y ≠ 0 が存在する。 yA ⊂ I だから、yA = IL となる A の非零イデアル L がある。 I = IJ + yA = IJ + IL = I(J + L) よって J + L = A である。 証明終
命題 A, B を環とする。 C = A x B を A と B の直積とする。 Q(C), Q(A), Q(B) をそれぞれ C, A, B の全商環とする。 >>806 より Q(C) = Q(A) x Q(B) である。 Q(C) の元 z = (x, y), x ∈ Q(A), y ∈ Q(B) が C 上整(前スレの506) であるためには x と y がそれぞれ A, B 上整であることが 必要十分である。
証明 簡単なので読者にまかす。
808 名前：9208 ◆lJJjsLsZzw [2006/01/25(水) 09:47:35 ]
命題 A, B を環とする。 C = A x B を A と B の直積とする。 Q(C), Q(A), Q(B) をそれぞれ C, A, B の全商環とする。 C が Q(C) において整閉であるためには、A, B がそれぞれ Q(A), Q(B) において整閉であることが必要十分である。
命題 A を１次元のネーター局所環とし、 m をその極大イデアルとする。 m の元がすべて A の零因子ではないとする。 A がその全商環 B において整閉なら A は離散付値環である。
証明 a を m の非零因子とする。 p を A の素イデアルで a ∈ p とする。 p が A が極小素イデアルとすると p ∈ Ass(A) である(前スレの146) から a は A の零因子となって(前スレの180)矛盾。 仮定より dim(A) = 1 だから p = m である。 よって Supp(A/aA) = {m} となる。 Ass(A/aA) ⊂ Supp(A/aA) だから(前スレの99)、 Ass(A/aA) = {m} となる。 よって、b ∈ A で b ≠ 0 (mod aA), mb ⊂ aA となるものがある。 よって m(b/a) ⊂ A となる。 ここで b/a ∈ B である。 b ≠ 0 (mod aA) だから b/a は A に含まれない。 m(b/a) = m と仮定する。>>551 の証明と同様にして b/a が A 上整となって矛盾。よって >>553 の証明と同様に m(A:m) = A である。 >>361 より Pic(A) = 0 である。つまり m は A-加群として A に同型。よって m は単項である。 m は非零因子を含むから >>568 よりA は離散付値環である。 証明終
811 名前：9208 ◆lJJjsLsZzw [2006/01/25(水) 11:17:20 ]
補題 A を環とする。 I, J を A の分数イデアル(>>707)とする。 IJ, I + J, I ∩ J も分数イデアルである。
補題 A をネーター局所環で、m をその極大イデアルとする。 m が可逆(>>430)なら A は離散付値環である。
証明 今までに同じような証明を何度もしたから明らかだが念のために 証明する。
>>509 より m は A-加群として階数１(>>253)の射影加群である。 >>>361 より Pic(A) = 0 だから m は A-加群として A に同型。よって m は単項である。m は A に同型だから m の生成元はべき零では有り得ない。 よって >>568 より A は離散付値環である。 証明終
818 名前：9208 ◆lJJjsLsZzw [2006/01/25(水) 16:06:31 ]
補題 A を 次元１のネーター環で、B をその全商環(>>362)とする。 A は B において整閉とする。 A の非退化(>>431)な極大イデアルは可逆(>>430)である。
命題 A を次元１のネーター環で、B をその全商環(>>362)とする。 A は B において整閉とする。 A の非退化(>>431)なイデアルは可逆(>>430)である。
証明 I を A の非退化なイデアルとする。 >>814 より I は、非退化な極大イデアルの有限個の積に分解される。 >>818 より A の非退化な極大イデアルは可逆である。 よって I は可逆イデアルの有限個の積だから可逆である。 証明終
822 名前：9208 ◆lJJjsLsZzw [2006/01/25(水) 16:39:27 ]
命題 A を次元１のネーター環で、B をその全商環(>>362)とする。 A は B において整閉とする。 A の分数イデアル(>>707)は可逆(>>430)である。
証明 M を A の分数イデアルとする。 定義(>>707) より A の非零因子 s で sM ⊂ A となるものがある。 M は非退化だから >>434 より A の非零因子 t で t ∈ M となるもの がある。よって st ∈ sM となり sM は非退化である。 よって >>821 より sM は可逆である。 M = (sM)(1/s)A であり、(1/s)A は可逆だから M も可逆である。 証明終
823 名前：9208 ◆lJJjsLsZzw [2006/01/25(水) 16:49:30 ]
命題 A を環とし、その全商環(>>362)を B とする。 B の A-加群としての部分加群 M が可逆(>>430)なら M は A の分数イデアル(>>707)である。
証明 >>501 より M は非退化(>>431)である。 >>504 より M は有限生成である。 よって A の非零因子 s で sM ⊂ A となるものがある。 よって M は分数イデアルである。 証明終
824 名前：9208 ◆lJJjsLsZzw [2006/01/25(水) 16:53:20 ]
命題 A を次元１のネーター環で、B をその全商環(>>362)とする。 A は B において整閉とする。 A の分数イデアル(>>707)と B の A-加群としての可逆(>>430)部分加群 は同じものである。
補題 A を１次元のネーター局所環とし、m をその極大イデアルとする。 a ∈ m が A の非零因子とする。 A/aA は A-加群として長さ有限である。
証明 aA ⊂ p となる A の素イデアルをとる。 ht(m) = 1 だから p ≠ m とすると p は A の極小イデアルである。 よって p ∈ Ass(A) である(前スレの146) から a は A の零因子と なって(前スレの180)矛盾。よって p = m である。 Supp(A/aA) = {m} だから、A/aA は 長さ有限である(前スレの345)。 証明終
命題 A をネーター環とする。 I を A のイデアルで可逆(>>430)とする。 leng(A_p/IA_p) ≠ 0 となる A の高さ１の素イデアル p は 有限個である。
証明 p を A の高さ１の素イデアルとする。 I ⊂ p でないなら IA_p = A_p だから leng(A_p/IA_p) = 0 である。
I ⊂ p とする。 I ⊂ q ⊂ p となる素イデアル q があるとする。 ht(p) = 1 だから q ≠ p とすると q は A の極小イデアルとなり、 >>849 の証明と同様にして I の元がすべて A の零因子となる。 これは I が可逆でありしたがって非退化であるから(>>501) 有り得ない。よって、p は Supp(A/I) の極小元である。 前スレの146より p ∈ Ass(A/I) だから、このような p は有限個である。 証明終
定義 A をネーター環とする。 >>548 より A の可逆分数イデアル群 I(A) の任意の元 M に対して、 I, J ∈ I(A), I ⊂ A, J ⊂ A があり、 M = I/J と表現される。 div(M) = div(I) - div(J) と定義する。 これは、>>857 により I, J の取り方によらない。
