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

  • トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
*フワシ。 [#b2a8cbb7]

#contents


*ネセキイ [#pa431825]

[トオチ]~
ツ蠢キマ(S;*)、ホア鮟サ*、ャキケ醫ァ、ヒ、ソ、ケ、ネ、ュ。「(S;*)、''ネセキイ''、ネ、、、ヲ。」~
ニテ、ヒテアーフクオ、サ、トネセクオ、''・筵ホ・、・ノ''、ネ、、、ヲ。」

ホ罍ァ

-(Z;+)、マ。ハネセキイ、ォ、ト。ヒ・筵ホ・、・ノ
--&mimetex("a+(b+c) = (a+b)+c");
--テアーフクオ0、サ、ト。」
-(Z;-)、マネセキイ、ヌ、ハ、、
--&mimetex("a-(b-c) \not{=} (a-b)-c");
-(N;+)、マネセキイ、ヌ、「、、ャ。「・筵ホ・、・ノ、ヌ、ハ、、
--。ワ、ヒ、ト、、、ニキケ醫ァ、ヒ、ソ、ケ、ャ。「&mimetex("0 \not{\in} \mathbb{N}");、ハ、ホ、ヌテアーフクオ、マツクコ゚、キ、ハ、、。」
-(N;。゚)、マ。ハネセキイ、ォ、ト。ヒ・筵ホ・、・ノ
--。゚、ヒ、ト、、、ニキケ醫ァ、ヒ、ソ、ケ。」
--テアーフクオ1「コN、サ、ト。」
-&mimetex("A=\{ n| n=3k, k \in \mathbb{N}\}");、ホ、ネ、ュ、ホ(A;。゚)、マネセキイ、ヌ、「、、ャ。「・筵ホ・、・ノ、ヌ、ハ、、。」
--A、マ3、ホヌワソ、ォ、鬢ハ、N、ホノハャスクケ遉ハ、ホ、ヌ。「。゚、ヒ、ト、、、ニキケ醫ァ、ャタョ、ホゥ、ト。」
--テアーフクオe、ャツクコ゚、ケ、、ネイセト熙ケ、。」、ト、゙、遙「「マn「コA、ヒツミ、キ、ニ。「n。゚e=e。゚n=n、ネ、ハ、e「コA、ャツクコ゚、ケ、。」n、マ3、ホヌワソ、ハ、ホ、ヌ。「n=3k(k「コN)、ツ衄、ケ、、ネ。「3k。゚e=e。゚3k=3k、隍遙「e=1、ネ、ハ、。」、キ、ォ、キ。「e=1、マ3、ホヌワソ、ヌ、マ、ハ、、、ホ、ヌ。「A、ヒエ゙、゙、、ハ、、。」フキス筍」、隍テ、ニ。「A、ヒ、マテアーフクオ、マツクコ゚、キ、ハ、、。」

。。ウ邵フ、、ト、ア、ニ、筅ト、ア、ハ、ッ、ニ、箙イフ、ャニア、ク、ヌ、「、ツ蠢キマ(S;*)、マネセキイ、ヌ、「、。」


*キイ [#c28c2d47]

[トオチ]キイ~
カ、ヌ、ハ、、スクケ蹠セ螟ヌトオチ、オ、、ニ、、、2ケ牾鮟サ。ヨ。ヲ。ラ。ハG。゚G「ェG。ヒ、ャ。「、ケ、ル、ニ、ホx,y,z「コG、ヒ、ト、、、ニ。「シ。、ホヒ。ツァ、ヒツュ、ケ、、ネ、ュ。「G、マ''キイ''、ネ、、、、。「(G,。ヲ)、ネノスオュ、オ、、。」~
(G1)&mimetex("(x \cdot y) \cdot z = x \cdot (y \cdot z)");~
(G2)&mimetex("\exist e \, \in \, G \, s.t. \, x \cdot e = e \cdot x = x");~
(G3)&mimetex("\exist x^{-1} \, in \, G s.t. \, x \cdot x^{-1} = x^{-1} \cdot x =e");
(G3)&mimetex("\exist x^{-1} \, \in \, G s.t. \, x \cdot x^{-1} = x^{-1} \cdot x =e");

[ハ荵ヨ]

-(G1)、マア鮟サ、ホキケ醉。ツァ、ノス、ケ。」
-(G2)、ヒ、ェ、ア、e、マ。「G、ホ''テアーフクオ''、ネクニ、ミ、、。」
--、ト、゙、遙「(G2)、マテアーフクオ、ホツクコ゚、ーユフ」、キ、ニ、、、。」
-(G3)、ヒ、ェ、ア、xSUP{-1};、マ。「x、ホ''オユクオ''、ネクニ、ミ、、。」
--、ト、゙、遙「(G3)、マオユクオ、ホツクコ゚、ーユフ」、キ、ニ、、、。」

ホ罍ァ

-Z,Q,R,C、マ、、、コ、、筍ワ、ヒ、ト、、、ニイテヒ。キイ、ネ、ハ、。」
--、ウ、ウ、ヌテアーフクオ、マ0。「x、ホオユクオ、マ-x、ネ、ハ、。」
--、ウ、、鬢ホイテヒ。キイ、マイトエケ、ハ、ホ、ヌ。「イトエケキイ、ヒ、筅ハ、テ、ニ、、、。」


[トオチ]ネセキイ~
G、ャ(G1)、ホ、゚、ヒツュ、ケ、、ネ、ュ。「G、マ''ネセキイ''、ヌ、「、、ネ、、、ヲ。」

[トオチ]・筵ホ・、・ノ~
ネセキイG、ャ(G1)、ヒツュ、ケ、テアーフクオ、サ、ト、ネ、ュ。「G、マ''・筵ホ・、・ノ''、ヌ、「、、ネ、、、ヲ。」

[トオチ]イトエケキイ~
キイG、ャシ。、ホクエケヒ。ツァ~
(G4)&mimetex("x \cdot y = y \cdot x");~
、ヒツュ、ケ、セケ遑「G、マ''イトエケキイ、゙、ソ、マ・「。シ・ル・キイ''、ヌ、「、、ネ、、、ヲ。」


*ネセキイ。ヲ・筵ホ・、・ノ。ヲキイ、ホエリキク [#f0e82d60]

。。キイ、ネ、マ。「キケ醫ァ。「テアーフクオ、ホツクコ゚。「オユクオ、ホツクコ゚、ホ3、ト、ホタュシチ、ヒ、ソ、ケツ蠢キマ、ホ、ウ、ネ、ヌ、「、。」ネセキイ、マキケ醫ァ。「・筵ホ・、・ノ、マキケ醫ァ、ォ、トテアーフクオ、ホツクコ゚、ヒ、ソ、ケツ蠢キマ、ヌ、「、テ、ソ、ホ、ヌ。「・筵ホ・、・ノ、ヒオユクオ、ホツクコ゚、オ、ィ、、、ィ、、ミキイ、ネ、、、ィ、。」ーハセ螟隍遙「シ。、ホエリキク、ャタョ、ホゥ、ト。」

キイ「セ・筵ホ・、・ノ「セネセキイ「セツ蠢キマ


*キイ、ホーフソ [#if971688]

[トオチ]キイ、ホーフソ~
G、ホヘラチヌ、ホソ、''ーフソ。ハorder。ヒ''、ネ、、、、。「|G|、ヌノスオュ、ケ、。」

ホ罍ァ

-ZSUB{n};={0,1,2,。ト,n-1}、ホーフソ、マ。「n、ヌ、「、。」、隍テ、ニ。「&mimetex("|Z_n|=n");


[トオチ]ヘュクツキイ~
G、ホヘラチヌ、ャヘュクツ、ヌ、「、、ネ、ュ。「G、マ''ヘュクツキイ。ハfinite group。ヒ''、ネ、、、ヲ。」