最終更新日時 2011年03月05日 (土) 00時30分38秒
代数的整数論 ＃003 (901-1001)
元スレ： http://science4.2ch.net/test/read.cgi/math/1141019088/901-
ログ元： http://2se.dyndns.org/test/readc.cgi/science4.2ch.net_math_1141019088/901-
ログ元： http://2se.dyndns.org/test/readc.cgi/science4.2ch.net_math_1141019088/901-
901 ：１３２人目の素数さん：2006/11/19(日) 20:17:29
くまくまナハハ
902 ：１３２人目の素数さん：2006/11/19(日) 20:30:18
23
903 ：１３２人目の素数さん：2006/11/19(日) 20:31:08
22
904 ：Kummer ◆g2BU0D6YN2 ：2006/11/19(日) 20:31:17
B = Z[θ]_(P_i) とし m = (P_i)Z[θ]_(P_i)、k = k_i とおく。 B/m^k の元の個数を求めよう。 簡単のために、有限集合 S の濃度を |S| で表す。
B/m は Z[θ]/P_i に同型であり、 Z[θ]/P_i = Z[θ]/(p, g_i(θ)) は (Z/pZ)[X]/(g_i~(X)) に同型である。 ここで g_i~(X) は g_i(X) の係数を mod p で還元した多項式。 g_i(X) の次数を f_i とすると (Z/pZ)[X]/(g_i~(X)) は有限体 Z/pZ の 次数 f_i の拡大体だから p^(f_i) 個の元からなる。
よって、|B/m| = |(Z/pZ)[X]/(g_i~(X))| = p^(f_i) である。
B は離散付値環である(>>840)から m^i/m^(i+1) は B/m と B-加群として同型である(>>896)。 よって |m^i/m^(i+1)| = p^(f_i) である。
B のイデアルの列 B ⊃ m ⊃ ... ⊃ m^k より、 |B/m^k| = (p^(f_i))^k
よって >>894 より |Z[θ]/pZ[θ]| = Π|Z[θ]/(P_i)^(k_i)| = p^(Σ(k_i)(f_i))
この左辺は p^n だから n = Σ(k_i)(f_i) となる。
905 ：１３２人目の素数さん：2006/11/19(日) 20:32:33
22
906 ：１３２人目の素数さん：2006/11/19(日) 20:33:26
23
907 ：１３２人目の素数さん：2006/11/19(日) 20:34:16
22
908 ：１３２人目の素数さん：2006/11/19(日) 20:35:09
21
909 ：１３２人目の素数さん：2006/11/19(日) 20:36:00
20
910 ：１３２人目の素数さん：2006/11/19(日) 20:36:45
19
911 ：１３２人目の素数さん：2006/11/19(日) 20:37:02
>>king 死ね
912 ：１３２人目の素数さん：2006/11/19(日) 20:37:38
17
913 ：１３２人目の素数さん：2006/11/19(日) 20:38:20
16
914 ：１３２人目の素数さん：2006/11/19(日) 20:38:58
15
915 ：１３２人目の素数さん：2006/11/19(日) 20:39:28
14
916 ：１３２人目の素数さん：2006/11/19(日) 20:39:59
13
917 ：Kummer ◆g2BU0D6YN2 ：2006/11/19(日) 20:47:48
他方、>>806 より
Z[θ]/pZ[θ] = (Z/pZ)[X]/(f~(X)) = Π(Z/pZ)[X]/(g_i~(X))^(m_i) (等号は同型を表す)。
(Z/pZ)[X] は単項イデアル整域だから >>896 の補題が使えて >>904 と同様にして |(Z/pZ)[X]/(g_i~(X))^(m_i)| = (p^(f_i))^(m_i) である。 よって、 |Z[θ]/pZ[θ]| = Π|(Z/pZ)[X]/(g_i~(X))^(m_i)| = p^(Σ(m_i)(f_i))
この左辺は p^n だから n = Σ(m_i)(f_i) となる。
>>904 より n = Σ(k_i)(f_i) だから、
Σ(m_i)(f_i) = Σ(k_i)(f_i) である。
>>885 より、ν_i(p) ≧ m_i であるが、 ν_i(p) = k_i であるから k_i ≧ m_i となる。 よって、上記の等式より k_i = m_i である。 つまり、ν_i(p) = m_i である。
918 ：１３２人目の素数さん：2006/11/19(日) 21:00:24
13
919 ：１３２人目の素数さん：2006/11/19(日) 21:01:32
12
920 ：１３２人目の素数さん：2006/11/19(日) 21:02:14
11
921 ：１３２人目の素数さん：2006/11/19(日) 21:03:07
10
922 ：１３２人目の素数さん：2006/11/19(日) 21:04:34
11
923 ：１３２人目の素数さん：2006/11/19(日) 21:05:25
10
924 ：１３２人目の素数さん：2006/11/19(日) 21:05:57
9
925 ：１３２人目の素数さん：2006/11/19(日) 21:06:40
8
926 ：Kummer ◆g2BU0D6YN2 ：2006/11/19(日) 21:06:45
>>917 より任意の有理素数 p の Z[θ] における素因子分解、 または同じことだが素イデアル分解が決定されたことになる。
pZ[θ] = Π(P_i)^(m_i) を素イデアル分解とすると、 m_i ≧ 2 となる i があるのは p が f(X) の判別式を割るときかつ そのときのみである(>>793)。 このような p を Z[θ] において分岐するという。
927 ：Kummer ◆g2BU0D6YN2 ：2006/11/19(日) 21:50:40
２次体 Q(√m) の話に戻る。
>>768 より Q(√m) の整数環 R は Z[ω] = Z + Zω の形を している。 ここで m ≡ 1 (mod 4) なら ω = (1 + √m)/2 であり、 m ≡ 2 (mod 4) または m ≡ 3 (mod 4) なら ω = √m である。
Q(√m)/Q は ２次のGalois拡大であり、そのGalois群は位数２の巡回群である。 その生成元をσとする。σ(√m) = -√m である。 一般に Q(√m) の元αに対して σ(α) をαの共役と呼ぶ。 αの共役をα' と書くことにする。
元αのノルム N(α)を N(α) = αα' で定義する。 元αのトレース Tr(α)を Tr(α) = α + α' で定義する。 αが整数なら N(α) と Tr(α) は有理整数である。
m ≡ 1 (mod 4) なら N(ω) = ((1 + √m)/2)((1 - √m)/2) = (1 - m)/4 Tr(ω) = (1 + √m)/2 + (1 - √m)/2 = 1 よって ω の Q 上のモニックな最小多項式 f(X) は (X - ω)(X - ω') = X^2 - Tr(ω)X + N(ω) = X^2 - X + (1 - m)/4 この判別式 D は D = (ω - ω')^2 = m
m ≡ 2 (mod 4) または m ≡ 3 (mod 4) なら、 ω = √m の Q 上のモニックな最小多項式 f(X) は (X - ω)(X - ω') = X^2 - m この判別式 D は D = (ω - ω')^2 = 4m
928 ：１３２人目の素数さん：2006/11/19(日) 22:00:29
9
929 ：１３２人目の素数さん：2006/11/19(日) 22:01:49
8
930 ：１３２人目の素数さん：2006/11/19(日) 22:02:44
7
931 ：１３２人目の素数さん：2006/11/19(日) 22:03:26
6
932 ：１３２人目の素数さん：2006/11/19(日) 22:04:40
5
933 ：Kummer ◆g2BU0D6YN2 ：2006/11/20(月) 00:01:34
>>917 >この左辺は p^n だから >n = Σ(m_i)(f_i) となる。
これは f(X) ≡ (g_0(X)^(m_0)...(g_(e-1)(X))^(m_(e-1)) (mod p) の両辺の次数を比較すればすぐ出る。
934 ：１３２人目の素数さん：2006/11/20(月) 01:20:29
3
935 ：１３２人目の素数さん：2006/11/20(月) 01:21:20
2
936 ：１３２人目の素数さん：2006/11/20(月) 01:21:56
1
937 ：１３２人目の素数さん：2006/11/20(月) 01:22:27
0
938 ：KingOfUniverse ◆667la1PjK2 ：2006/11/20(月) 06:41:52
talk:>>911 お前が先に死ね。
939 ：１３２人目の素数さん：2006/11/20(月) 09:14:18
kingは神
940 ：Kummer ◆g2BU0D6YN2 ：2006/11/20(月) 09:50:59
>>898 >加群の単射自己準同型についての定理に一般化できる。
そうですね。 A を環、M を A-加群、f を A の元で M-正則(前スレ１の179)とする。 つまり、f の引き起こす A-加群の自己準同型射 M → M が単射とする。 i ≧ 1 を任意の整数とする。 このとき M/fM と (f^i)M/(f^(i+1))M は A-同型になる。 証明も>>896と同じ。
この補題は M-正則列(前スレ２の941)の理論で使われる。 M ⊃ fM ⊃ ... ⊃ (f^i)M ⊃ (f^(i+1))M ⊃ ... は M のフィルターを与える。 このあたりを>>143以降で述べるつもりだったが、中断した。
941 ：１３２人目の素数さん：2006/11/20(月) 10:45:54
fはAの元の掛け算作用と限らず一般のA加群の単射自己準同型で M/ImfとImf^n/Imf^n+1の同型がいえる。 余計な突っ込み、お邪魔しました。
942 ：Kummer ◆g2BU0D6YN2 ：2006/11/20(月) 11:47:01
>fはAの元の掛け算作用と限らず一般のA加群の単射自己準同型で
実質的には同じことなんですけどね。 A を環として、A-加群 M の自己準同型環 Hom(M, M) を R とする。 f を R の元で単射とする。 B = Z[f] を f と R の単位元で生成される R の部分環とする。 M は自然に B-加群となる。 このとき f は M を B-加群とみて M-正則となる。
>余計な突っ込み、お邪魔しました。
とんでもないです。 しかし、この話題でこれ以上はご勘弁をｗ
943 ：１３２人目の素数さん：2006/11/20(月) 11:50:45
おっしゃるとおりです。お邪魔しました。
944 ：１３２人目の素数さん：2006/11/20(月) 17:12:50
-3
945 ：１３２人目の素数さん：2006/11/20(月) 17:28:08
0.02
946 ：１３２人目の素数さん：2006/11/20(月) 19:17:21
すげえ粘着ぶりｗ 俺も大体の経緯は知ってるけど、ちょっと異常でコワスｗｗｗ こういうのがストーカーになったりするんだろうな。。。
947 ：１３２人目の素数さん：2006/11/20(月) 19:28:20
500KB-471KB=29KB
948 ：１３２人目の素数さん：2006/11/20(月) 19:40:16
-5
949 ：１３２人目の素数さん：2006/11/20(月) 20:37:36
>946 > 俺も大体の経緯は知ってるけど だったら何とか出来ないか？ （といってもストーカーみたいな奴じゃ無理か・・・）
950 ：１３２人目の素数さん：2006/11/20(月) 21:59:55
まあ、なくても誰も困らないスレだからどうでもいいけど。
951 ：１３２人目の素数さん：2006/11/21(火) 03:03:03
-8
952 ：Kummer ◆g2BU0D6YN2 ：2006/11/21(火) 09:46:05
>>927 の続き。
p を有理素数として、p の Z[ω] における素因子分解を考える。 ω の Q 上のモニックな最小多項式を f(X) とする。 >>926 より f(X) を mod p で既約多項式に分解すれば p の素因子分解が 得られる。 このため、補題を用意する。
953 ：Kummer ◆g2BU0D6YN2 ：2006/11/21(火) 09:48:16
補題 K を標数が２でない体とする。 f(X) = X^2 + bX + c を K の元を係数にもつ２次の多項式とする。 この判別式を D とする つまり D = b^2 - 4c である。
1) D = 0 のとき f(X) は K において重根をもつ。
2) D ≠ 0 かつ方程式 X^2 = D が K において根をもつとき、 f(X) は K において異なる２根をもつ。
3) D ≠ 0 かつ方程式 X^2 = D が K において根をもたないとき、 f(X) も K において根をもたない。
証明 中学校で習った２次方程式の根の公式より明らか。
954 ：Kummer ◆g2BU0D6YN2 ：2006/11/21(火) 09:49:40
補題
K = Z/2Z = {0, 1} を２元体とする。
f(X) = X^2 + bX + c を K の元を係数にもつ２次の多項式とする。
この判別式を D とする
つまり D = b^2 - 4c = b^2 = b である。
1) D = 0 のとき f(X) は K において重根をもつ。
2) D ≠ 0 かつ c = 0 のとき f(X) は K において異なる２根をもつ。
2) D ≠ 0 かつ c ≠ 0 のとき f(X) は K において根をもたない。
証明 自明である。
955 ：１３２人目の素数さん：2006/11/21(火) 10:56:30
-8
956 ：１３２人目の素数さん：2006/11/21(火) 11:25:26
>950 > まあ、なくても誰も困らないスレだからどうでもいいけど。 それを言うなら、２ちゃんねる自体「なくても誰も困らない」。 それに前にも書いたが、雑音が入ると読み難いんだな。
957 ：Kummer ◆g2BU0D6YN2 ：2006/11/21(火) 11:46:18
>>952 の続き。
ω の Q 上のモニックな最小多項式を f(X) とする。 f(X) の判別式を D とする。
p を奇素数とする。
>>926 と >>953 より
1) p が D の約数 のとき pZ[ω] = P^2 となる。 ここで P は Z[ω] の素イデアルで |Z[ω]/P| = p である。
2) D が p と素で mod p の平方剰余のとき pZ[ω] = (P_0)(P_1) となる。 ここで P_0, P_1 は Z[ω] の相異なる素イデアルで |Z[ω]/P_0| = |Z[ω]/P_0| = p である。
3) D が p と素で mod p の平方非剰余のとき pZ[ω] は素イデアルである。
958 ：Kummer ◆g2BU0D6YN2 ：2006/11/21(火) 11:51:00
次に p = 2 の場合を考える。 >>926 と >>927 と >>954 より
1) 2 が D の約数 のとき 2Z[ω] = P^2 となる。 ここで P は Z[ω] の素イデアルで |Z[ω]/P| = 2 である。
2) D が 2 と素(従って m ≡ 1 (mod 4))で (1 - m)/4 ≡ 0 (mod 2) つまり、m ≡ 1 (mod 8) のとき
2Z[ω] = (P_0)(P_1) となる。 ここで P_0, P_1 は Z[ω] の相異なる素イデアルで |Z[ω]/P_0| = |Z[ω]/P_0| = 2 である。
3) D が 2 と素(従って m ≡ 1 (mod 4))で (1 - m)/4 ≡ 1 (mod 2) つまり、m ≡ 5 (mod 8) のとき 2Z[ω] は素イデアルである。
959 ：Kummer ◆g2BU0D6YN2 ：2006/11/21(火) 12:58:02
>>957 と >>958の 1) より >>748 で述べたことが証明された。
960 ：１３２人目の素数さん：2006/11/21(火) 13:48:23
>>956 ＞それを言うなら、２ちゃんねる自体「なくても誰も困らない」。
世間知らずだな。２ちゃんなくなったら自殺者でるぞｗ
961 ：１３２人目の素数さん：2006/11/21(火) 17:25:26
>>946 なんの話？
962 ：１３２人目の素数さん：2006/11/21(火) 18:07:36
横レスだが、俺は結構このスレが好きだな。 実は俺も学部生でこの領域に興味がある。 特に、岩澤理論やらElliptic Curveやら、そしてその先にある Birch and Swinnerton-Dyerの予想やら。 とりあえず、Ireland & Rosenの数論を読んで基礎を勉強している。 いずれ、Kummerのここでやろうとしてることがわかればいい。
963 ：１３２人目の素数さん：2006/11/21(火) 20:02:31
>>962 今のうちにやめといたほうがいいよ
964 ：１３２人目の素数さん：2006/11/21(火) 21:12:19
>960 > ２ちゃんなくなったら自殺 する奴等って一体如何いう神経構造なんだ？
965 ：１３２人目の素数さん：2006/11/21(火) 21:13:57
>963 > >>962 > 今のうちにやめといたほうがいいよ 専攻したら問題だろうが、趣味でやる分には問題なかろう。
966 ：１３２人目の素数さん：2006/11/21(火) 22:18:30
Birch&Sminnerton-Dyler Conjecture にチャレンジしようと 試みているのなら、趣味の域で止めといたほうが無難だよ。 （Ireland&Rosen をお茶の子サイサイにあげちゃう位の 力量があれば話は別だが）
967 ：β ◆aelgVCJ1hU ：2006/11/21(火) 22:29:58
>>960 ２ｃｈが無くなったら自殺するようなヤツラなら、 ２ｃｈが健在の内に、そのうちに自殺するよ。
968 ：１３２人目の素数さん：2006/11/21(火) 23:10:14
Birch&Sminnerton-Dyler Conjecture
なるほど。確かに止めといたほうが無難そうだなｗ
969 ：１３２人目の素数さん：2006/11/22(水) 00:10:17
>>938 人に死ねとか言うな
970 ：KingOfUniverse ◆667la1PjK2 ：2006/11/22(水) 08:24:34
talk:>>969 お前に何が分かるというのか？
971 ：962：2006/11/22(水) 10:53:23
>>963 >>965 いや、この領域が一番興味あるので多分この領域について卒論を書くと思うよ。
>>966 Ireland&Rosenはお茶の子とは言わなくても、難しいのは確かだけど理解する分には 問題がないです。章の後の問題も全部解くようにしてます。 Ireland&Rosenを半年で問題を終えた後に、 同じGTM出版のProblems in Algebraic Number Theoryを買って代数的数論を 勉強するつもり。ついでに、代数幾何もね。 そしたらこの分野の論文を読むくらいの力量は着いてくるのかと想定しているが。
972 ：Kummer ◆g2BU0D6YN2 ：2006/11/22(水) 12:50:53
>>957 の 1) 2) 3) の各素イデアルの生成元を求めよう。
>>805 がその方法となる。>>805 は 判別式が p で割れないときも そのまま適用できる。
まず 1) の場合を考える。 つまり p が f(X) の判別式 D の約数 のときを調べる。
>>927 より m ≡ 1 (mod 4) のとき ω = (1 + √m)/2 であり、 f(X) = X^2 - X + (1 - m)/4 である。 この判別式 D は m である。 仮定より m ≡ 0 (mod p) だから、 ２次合同方程式 X^2 - X + (1 - m)/4 ≡ 0 (mod p) の根の公式より X^2 - X + (1 - m)/4 ≡ (X - k)^2 (mod p) となる。 ここで k は 2k ≡ 1 (mod p) を満たす整数である。 m ≡ 1 (mod 4) だから k として (1 - m)/2 が取れる。
>>805 より P = (p, ω - k) である。
ω - k = (1 + √m)/2 - (1 - m)/2 = (m + √m)/2 よって、P = (p, (m + √m)/2) である。
P はイデアルだから (m + √m)/2 + (m + √m)/2 = m + √m を含む。 m は p で割れるから m ∈ P である。 よって、√m ∈ P である。よって (p, √m) ⊂ P となる。 一方、ω√m = (m + √m)/2 = ω - k となる。 よって、ω - k ∈ (p, √m) とる。 よって P = (p, √m) である。
973 ：Kummer ◆g2BU0D6YN2 ：2006/11/22(水) 13:27:11
訂正
>>805 >Z[θ]/P_0 は Z/pZ の m_0 次の拡大体である。 >つまり、p^(m_0) 個の元からなる有限体である。
Z[θ]/P_0 は Z/pZ の f_0 次の拡大体である。 つまり、p^(f_0) 個の元からなる有限体である。 ここで、 f_0 は g_0(X) の次数。
974 ：Kummer ◆g2BU0D6YN2 ：2006/11/22(水) 13:58:33
m ≡ 2 (mod 4) または m ≡ 3 (mod 4) なら ω = √m である。 f(X) = X^2 - m である。 この判別式 D は 4m である。
p は奇素数で D を割るから m を割る。 よって f(X) ≡ X^2 (mod p) となる >>805 より P = (p, ω) = (p, √m) である。
975 ：962：2006/11/22(水) 15:31:13
だれかこのスレの前のdat落ちしてる二つのスレを保存した人いる？ Kummerさん記録に残してるのかな？ 最初から読みたいので。
976 ：１３２人目の素数さん：2006/11/22(水) 15:34:13
>>975 http://makimo.to/2ch/ にくちゃんねるも今年で閉鎖になるみたいだけどね～
977 ：１３２人目の素数さん：2006/11/22(水) 16:01:32
＞にくちゃんねるも今年で閉鎖 ソース教えてくれ
978 ：１３２人目の素数さん：2006/11/22(水) 16:07:46
>>977 【●】「にくちゃんねる」休止のお知らせ･･････ 過去ログ倉庫【買うか？】 http://news20.2ch.net/test/read.cgi/news/1164162822/
979 ：１３２人目の素数さん：2006/11/22(水) 16:08:48
このスレもそろそろ終わりなので後で見たい人は保存して おいたほうがいいよ。
980 ：１３２人目の素数さん：2006/11/22(水) 16:11:09
ｔｈｘ
981 ：１３２人目の素数さん：2006/11/23(木) 00:02:33
このスレで終わりにして欲しい
982 ：king 氏ね：2006/11/23(木) 00:09:10
次スレに期待
983 ：Kummer ◆g2BU0D6YN2 ：2006/11/23(木) 07:20:03
>>974 の続きを書いたとしてもこのスレじゃちょっと終わりそうもない。 イデアルの自由アーベル群としての基底の話もするつもりなので。
ということで雑談。 類体論における高木の位置は日本ではもちろん高いけど外国、特に米国 ではそうでもないみたいだね。Artin の方が高いようだ。 そもそも、類体論において高木が決定的なブレークスルーを行ったという 認識があまりない。さすがにHasseは認識しているが。
誰だったか名前は忘れたが高木はWeberの予想を証明したと書いていた。 つまり高木の結果はWeberにより予想されていたと。 それが本当だとすると高木は問題解決者ということになる。 Weberは確かに一般イデアル類群を考えていたが これは虚数乗法との関連で見出されたもの。
高木は、彼の結果は意外だったと書いている。 とても本当のこととは思えなかったので、どこかに間違いがあるはず だと一生懸命探したが見つからなかったと。
984 ：KingOfUniverse ◆667la1PjK2 ：2006/11/23(木) 09:34:26
talk:>>982 お前に何が分かるというのか？
985 ：１３２人目の素数さん：2006/11/23(木) 11:49:12
所でクムメルさんってどう云う立場の人なの？ 本ばかりでなく論文まで読んでるなんて。 論文は大学関係者か、それに繋がりのある人じゃないと手に入らないでしょ。 AMSに入っているとか。 学会には出席したことあるの？ 発表はしなくても聞くだけでも。 もっとも最近の学会発表はトンデモが結構多いけど。
986 ：１３２人目の素数さん：2006/11/23(木) 14:44:48
二百六十九日。
987 ：962：2006/11/23(木) 19:01:10
>>985
こいつは数学に関する知識はあるけど、Latexとか基本的なtypesettingとか 知らないから、多分年を取ったどっかの大学の先生か、趣味で数学をやってる 人かなんかでしょ。
別に大学関係者じゃなくても論文は読めるっしょ。ArXiveとかあるんだから。 AMSなんて大げさだな。
988 ：１３２人目の素数さん：2006/11/23(木) 19:56:16
命題 M を x_1, ..., x_n を基底とする自由アーベル群とする。 N を M の部分群で M/N が有限群となるものとする。 このとき、N は n 次の自由アーベル群で
y_1 = a_(1, 1) x_1 y_2 = a_(2, 1) x_1 + a_(2, 2) x_2 . . y_i = a_(i, 1) x_1 + a_(i, 2) x_2 + ... + a_(i, i) x_i . . y_n = a_(n, 1) x_1 + a_(n, 2) x_2 + ................ + a_(n, n) x_n
の形の基底を持つ。 ここで a_(1, 1)a_(2, 2)...a_(n, n) ≠ 0 である。
証明は後述。
989 ：Kummer ◆g2BU0D6YN2 ：2006/11/23(木) 20:09:55
>>988 の証明 M/N の位数を g とする。 n に関する帰納法を使う。 n = 1 のときは命題の主張は明らか。 よって n ＞ 1 とする。
M から有理整数環の加法群 Z へのアーベル群としての射 φ を φ(b_1 x_1 + b_2 x_2 + ... + b_n x_n) = b_n で定義する。 g x_n ∈ N だから g ∈ φ(N) である。 よって φ(N) = Za となる a ＞ 0 がある。 この a を a_(n, n) とおく。 φ(y_n) = a_(n, n) となる y_n がある。 y_n は y_n = a_(n, 1) x_1 + a_(n, 2) x_2 + ... + a_(n, n) x_n との形に書ける。
z を N の任意の元とする。 φ(z) = a_(n, n)q と書ける。 φ(z - q(y_n)) = 0 だから z - q(y_n) ∈ Z(x_1) + ... + Z(x_(n-1)) ∩ N である。 よって N = Z(x_1) + ... + Z(x_(n-1)) ∩ N + Z(y_n) となる。
ここで L = Z(x_1) + ... + Z(x_(n-1)) とおくと、 L/(L ∩ N) は (L + N)/N と同型で (L + N)/N は M/N の部分群だから 有限群である。
よって、L と L ∩ N に対して帰納法の仮定を適用すればよい。 証明終
990 ：Kummer ◆g2BU0D6YN2 ：2006/11/23(木) 20:52:29
>>989 の補足。
N = Z(x_1) + ... + Z(x_(n-1)) ∩ N + Z(y_n) が Z(x_1) + ... + Z(x_(n-1)) ∩ N と Z(y_n) の直和であることは Z(x_1) + ... + Z(x_(n-1)) ∩ Z(y_n) = 0 から分かる。
したがって帰納法の仮定より y_1, ..., y_ n は Z 上 一次独立となる。
991 ：Kummer ◆g2BU0D6YN2 ：2006/11/23(木) 21:00:36
命題 >>988において M/N の位数は a_(1, 1)a_(2, 2)...a_(n, n) である。
証明 M の任意の元 w = c_1 x_1 + c_2 x_2 + ... + c_n x_n をとる。
c_n = a_(n, n)q_n + r_n, 0 ≦ r_n ＜ a_(n, n) とすると。 w - q_n(y_n) = d_1 x_1 + d_2 x_2 + ... + d_(n-1) x_(n-1) + r_n x_n となる。
これを繰り返して
w - q_1 y_1 - q_2 y_2 - ... - q_n y_n = r_1 x_1 + r_2 x_2 + ... + r_n x_n
ここで 0 ≦ r_i ＜ a_(i, i) である。
r_1 x_1 + r_2 x_2 + ... + r_n x_n ∈ N なら r_1 = r_2 = ... = r_n = 0 となることは y_1, ..., y_n の作り方から分かる。
よって M/N の代表元として r_1 x_1 + r_2 x_2 + ... + r_n x_n の形の元が とれる。 証明終
992 ：king 氏ね：2006/11/23(木) 21:43:51
１０００ならking氏ね
993 ：Kummer ◆g2BU0D6YN2 ：2006/11/23(木) 21:56:11
>>988 の 訂正 >ここで a_(1, 1)a_(2, 2)...a_(n, n) ≠ 0 である。
ここで 各 a_(i, i) ＞ 0 である。
994 ：king 氏ね：2006/11/23(木) 21:57:01
１０００ならking氏ね
995 ：１３２人目の素数さん：2006/11/23(木) 21:57:52
クンマー拡大！
996 ：Kummer ◆g2BU0D6YN2 ：2006/11/23(木) 21:57:54
>>988 の a_(1, 1), ..., a_(n, n) は x_1, ..., x_n と N により 一意に決まる。
例えば a_(n, n) は b_1 x_1 + b_2 x_2 + ... + b_n x_n ∈ N となる最小の 有理整数 b_n ＞ 0 である。 証明は読者に任す。
997 ：１３２人目の素数さん：2006/11/23(木) 21:58:43
次スレたてますた(`･ω･´)
代数的整数論 004 http://science4.2ch.net/test/read.cgi/math/1164286624/
998 ：KingOfUniverse ◆667la1PjK2 ：2006/11/23(木) 21:59:12
talk:>>992,>>994 お前に何が分かるというのか？
999 ：１３２人目の素数さん：2006/11/23(木) 22:02:20
998
1000 ：１３２人目の素数さん：2006/11/23(木) 22:03:27
何かと思ったらkingか。 あぼーんしてたから 一瞬わけわからんかったｗ
1001 ：１００１：Over 1000 Thread
このスレッドは１０００を超えました。 もう書けないので、新しいスレッドを立ててくださいです。。。
