、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ
*フワシ。 [#u0338919]

#contents

*ヘュクツタクタョ・「。シ・ル・キイ [#x770e092]

#divid(s,thorem)
[トオチ]シォヘウ・「。シ・ル・キイ、ォ、鬢ホチエシヘス猗アキソシフチ、ホツクコ゚、ケ、キイ、''ヘュクツタクタョ・「。シ・ル・キイ''、ネクニ、ヨ。」
#divid(e,thorem)

#divid(s,notice)
[ハ荵ヨ]ヘュクツ・「。シ・ル・キイ、マ。「、ス、ホーフソ、ネニア、クウャソ、サ、トシォヘウ・「。シ・ル・キイ、ォ、鬘「エヒワ・ル・ッ・ネ・、ヒ、「、ソ、ヘラチヌ、ウニクオ、ヒツミア、オ、サ、、ウ、ネ、ヒ、隍遙「チエシヘス猗アキソシフチ、コ、、ウ、ネ、ャ、ヌ、ュ、、ホ、ヌ。「ヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、。」。。。
#divid(e,notice)

#divid(s,thorem)
[トヘ][[シォヘウ・「。シ・ル・キイ]]、ホ[[ノハャキイ]]、マ。「ヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]。ハウャソ、ヒ、ト、、、ニ、ホソウリナェオ「ヌシヒ。、ヌセレフタ、ケ、。ヒ

ウャソ1、ホシォヘウ・「。シ・ル・キイ、マZ、ス、ホ、筅ホ、ヌ、「、遙「、ス、ホノハャキイ、マス茣キイ、ヌ、「、、ウ、ネ、マ、、ォ、テ、ニ、、、、ホ、ヌ。「トヘ、ホシ酘・、マタオ、キ、、。」

ウャソn-1ーハイシ、ホシォヘウ・「。シ・ル・キイ、ヒ、ト、、、ニ。「、ス、ホノハャキイ、マヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、、ネイセト熙ケ、。」

G、ウャソn、ホシォヘウ・「。シ・ル・キイ。「H、、ス、ホノハャキイ、ネ、ケ、。」

チエシヘス猗アキソシフチ&mimetex("f:G \to \mathbb{Z}");、&mimetex("f(a_1,\cdots,a_{n-1},a_n)=a_n");、ネトオチ、ケ、、ミ。「ーハイシ、ホKer(f)、マウャソn-1、ホシォヘウ・「。シ・ル・キイ、ヌ、「、。」

&mimetex("K=Ker(f)={(a_1,\cdots,a_{n-1},0) | a_1, \cdots, a_{n-1} \in \mathbb{Z}}");

、ス、ウ、ヌ。「H'=K「チH、ネ、ェ、ッ。」~
、ケ、、ネ。「H'、マウャソn-1、ホシォヘウ・「。シ・ル・キイK、ホノハャキイ、ヌ、「、。」~
イセト熙隍遙「H'、マヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、。」~
、隍テ、ニ。「ナャナ、ハウャソ、ホシォヘウ・「。シ・ル・キイF、ォ、鮹エシヘス猗アキソシフチg。ァF「ェH'、ャ、「、。」

ーハ。「{f(x)|x「コH}、マ。「&mimetex("\mathbb{Z} (= Im f)");、ホノハャキイ、ハ、ホ、ヌ。「シォチウソ、゙、ソ、マ0、ホd、ヘム、、、ニ。「&mimetex("d \mathbb{Z}");、ネノス、オ、、。」

、ス、ウ、ヌ。「f(hSUB{0};)=d、ヒ、ソ、ケhSUB{0};「コH、、メ、ネ、トチェ、、ヌクヌト熙ケ、。」

、ウ、、鬢ヘム、、、ニ。「シォヘウ・「。シ・ル・キイF。゚Z、ォ、飃、リ、ホ[[ス猗アキソシフチ]]&mimetex("\widetilde{g}");、&mimetex("\widetilde{g}(x,y) = g(x) + y h_0");、ネトオチ、ケ、。」

h「コH、ヌ、ーユ、ヒチェ、、タ、ネ、ュ。「f(h)=dm、ヌ、「、テ、ソ、ネ、ケ、、ミ。「h-mhSUB{0};「コH、マf(h-mhSUB{0};)=0、ハ、ホ、ヌ。「h-mhSUB{0};「コH'、ヌ、「、。」

g、マチエシヘス猗アキソシフチ、ハ、ホ、ヌ。「g(xSUB{0};)=h-mhSUB{0};、ヒ、ソ、ケxSUB{0};「コF、ャツクコ゚、ケ、。」

&mimetex("\widetilde{g}(x_0,m)");、マシ。、ホ、隍ヲ、ヒキラササ、ヌ、ュ、。」

&mimetex("\widetilde{g}(x_0,m)");~
&mimetex("=g(x_0)+mh_0");。。。ハ「&mimetex("\widetilde{g}(x,y) = g(x) + y h_0");。ヒ~
&mimetex("=h-mh_0+mh_0");。。。ハ「鑒(xSUB{0};)=h-mhSUB{0};。ヒ~
&mimetex("=h");

、隍テ、ニ。「&mimetex("\widetilde{g}:F \times \mathbb{Z} \to H");、マチエシヘス猗アキソシフチ、ヌ、「、。」

、讀ィ、ヒ。「H、マヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、。」。。「「
#divid(e,proof)

*ヘュクツタクタョ・「。シ・ル・キイ、ホエヒワケスツ、 [#n8033b68]

#divid(s,thorem)
[トヘ]。ハヘュクツタクタョ・「。シ・ル・キイ、ホケスツ、トヘ。ヒ~
ヘュクツタクタョ・「。シ・ル・キイ、マ[[ス茣キイ]]、ホ[[トセタム]]、ヌ、「、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]ウャソr、ホシォヘウ・「。シ・ル・キイF、ォ、鯱ュクツタクタョ・「。シ・ル・キイG、リ、ホチエシヘス猗アキソシフチ、コ、、ネ。「、ス、ホウヒ、マ&mimetex("d_1 \mathbb{Z} \times \cdots \times d_s \mathbb{Z} ,(s \le r)");、ネノス、オ、、。」

、ス、ウ、ヌ。「r-sクト、ホ&mimetex("0 \mathbb{Z}");、ハ荀テ、ニ&mimetex("H=d_1 \mathbb{Z} \times \cdots \times d_s \mathbb{Z} \times 0 \mathbb{Z} \times \cdots \times 0 \mathbb{Z}");、コ、、ウ、ネ、ヒ、ケ、。」

、ケ、、ネ。「F/H、マシ。、ホ、隍ヲ、ヒキラササ、ヌ、ュ、。」

&mimetex("F/H");~
&mimetex("\simeq (\mathbb{Z} \times \cdots \times \mathbb{Z}) / (d_1 \mathbb{Z} \times \cdots \times d_s \mathbb{Z} \times 0 \mathbb{Z} \times \cdots \times 0 \mathbb{Z})");。。。ハ「錻,H、ホトオチ。ヒ~
&mimetex("\simeq (\mathbb{Z}/d_1 \mathbb{Z}) \times \cdots \times (\mathbb{Z}/d_s \mathbb{Z}) \times (\mathbb{Z}/0 \mathbb{Z}) \times \cdots \times (\mathbb{Z}/0 \mathbb{Z})");。。。ハ「鐚トヘ]。ヨGSUB{1};,GSUB{2};。ァキイ。「HSUB{1};,HSUB{2};。ァ、ス、、セ、、ホタオオャノハャキイ、ネ、ケ、。」&mimetex("H_1 \times H_2");、マ&mimetex("G_1 \times G_2");、ホタオオャノハャキイ、ヌ、「、遙「シ。、ャタョ、ホゥ、ト。」&mimetex("(G_1 \times G_2) / (H_1 \times H_2) \simeq (G_1/H_1)\times(G_2/H_2)");。ラ。ヒ~
&mimetex("\simeq (\mathbb{Z}/d_1 \mathbb{Z}) \times \cdots \times (\mathbb{Z}/d_s \mathbb{Z}) \times \mathbb{Z} \times \cdots \times \mathbb{Z}");。。。ハ「&mimetex("\mathbb{Z}/0\mathbb{Z} = \mathbb{Z}");。ヒ。。「「
#divid(e,proof)

#divid(s,thorem)
[キマ]。ハヘュクツ・「。シ・ル・キイ、ホケスツ、トヘ。ヒ~
ヘュクツ・「。シ・ル・キイ、マチヌソ、ル、ューフソ、ホス茣キイ、ホトセタム、ヌ、「、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]r-s。0、ヌ、マフオクツスクケ遉ヒ、ハ、、ホ、ヌ。「ヘュクツ・「。シ・ル・キイ、ホセケ遑「s=r、ヌ、「、。」

ウニ&mimetex("\mathbb{Z}/d_i\mathbb{Z}");、マdSUB{i};、ホチヌーソハャイ、ヒスセ、、。「ク゚、、、ヒチヌ、ハーフソ、ホス茣キイ、ホトセタム、ヒハャイ、ヌ、ュ、。」

、隍テ、ニ。「チエツホ、ネ、キ、ニチヌソ、ル、ューフソ、ホス茣キイ、ホトセタム、ヒ、ハ、。」
#divid(e,proof)

#divid(s,notice)
[ホ緇&mimetex("(\mathbb{Z} / 8 \mathbb{Z})^{*} = \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}");。。。
#divid(e,notice)

*サイケヘハクク・ [#j7e1abeb]

-。リアヘムツ蠢ウリニフ遑ル