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

#contents

*3シ。、ホツミセホキイ [#k280d3f8]

。。3シ。、ホツミセホキイSSUB{3};、マシ。、ホ6クト、ホクオ、サ、ト。」

-&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 1 & 2 & 3 \\ \end{matrix}\right) = \( 1 \)");
-&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 1 & 3 & 2 \\ \end{matrix}\right) = \( 2 \; 3 \)");
-&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 2 & 1 & 3 \\ \end{matrix}\right) = \( 1 \; 2 \)");
-&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 2 & 3 & 1 \\ \end{matrix}\right) = \( 1 \; 2 \; 3 \)");
-&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{matrix}\right) = \( 1 \; 3 \; 2 \)");
-&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 3 & 2 & 1 \\ \end{matrix}\right) = \( 1 \; 3 \)");

。。、ト、゙、遙「&mimetex("\{ \( 1 \) , \, \( 1 \; 2 \) , \, \( 1 \; 3 \) , \, \( 2 \; 3 \) , \, \( 1 \; 2 \; 3 \) , \, \( 1 \; 3 \; 2 \) \}");

**3シ。、ホツミセホキイ、ホキイノス [#u28a7ab0]

-e=(1)
-a=(2 3)
-b=(1 2)
-c=(1 3)
-d=(1 2 3)
-f=(1 3 2)

。。、ウ、ホ、ネ、ュ。「SSUB{3};、ホキイノス、マシ。、ホトフ、熙ヌ、「、。」

||e|a|b|c|d|f|
|e|e|a|b|c|d|f|
|a|a|e|d|f|b|c|
|b|b|f|e|d|c|a|
|c|c|d|f|e|a|b|
|d|d|c|a|b|f|e|
|f|f|b|c|a|e|d|

*3シ。、ホツミセホキイ、ホエヒワナェタュシチ [#o7f519df]

#divid(s,thorem)
[トヘ]3シ。、ホツミセホキイSUB{3};、マ[[・「。シ・ル・キイ]]、ヌ、マ、ハ、、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]SSUB{3};、ホキイノス、サイケヘ、ヒ、ケ、。」

ホ网ィ、ミ。「ab=d。「ba=f、隍遙「ab。稈a、ハ、ホ、ヌ。「、ウ、ホキイノス、マツミセホ、ヌ、マ、ハ、、。」

、讀ィ、ヒ。「SSUB{3};、マ・「。シ・ル・キイ、ヌ、マ、ハ、、。」。。「「
#divid(e,proof)

*3シ。、ホツミセホキイ、ホス茣ノハャキイ [#te59fa79]

#divid(s,thorem)
[トヘ]3シ。、ホツミセホキイSUB{3};、ホス茣ノハャキイ、マ5クト、「、。」
#divid(e,thorem)

#divid(s,proof)
[セレフタ]ス茣ノハャキイ、マ<a>、ネ、、、ヲキチ、ホノハャキイ、ヌ、「、、ォ、鬘ハa、マSSUB{3};、ホクオ。ヒ。「SSUB{3};、ホス茣ノハャキイ、マ。「ーハイシ、ヌ、ケ、ル、ニソヤ、オ、、。」

-<(1)>={(1)}
-<(1 2)>={(1), (1 2)}。。。ハ「(1 2)SUP{2};=(1 2)(1 2)=&mimetex("\left(\begin{matrix} 1 & 2 \\ 2 & 1 \\ \end{matrix}\right) \left(\begin{matrix} 1 & 2 \\ 2 & 1 \\ \end{matrix}\right)");=(1 2)
-<(1 3)>={(1), (1 3)}。。。ハ「(1 2 3)SUP{2};=&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 2 & 3 & 1 \\ \end{matrix}\right) \left(\begin{matrix} 1 & 2 & 3 \\ 2 & 3 & 1 \\ \end{matrix}\right)");=&mimetex("\left(\begin{matrix} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{matrix}\right)");=(1 3 2)
-<(2 3)>={(1), (2 3)}
-<(1 2 3)>={(1), (1 2 3), (1 3 2)}。。「ォ(*)
-<(1 3 2)>={(1), (1 3 2), (1 2 3)}。。「ォ(**)

(*)、ネ(**)、マスクケ遉ネ、キ、ニーテラ、ケ、、ソ、癸「SSUB{3};、ホス茣ノハャキイ、マチエノ、ヌ5クト、ヌ、「、。」。。「「
#divid(e,proof)

。。SSUB{3};、ホクオ、シ。、ホ、隍ヲ、ヒトオチ、ケ、。」

-ヲナ:=(1)
-ヲメ:=(1 2 3)
-ヲメSUP{2};:=(1 3 2)
-ヲチ:=(1 2)
-ヲツ:=(1 3)
-ヲテ:=(2 3)

。。、ウ、ウ、ヌ。「シ。、ホスクケ遉ケヘ、ィ、。」

-A:={ヲナ,ヲメ,ヲメSUP{2};}
-B:={ヲナ,ヲチ}
-C:={ヲナ,ヲツ}
-D:={ヲナ,ヲテ}

。。、ウ、、鬢ホスクケ遉ホエリキク、マシ。、ホトフ、熙ヌ、「、。」

#img(http://security2600.sakura.ne.jp/main2/image4/s3_bubun.png)
#img(,clear)

*3シ。、ホツミセホキイ、ホノハャキイ、ヒ、隍コクセヘセホ爍ヲアヲセヘセホ [#k2fbc2b1]

#divid(s,thorem)
[トヘ]3シ。、ホツミセホキイSUB{3};、ホノハャキイH=<(1 2)>、ヒ、隍コクセヘセホ爍ヲアヲセヘセホ爨マシ。、ホトフ、熙ヌ、「、。」

-コクセヘセホ
--{(1), (1 2)}
--{(2 3), (1 2 3)}
--{(1 3), (1 3 2)}
-アヲセヘセホ
--{(1), (1 2)}
--{(2 3), (1 3 2)}
--{(1 3), (1 2 3)}
#divid(e,thorem)

#divid(s,proof)
[セレフタ](1 2)、マク゚エケ、ヌ、「、、ォ、鬘「2セ隍ケ、、ネテアーフクオ(1)、ヒ、ハ、、ホ、ヌ。「H=<(1 2)>={(1), (1 2)}={e, b}、ネ、ハ、。」

コクセヘセホ爨チエノキラササ、ケ、、ネ。「シ。、ホ、隍ヲ、ヒ、ハ、。」

-eH={e,b}
-aH={a,ab}={a,d}
-bH={b,bSUP{2};}={b,e}={e,b}
-cH={c,cb}={c,f}
-dH={d,db}={d,a}={a,d}
-fH={f,fb}={f,c}={c,f}

、隍テ、ニ。「コクセヘセホ爨マ{e,b},{a,d},{c,f}、ホ3クト、ヌ、「、。」

ーハ。「アヲセヘセホ爨チエノキラササ、ケ、、ネ。「シ。、ホ、隍ヲ、ヒ、ハ、。」

-He={e, b}
-Ha={a,ba}={a,f}
-Hb={b,bSUP{2};}={b,e}={e,b}
-Hc={c,bc}={c,d}
-Hd={d,bd}={d,c}={c,d}
-Hf={f,bf}={f,a}={a,f}

、隍テ、ニ。「アヲセヘセホ爨マ{e,b},{a,f},{c,d}、ホ3クト、ヌ、「、。」
#divid(e,proof)

#img(http://security2600.sakura.ne.jp/main2/image4/rui.png)
#img(,clear)

。。3シ。、ホツミセホキイSUB{3};、ホセケ遉マ。「コクセヘセホ爨ネアヲセヘセホ爨ャーテラ、キ、ニ、、、ハ、、。」

#divid(s,notice)
[ハ荵ヨ]SSUB{3};、マB、ヒ、隍テ、ニ。「クオ、ホクトソ、ャニア、ク3、ト、ホスクケ遉ヒホ猝フ、オ、、ソ。」~
、ト、゙、遙「シ。、ャタョ、ホゥ、ト。」

SSUB{3};=B+ヲメB+ヲツB={e,b}+{a,d}+{c,f}

B、マノハャキイ、ヌ、「、、ャ。「ヲチB。「ヲツB、マノハャキイ、ヌ、マ、ハ、、。」

、ウ、ホB。「ヲチB。「ヲツB、ハ、ノ、B、ホ''・ウ・サ・テ・ネ''、ネ、、、ヲ。」ニヒワク、ヌ、マ''[[セヘセホ濔]''、ネ、、、ヲ。」
#divid(e,notice)

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

-。リキイマタ、ハ、、ォ、ウ、、ッ、ハ、、。ル