、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ

フワシ。

ヘュクツタクタョ・「。シ・ル・キイ

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

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

[トヘ]シォヘウ・「。シ・ル・キイ、ホノハャキイ、マ。「ヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、。」

[セレフタ]。ハウャソ、ヒ、ト、、、ニ、ホソウリナェオ「ヌシヒ。、ヌセレフタ、ケ、。ヒ

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

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

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

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

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}、マ。「\mathbb{Z}~(=~Im~f)、ホノハャキイ、ハ、ホ、ヌ。「シォチウソ、゙、ソ、マ0、ホd、ヘム、、、ニ。「d~\mathbb{Z}、ネノス、オ、、。」

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

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

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

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

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

\widetilde{g}(x_0,m)
=g(x_0)+mh_0。。。ハ「\widetilde{g}(x,y)~=~g(x)~+~y~h_0。ヒ
=h-mh_0+mh_0。。。ハ「鑒(x0)=h-mh0。ヒ
=h

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

、讀ィ、ヒ。「H、マヘュクツタクタョ・「。シ・ル・キイ、ヌ、「、。」。。「「

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

[トヘ]。ハヘュクツタクタョ・「。シ・ル・キイ、ホケスツ、トヘ。ヒ
ヘュクツタクタョ・「。シ・ル・キイ、マス茣キイ、ホトセタム、ヌ、「、。」

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

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

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

F/H
\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、ホトオチ。ヒ
\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})。。。ハ「鐚トヘ]。ヨG1,G2。ァキイ。「H1,H2。ァ、ス、、セ、、ホタオオャノハャキイ、ネ、ケ、。」H_1~\times~H_2、マG_1~\times~G_2、ホタオオャノハャキイ、ヌ、「、遙「シ。、ャタョ、ホゥ、ト。」(G_1~\times~G_2)~/~(H_1~\times~H_2)~\simeq~(G_1/H_1)\times(G_2/H_2)。ラ。ヒ
\simeq~(\mathbb{Z}/d_1~\mathbb{Z})~\times~\cdots~\times~(\mathbb{Z}/d_s~\mathbb{Z})~\times~\mathbb{Z}~\times~\cdots~\times~\mathbb{Z}。。。ハ「\mathbb{Z}/0\mathbb{Z}~=~\mathbb{Z}。ヒ。。「「

[キマ]。ハヘュクツ・「。シ・ル・キイ、ホケスツ、トヘ。ヒ
ヘュクツ・「。シ・ル・キイ、マチヌソ、ル、ューフソ、ホス茣キイ、ホトセタム、ヌ、「、。」

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

ウニ\mathbb{Z}/d_i\mathbb{Z}、マdi、ホチヌーソハャイ、ヒスセ、、。「ク゚、、、ヒチヌ、ハーフソ、ホス茣キイ、ホトセタム、ヒハャイ、ヌ、ュ、。」

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

[ホ緇(\mathbb{Z}~/~8~\mathbb{Z})^{*}~=~\mathbb{Z}/2\mathbb{Z}~\times~\mathbb{Z}/2\mathbb{Z}。。。

サイケヘハクク・

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