• トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • セヲキイ 、リケヤ、ッ。」

*フワシ。 [#pa665271]

#contents

*セヲスクケ遑ハセヘセホ爨ホスクケ遑ヒ [#k61e634a]

。。[[キイ]]G、ホ[[ノハャキイ]]H、ャタオオャ、ヌ、「、、ネ、ュ。「アヲ、ネコク、ホセヘセホ爨マニア、ク、ヒ、ハ、。」、隍テ、ニ。「H、ヒ、隍[[セヘセホ濔]、ホスクケ遑ハ、ト、゙、セヲスクケ遑ヒ、G/H、ヌノス、ケ。」

#divid(s,thorem)
[トオチ]~
H、ャキイG、ホ[[タオオャノハャキイ]]、ヌ、「、、ネ、ュ。「G/H、マキイ、ヒ、ハ、。」~
、ソ、タ、キ。「G/H、ヌ、ホア鮟サ、マ&mimetex("(Hx) \circ (Hy) = Hz");。「、ソ、タ、キ&mimetex("z=x \circ y");、ネトオチ、ケ、[1]。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ][1]ア鮟サ、ホトオチ、ャツナナ、ヌ、「、、ウ、ネ。ハ、ト、゙、遙「ツ衙スクオ、ホチェ、モハ、ヒ、隍テ、ニノヤナヤケ遉ャタク、ク、ハ、、。ヒ

。。&mimetex("x_1,x_2 \in H, \, y_1,y_2 \in Hy");、ネ、キ、ソ、ネ、ュ。「&mimetex("z_1=x_1 \circ y_1, z_2=x_2 \circ y_2");、ネ、キ、ソ、ネ、ュ、ヒ。「&mimetex("Hz_1=Hz_2");、ネ、ハ、、ウ、ネ、シィ、サ、ミ、隍、。ハ2、ト、ホア鮟サキイフ、ャーテラ、ケ、、ウ、ネ、ウホヌァ、ケ、、ミ、隍、。ヒ。」

。。イセト熙隍遙「&mimetex("x_1 \circ x_2^{-1} \in H, \, y_1 \circ y_2^{-1} \in H");、ヌ、「、。」、ウ、ウ、ヌ。「&mimetex("a=x_1 \circ x_2^{-1}, \, b=y_1 \circ y_2^{-1}");、ネ、ェ、ッ。」
。。、ウ、ホ、ネ、ュ。「

&mimetex("z_1 \circ z_2^{-1}");~
&mimetex("= (x_1 \circ y_1) \circ (x_2 \circ y_2)^{-1}");~
&mimetex("= x_1 \circ y_1 \circ y_2^{-1} \circ x_2^{-1}");~
&mimetex("= a \circ x_2 \circ b \circ y_2 \circ y_2^{-1} \circ x_2^{-1}");~
&mimetex("= a \circ (x_2 \circ b \circ x_2^{-1})");。。「ォ(*)

。。ーハ。「H、マタオオャノハャキイ、ヌ、「、遙「b「コH、ハ、ホ、ヌ。「xSUB{2};「コG、ヒツミ、キ、ニ。「&mimetex("x_2 \circ b \circ x_2^{-1} \in H");、ネ、ハ、。」。。「ォ(**)

。。(*)(**)、ォ、トa「コH、隍遙「&mimetex("z_1 \circ z_2^{-1} \in H");、ヌ、「、。」

。。、隍テ、ニ。「&mimetex("Hz_1 = Hz_2");、ヌ、「、。」

[2]ア鮟サ、ャキケ酣ェ、ヌ、「、、ウ、ネ

。。G、ヌ&mimetex("\circ");、ャキケ酣ェ、ヌ、「、、ウ、ネ、ャウホ、ォ、皃鬢、。」

[3]テアーフクオ、ャツクコ゚、ケ、、ウ、ネ

。。&mimetex("He \circ Hx = He \cir x = Hx");、ハ、ノ、ォ、鬘「&mimetex("He");、ャテアーフクオ、ヌ、「、、ウ、ネ、ャ、、ォ、。」

[4]オユクオ、ャツクコ゚、ケ、、ウ、ネ

。。&mimetex("(Hx)^{-1}");、マ&mimetex("Hx^{-1}");、ネ、キ、ニニタ、鬢、。」。。「「
#divid(e,proof)

*セヲキイ [#ba79fead]

#divid(s,thorem)
[トオチ]セヲキイ~
、ウ、ホG/H、''H、ヒ、隍G、ホセヲキイ。ハquotient group。ヒ''、ネ、、、ヲ。」、゙、ソセヘセキイ。ハresidue class group。ヒ。「ーサメキイ。ハfactor group。ヒ、ネ、篋ニ、ヨ[1]。」
#divid(e,thorem)

#divid(s,notice)
ホ1。ァキイ(Z,+)、ヒ、ェ、、、ニ。「H=3Z={3n|n「コZ}、ネ、、、ヲタオオャノハャキイ、ケヘ、ィ、。」

&mimetex("\mathbb{Z}/H=(\{ \{ 3n \}, \{ 3n+1 \}, \{ 3n+2 \} \}, +)=\{ 0, 1, 2 \}");

ア鮟サ。ワ、ホア鮟サノス、マシ。、ホトフ、遙」

|+|0|1|2|
|0|0|1|2|
|1|1|2|0|
|2|2|0|1|

、ウ、、マ&mimetex("\mathbb{Z}_3");、ネニア、ク、ヌ、「、。」

#divid(e,notice)



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

-[1]。リセハイハウリ、ホ、ソ、皃ホツ蠢キマニフ遑ル4セマ。ァキイ。。。3。ァキイ、ォ、鬢ホキイケスタョヒ。。。pp.57-67