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

フワシ。

ネセキイ

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

ホ罍ァ

  • (Z;+)、マ。ハネセキイ、ォ、ト。ヒ・筵ホ・、・ノ
    • a+(b+c)~=~(a+b)+c
    • テアーフクオ0、サ、ト。」
  • (Z;-)、マネセキイ、ヌ、ハ、、
    • a-(b-c)~\not{=}~(a-b)-c
  • (N;+)、マネセキイ、ヌ、「、、ャ。「・筵ホ・、・ノ、ヌ、ハ、、
    • 。ワ、ヒ、ト、、、ニキケ醫ァ、ヒ、ソ、ケ、ャ。「0~\not{\in}~\mathbb{N}、ハ、ホ、ヌテアーフクオ、マツクコ゚、キ、ハ、、。」
  • (N;。゚)、マ。ハネセキイ、ォ、ト。ヒ・筵ホ・、・ノ
    • 。゚、ヒ、ト、、、ニキケ醫ァ、ヒ、ソ、ケ。」
    • テアーフクオ1「コN、サ、ト。」
  • 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;*)、マネセキイ、ヌ、「、。」

キイ

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

[ハ荵ヨ]

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

ホ罍ァ

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

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

ネセキイ。ヲ・筵ホ・、・ノ。ヲキイ、ホエリキク

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

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

キイ、ホーフソ

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

ホ罍ァ

  • Zn={0,1,2,。ト,n-1}、ホーフソ、マ。「n、ヌ、「、。」、隍テ、ニ。「|Z_n|=n

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