メインコンテンツへスキップ
見出し画像

（追記有り）＜アーベルの証明③＞５次置換のうち、偶置換を３次巡回置換で表す

    中学でもわかる浪漫数学

    　クリームソーダを飲み終えた森田君は、「それでは再開します」とすぐにホワイトボードの前に立った。一つ一つ確認するように進めていくのが小学５年生の森田君のスタイル。とても丁寧に進めていくので竹村先生の出番はほとんどない。
    　「では先ほどの授業の続きです。以前に６通りある３次置換をすべて互換で表し、偶置換と奇置換に分類しました（本シリーズ (6)）。先ほどは１２０通りある５次置換をすべて互換で表し、偶置換と奇置換に分類しました（本シリーズ (15)）。３次置換や５次置換で対称性を保つ式は、あらゆる置換を作用させても変化しない対称式です。その対称式の集合に、３次置換では X3X_3、５次置換では X5X_5 という差積を添加することによって、対称性を保つ置換を偶置換まで絞り込みました。いわば完全なる対称性（対称式）を、偶置換シンメトリーまで破壊する（崩す）ことができたわけです（本シリーズ (14)）。

    ３次置換（対称式）6 通り↓ ⇐差積X3の添加偶置換シンメトリー3 通り５次置換（対称式） 120 通り↓ ⇐差積X5の添加偶置換シンメトリー60 通り\begin{gather*} {\bf ３次置換（対称式）}\\ 6  通り\\[4pt] \hspace{63pt}\downarrow  \Leftarrow 差積 X_3 の添加\\[6pt] {\bf 偶置換シンメトリー}\\ \hspace{4pt}3  通り \end{gather*} \hspace{15pt} \begin{gather*} {\bf ５次置換（対称式）}\\ \,120  通り\\[4pt] \hspace{63pt}\downarrow  \Leftarrow 差積 X_5 の添加\\[6pt] {\bf 偶置換シンメトリー}\\ \hspace{4pt}60  通り\\[2pt] \end{gather*}

    　次のステップとして、以前先生から次の性質を教えてもらいました。
    　『すべての偶置換は３次巡回置換で表すことができる』
    ３次置換のうち３通りの偶置換は、すべて３次巡回置換で表すことができます（本シリーズ (14)）（注１）。そこでここからは、５次置換のうち６０通りある偶置換も、すべて３次巡回置換で表してみようと思います。３次方程式の解の公式では、対称性を保つ置換を恒等置換にまで絞り込むことによって解の公式が導出できました（本シリーズ (12)、(13)）。その導出過程と同じ経路をたどることで、５次以上の方程式では矛盾が生じ、解の公式が存在すると仮定することでの背理法によって、解の公式が存在しないことが証明できそうです」

    ３次置換（対称式） 6 通り↓ ⇐差積X3の添加偶置換シンメトリー3 通り↓ ⇐Aの添加恒等置換   1 通り↓解の公式が存在する５次方程式に解の公式が存在すると仮定する↓５次置換（対称式） 120 通り↓ ⇐差積X3の添加偶置換シンメトリー60 通り↓ ⇐？の添加⋮矛盾↓解の公式が存在しない（背理法）\begin{gather*} {\bf ３次置換（対称式）}\\ \,6  通り\\[4pt] \hspace{63pt}\downarrow  \Leftarrow 差積 X_3 の添加\\[6pt] {\bf 偶置換シンメトリー}\\ \hspace{4pt}3  通り\\[4pt] \hspace{63pt}\downarrow  \Leftarrow A の添加\\[6pt] {\bf 恒等置換}\\ \,\,\,1  通り\\ \hspace{2pt}\downarrow\\ {\bf 解の公式が存在する}\\[-48pt] \end{gather*} \hspace{0pt} \begin{gather*} {\bf ５次方程式に解の公式}\\ {\bf が存在すると仮定する}\hspace{8pt}\\ \hspace{2pt}\downarrow\\ {\bf ５次置換（対称式）}\\ \,120  通り\\[4pt] \hspace{63pt}\downarrow  \Leftarrow 差積 X_3 の添加\\[6pt] {\bf 偶置換シンメトリー}\\ \hspace{4pt}60  通り\\[4pt] \hspace{63pt}\downarrow  \Leftarrow ？ の添加\\ \hspace{2pt}\vdots\\ {\bf 矛盾}\\ \hspace{2pt}\downarrow\\ {\bf 解の公式が存在しない（背理法）} \end{gather*}

    「なるほど・・・」と竹村は小さくつぶやく。
    　森田君はマーカーを手に取った。
    「では偶置換を３次巡回置換で表すにあたって、まずは２つの公式を提示していきます。

    1. ３次巡回置換を共通の文字を含む互換の積で表す（復習）

    　まずは復習として、次の式を確認します。休憩前、注意３-２『３次巡回置換を互換の積で表す方法』でやりました。

    (x1‾   x2   x3)=(x1‾   x2)(x1‾   x3)\begin{align*} (\underline{x_1}     x_2     x_3)=(\underline{x_1}     x_2)(\underline{x_1}     x_3) \end{align*}

    これは３次巡回置換を、互換の積で表す公式とみることができます。３次巡回置換 (x1   x2   x3)(x_1     x_2     x_3) は、x1x_1 と x2x_2 との互換 (x1   x2)(x_1     x_2) と、x1x_1 と x3x_3 との互換 (x1   x3)(x_1     x_3) の積で表せる、という公式です。最初の文字（下線部）が常に先頭になるよう変換します。なお、互換は前から（左から）作用させると定義したので
    　(x1   x2)(x1   x3)(x_1     x_2)(x_1     x_3)
    は先に (x1   x2)(x_1     x_2) を作用させてから、次に (x1   x3)(x_1     x_3) を作用さます。
    　他に例を上げると

    (x1‾   x3   x4)=(x1‾   x3)(x1‾   x4)(x1‾   x4   x3)=(x1‾   x4)(x1‾   x3)(x2‾   x4   x5)=(x2‾   x4)(x2‾   x5)(x3‾   x5   x4)=(x3‾   x5)(x3‾   x4)\begin{align*} (\underline{x_1}     x_3     x_4)&=(\underline{x_1}     x_3)(\underline{x_1}     x_4)\\ (\underline{x_1}     x_4     x_3)&=(\underline{x_1}     x_4)(\underline{x_1}     x_3)\\ (\underline{x_2}     x_4     x_5)&=(\underline{x_2}     x_4)(\underline{x_2}     x_5)\\ (\underline{x_3}     x_5     x_4)&=(\underline{x_3}     x_5)(\underline{x_3}     x_4)\\ \end{align*}

    先頭にある下線部の文字を、互換の先頭で固定するのがポイントです。
    　これは、記号を使って次のように図式化することが可能です。

    (〇   ♠   ♣)=(〇   ♠)(〇   ♣)\begin{align*} (〇     ♠     ♣)=(〇     ♠)(〇     ♣) \end{align*}

    先頭の〇を固定して、♠との互換、♣との互換と順に並べていきます。
    　この公式を左右逆にすると、共通の文字を含む互換の積を３次巡回置換に変換する公式としてみることもできます。ではそれについてみていきます。

    2. 共通の文字を含む互換の積を３次巡回置換で表す。

    　先ほどの

    (x1‾   x2   x3)=(x1‾   x2)(x1‾   x3)\begin{align*} (\underline{x_1}     x_2     x_3)=(\underline{x_1}     x_2)(\underline{x_1}     x_3) \end{align*}

    について、両辺を逆にしてみます。

    (x1‾   x2)(x1‾   x3)=(x1‾   x2   x3)\begin{align*} (\underline{x_1}     x_2)(\underline{x_1}     x_3)=(\underline{x_1}     x_2     x_3) \end{align*}

    これは、共通の文字を含む互換の積を３次巡回置換に変換する公式としてみることができます。つまり、各々の互換の最初にある x1x_1 を先頭に x2x_2,  x3x_3 と順に並べていきます。これを図式化すると次のように表せます。

    (〇   ♠)(〇   ♣)=(〇   ♠   ♣)　⋯（公式１）\begin{align*} (〇     ♠)(〇     ♣)=(〇     ♠     ♣)　\cdots（公式１） \end{align*}

    つまり〇〇を先頭にして、赤矢印の順に文字を並べていきます。

    画像

    この公式を使った具体例をみていきます。

    (x1‾   x3)(x1‾   x4)=(x1‾   x3   x4)(x1‾   x4)(x1‾   x3)=(x1‾   x4   x3)(x2‾   x4)(x2‾   x5)=(x2‾   x4   x5)(x3‾   x5)(x3‾   x4)=(x3‾   x5   x4)\begin{align*} (\underline{x_1}     x_3)(\underline{x_1}     x_4)&=(\underline{x_1}     x_3     x_4)\\ (\underline{x_1}     x_4)(\underline{x_1}     x_3)&=(\underline{x_1}     x_4     x_3)\\ (\underline{x_2}     x_4)(\underline{x_2}     x_5)&=(\underline{x_2}     x_4     x_5)\\ (\underline{x_3}     x_5)(\underline{x_3}     x_4)&=(\underline{x_3}     x_5     x_4) \end{align*}

    最初の下線部の文字を、３次巡回置換の先頭で固定するのがポイントです。
    　なお (x4   x1)=(x1   x4)(x_4     x_1)=(x_1     x_4) であることから、文字の順番が違っても、並べ替えることによって次のように（公式１）が使えるようになります。

    (x1‾   x3)(x4   x1‾)=(x1‾   x3)(x1‾   x4)=(x1‾   x3   x4)\begin{align*} (\underline{x_1}     x_3)(x_4     \underline{x_1})&=(\underline{x_1}     x_3)(\underline{x_1}     x_4)\\ &=(\underline{x_1}     x_3     x_4) \end{align*}

    　これで、共通の文字を含む互換の積を３次巡回置換で表す方法がわかりました。次は共通の文字の無い、互いに独立した互換の積を３次巡回置換で表す方法を考えます。

    3. 共通の文字を含まない互換の積を３次巡回置換で表す。

    　共通の文字を含まない互換の積とは、例えば次のような式です。

    (x1   x2)(x3   x4)\begin{align*} (x_1     x_2)(x_3     x_4) \end{align*}

    最初の互換 (x1   x2)(x_1     x_2) と次の互換 (x3   x4)(x_3     x_4) には共通の文字がありません。これを３次巡回置換で表すには、間に恒等置換である
    　I=(x2   x3)(x2   x3)I=(x_2     x_3)(x_2     x_3)
    をはさみ、次のようにします。

    (x1   x2)(x3   x4)=(x1   x2) I (x3   x4)=(x1   x2)(x2   x3)(x2   x3)‾恒等置換を間にはさむ(x3   x4)\begin{align*} (x_1     x_2)(x_3     x_4)&=(x_1     x_2)  I  (x_3     x_4)\\ &=(x_1     x_2)\underset{恒等置換を間にはさむ}{\underline{(x_2     x_3)(x_2     x_3)}}(x_3     x_4) \end{align*}

    (x2   x3)(x2   x3)(x_2     x_3)(x_2     x_3) は、x2x_2 と x3x_3 を入れ替えた後、もう一度 x2x_2 と x3x_3 を入れ替えるので、作用させても変化しない恒等置換 II となります。実際、文字列
    　x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5
    に (x2   x3)(x2   x3)(x_2     x_3)(x_2     x_3) を作用させると

    x1    x2    x3    x4    x5⇓　(x2   x3) を作用x1    x3    x2    x4    x5⇓　(x2   x3) を作用x1    x2    x3    x4    x5　←変化しない\begin{align*} x_1       x_2       &x_3       x_4       x_5\\ &\Downarrow　(x_2     x_3)  を作用\\ x_1       x_3       &x_2       x_4       x_5\\ &\Downarrow　(x_2     x_3)  を作用\\ x_1       x_2       &x_3       x_4       x_5　\leftarrow 変化しない \end{align*}

    より何も変化しないので、(x2   x3)(x2   x3)(x_2     x_3)(x_2     x_3) は恒等置換 II です。恒等置換は途中にはさんでも、もとの置換と変化しません。ただしはさみ方として、次のように x2x_2 と x3x_3 がつながるようにはさみ込みます。

    (x1   x2)(x3   x4)=(x1   x2‾)(x2‾   x3)(x2   x3‾‾)(x3‾‾   x4)\begin{align*} (x_1     x_2)(x_3     x_4)=(x_1     \underline{x_2})(\underline{x_2}     x_3)(x_2     \underline{\underline{x_3}})(\underline{\underline{x_3}}     x_4) \end{align*}

    一重線部 x2x_2 と、二重線部 x3x_3 がつながるように恒等置換
    　I=(x2   x3)(x2   x3)I=(x_2     x_3)(x_2     x_3)
    をはさみ込むわけです。次に前２つと、後ろ２つをセットにして、２つの積に分けます。

    (x1   x2)(x3   x4)=(x1   x2)(x2   x3)‾この２つをセット (x2   x3)(x3   x4)‾‾この２つをセット\begin{align*} (x_1     x_2)(x_3     x_4)=\underset{この２つをセット}{\underline{(x_1     x_2)(x_2     x_3)}}\,\underset{この２つをセット}{\underline{\underline{(x_2     x_3)(x_3     x_4)}}} \end{align*}

    次に、前２つの先頭を x2x_2 に、後ろ２つの先頭を x3x_3 でそろえて

    (x1   x2)(x3   x4)=(x2   x1)(x2   x3)‾先頭の文字をそろえる (x3   x2)(x3   x4)‾‾先頭の文字をそろえる\begin{align*} (x_1     x_2)(x_3     x_4)=\underset{先頭の文字をそろえる}{\underline{(x_2     x_1)(x_2     x_3)}}\,\underset{先頭の文字をそろえる}{\underline{\underline{(x_3     x_2)(x_3     x_4)}}} \end{align*}

    ここで、先にやった（公式１）

    画像

    を用いると、最初の互換の積は
    　(x2‾   x1)(x2‾   x3)=(x2‾   x1   x3)(\underline{x_2}     x_1)(\underline{x_2}     x_3)=(\underline{x_2}     x_1     x_3)
    後ろの互換の積は
    　(x3‾   x2)(x3‾   x4)=(x3‾  x2   x4)(\underline{x_3}     x_2)(\underline{x_3}     x_4)=(\underline{x_3}    x_2     x_4)
    とそれぞれ３次巡回置換で表せるので

    (x2   x3)(x2   x3)=(x2   x1   x3)‾公式１利用 (x3   x2   x4)‾‾公式１利用\begin{align*} (x_2     x_3)(x_2     x_3)=\underset{公式１利用}{\underline{(x_2     x_1     x_3)}}\,\underset{公式１利用}{\underline{\underline{(x_3     x_2     x_4)}}} \end{align*}

    さらに、先頭の文字の添え字が最小になるように文字を並べ替えると　
    　(x2   x1‾   x3)=(x1‾   x3   x2)(x_2     \underline{x_1}     x_3)=(\underline{x_1}     x_3     x_2)
    　(x3   x2‾   x4)=(x2‾   x4   x3)(x_3     \underline{x_2}     x_4)=(\underline{x_2}     x_4     x_3)
    となるので

    (x2   x3)(x2   x3)=(x1   x3   x2)‾ (x2   x4   x3)‾‾\begin{align*} (x_2     x_3)(x_2     x_3)=\underline{(x_1     x_3     x_2)}\,\underline{\underline{(x_2     x_4     x_3)}} \end{align*}

    となり、これで完成となります。もう一度まとめますと

    (x1   x2)(x3   x4)=(x1   x2)(x2   x3)(x2   x3)‾恒等置換を間に挟む(x3   x4)=(x1   x2)(x2   x3)‾前の２つをセット (x2   x3)(x3   x4)‾‾後ろの２つをセット=(x2   x1)(x2   x3)‾先頭の文字をそろえる (x3   x2)(x3   x4)‾‾先頭の文字をそろえる=(x2   x1   x3)‾公式１利用 (x3   x2   x4)‾‾公式１利用=(x1   x3   x2)‾並び替え (x2   x4   x3)‾‾並び替え\begin{align*} (x_1     x_2)(x_3     x_4)&=(x_1     x_2)\underset{恒等置換を間に挟む}{\underline{(x_2     x_3)(x_2     x_3)}}(x_3     x_4)\\ &=\underset{前の２つをセット}{\underline{(x_1     x_2)(x_2     x_3)}}\,\underset{後ろの２つをセット}{\underline{\underline{(x_2     x_3)(x_3     x_4)}}}\\ &=\underset{先頭の文字をそろえる}{\underline{(x_2     x_1)(x_2     x_3)}}\,\underset{先頭の文字をそろえる}{\underline{\underline{(x_3     x_2)(x_3     x_4)}}}\\ &=\underset{公式１利用}{\underline{(x_2     x_1     x_3)}}\,\underset{公式１利用}{\underline{\underline{(x_3     x_2     x_4)}}}\\ &=\underset{並び替え}{\underline{(x_1     x_3     x_2)}}\,\underset{並び替え}{\underline{\underline{(x_2     x_4     x_3)}}} \end{align*}

    より

    (x1   x2)(x3   x4)=(x1   x3   x2)(x2   x4   x3)\begin{align*} (x_1     x_2)(x_3     x_4)&=(x_1     x_3     x_2)(x_2     x_4     x_3) \end{align*}

    と、３次巡回置換の積で表すことができました。具体的に等しくなることを確認します。文字列 x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5 に左辺 (x1   x2)(x3   x4)(x_1     x_2)(x_3     x_4) を作用させると

    x1    x2    x3    x4    x5⇓　(x1   x2) を作用x2    x1    x3    x4    x5⇓　(x3   x4) を作用x2    x1    x4    x3    x5   ⋯ (∗1)\begin{align*} x_1       x_2       &x_3       x_4       x_5\\ &\Downarrow　(x_1     x_2)  を作用\\ x_2       x_1       &x_3       x_4       x_5\\ &\Downarrow　(x_3     x_4)  を作用\\ x_2       x_1       &x_4       x_3       x_5     \cdots  (*1) \end{align*}

    一方、右辺 (x1   x3   x2)(x2   x4   x3)(x_1     x_3     x_2)(x_2     x_4     x_3) を作用させると

    x1    x2    x3    x4    x5⇓　(x1   x3   x2) を作用x3    x1    x2    x4    x5⇓　(x2   x4   x3) を作用x2    x1    x4    x3    x5   ⋯ (∗2)\begin{align*} x_1       x_2       &x_3       x_4       x_5\\ &\Downarrow　(x_1     x_3     x_2)  を作用\\ x_3       x_1       &x_2       x_4       x_5\\ &\Downarrow　(x_2     x_4     x_3)  を作用\\ x_2       x_1       &x_4       x_3       x_5     \cdots  (*2) \end{align*}

    より、(∗1)(*1) と (∗2)(*2) は同じ結果となります。この変換

    (x1   x2)(x3   x4)=(x1   x3   x2)(x2   x4   x3)\begin{align*} (x_1     x_2)(x_3     x_4)&=(x_1     x_3     x_2)(x_2     x_4     x_3) \end{align*}

    は、次のような形式で公式化してもいいでしょう。

    (〇   ♠)(△   ♣)=(〇   △   ♠)(♠   ♣   △)　⋯（公式２）\begin{align*} (〇     ♠)(△     ♣)&=(〇     △     ♠)(♠     ♣     △)　\cdots（公式２） \end{align*}

    つまり、赤矢印、青矢印の順に文字を拾っていきます。

    画像

    例を上げますと

    （例）

    (x1   x3)(x4   x5)=(x1   x4   x3)(x3   x5   x4)(x2   x5)(x3   x4)=(x2   x3   x5)(x5   x4   x3)=(x2   x3   x5)(x3   x5   x4)‾\begin{align*} (x_1     x_3)(x_4     x_5)&=(x_1     x_4     x_3)(x_3     x_5     x_4)\\ (x_2     x_5)(x_3     x_4)&=(x_2     x_3     x_5)(x_5     x_4     x_3)\\ &=(x_2     x_3     x_5)\underline{(x_3     x_5     x_4)} \end{align*}

    なお下線部は、先頭の文字の添え字が最小になるように並べ替えています。

    4. ５次置換を偶置換と奇置換に分類（復習）

    　さて休憩前の授業では５次置換すべてを互換の積で表し、偶置換と奇置換に分類しました。偶数個の互換の積が偶置換、奇数個の互換の積が奇置換です。再び確認します。

    (case1)　動かない文字が５つの場合　11 通り　偶置換
    例　恒等置換 I=(x1   x2)(x1   x2)I=(x_1     x_2)(x_1     x_2)
    (case2)　    動かない文字が３つの場合　1010 通り　奇置換
    例　互換 (x1   x2)(x_1     x_2)
    (case3)　動かない文字が２つの場合　2020 通り　偶置換
    例　３次巡回置換 (x1   x2   x3)=(x1   x2)(x1   x3)(x_1     x_2     x_3)=(x_1     x_2)(x_1     x_3)
    　　これは共通の文字が１つある２つの互換の積とみることもできる。
    (case4)　動かない文字が１つの場合
    　(case4-1)     共通の文字のない２つの互換の積　1515 通り　偶置換
    例　(x1   x2)(x3   x4)(x_1     x_2)(x_3     x_4)
    　(case4-2)　    ４次巡回置換　3030 通り　奇置換
    例　(x1   x2   x3   x4)=(x1   x2)(x1   x3)(x1   x4)(x_1     x_2     x_3     x_4)=(x_1     x_2)(x_1     x_3)(x_1     x_4)
    (case5)　動かない文字が０の場合
    　(case5-1)　互いに共通の文字のない、１つの互換と３次巡回置換との積　2020 通り　奇置換
    例　(x1   x2)(x3   x4   x5)=(x1   x2)(x3   x4)(x3   x5)(x_1     x_2)(x_3     x_4     x_5)=(x_1     x_2)(x_3     x_4)(x_3     x_5)
    　(case5-2)　    ５次巡回置換　2424 通り
    例　(x1   x2   x3   x4   x5)=(x1   x2)(x1   x3)(x1   x4)(x1   x5)(x_1     x_2     x_3     x_4     x_5)=(x_1     x_2)(x_1     x_3)(x_1     x_4)(x_1     x_5)　偶置換

    　全部で何通りあるかを確認すると
    　(case1)+(case2)+(case3)+(case4-1)+(case4-2)+(case5-1)+(case5-2)
    ＝1+10+20+15+30+20+24＝1+10+20+15+30+20+24
    =120=120 通り
    となります。そのうち偶置換は
    　(case1)+(case3)+(case4-1)+(case5-2)
    ＝1+20+15+24＝1+20+15+24
    =60=60 通り
    奇置換は
    　(case2)+(case4-2)+(case5-1)
    ＝10+30+20＝10+30+20
    =60=60 通り
    となり、偶置換と奇置換の数はちょうど半分ずつの 6060 通りになります。

    5. 60通りの偶置換を３次巡回置換で表す。

    　ではこの 6060 通り偶置換について、それぞれのケースごとに３次巡回置換、または３次巡回置換の積で表していきます。

    (case1)　動かない文字が５つの場合

    　この場合は何も変化させない恒等置換 II でした。３次巡回置換は同じ置換を３回繰り返せば元に戻るので、例えば

    I=(x1   x2   x3)(x1   x2   x3)(x1   x2   x3)\begin{align*} I=(x_1     x_2     x_3)(x_1     x_2     x_3)(x_1     x_2     x_3) \end{align*}

    と表すことによって、恒等置換を３次巡回置換の積で表すことができます。(x1   x2   x3)(x_1     x_2     x_3) は
    　x1→x2→x3→x1x_1 \rightarrow x_2 \rightarrow x_3 \rightarrow x_1
    と、x1x_1 を x2x_2 に、 x2x_2 を x3x_3 に、x3x_3 を x1x_1 に巡回的に入れ替える置換です。この置換を３回連続作用させると元に戻ります。実際、文字列
    　x1    x2    x3    x4    x5x_1       x_2       x_3       x_4       x_5
    に (x1   x2   x3)(x1   x2   x3)(x1   x2   x3)(x_1     x_2     x_3)(x_1     x_2     x_3)(x_1     x_2     x_3) を作用させると

    x1    x2    x3    x4    x5⇓　(x1   x2   x3) を作用x2    x3    x1    x4    x5⇓　(x1   x2   x3) を作用x3    x1    x2    x4    x5⇓　(x1   x2   x3) を作用x1    x2    x3    x4    x5　⇐変化しない\begin{align*} x_1       x_2       &x_3       x_4       x_5\\ &\Downarrow　(x_1     x_2     x_3)  を作用\\ x_2       x_3       &x_1       x_4       x_5\\ &\Downarrow　(x_1     x_2     x_3)  を作用\\ x_3       x_1       &x_2       x_4       x_5\\ &\Downarrow　(x_1     x_2     x_3)  を作用\\ x_1       x_2       &x_3       x_4       x_5　\Leftarrow 変化しない \end{align*}

    となり、何も変化しません。よって、恒等置換 II は

    I=(x1   x2   x3)(x1   x2   x3)(x1   x2   x3)\begin{align*} I=(x_1     x_2     x_3)(x_1     x_2     x_3)(x_1     x_2     x_3) \end{align*}

    と３次巡回置換の積で表すことができました。

    (case3)　動かない文字が２つの場合

    　この場合は３次巡回置換そのもので、次のように①から⑮の 1515 通りの置換がありました。

    （再掲）

    (x1   〇   〇) 型①    (x1   x2   x3)=(x1   x2)(x1   x3)②    (x1   x2   x4)=(x1   x2)(x1   x4)③    (x1   x2   x5)=(x1   x2)(x1   x5)④    (x1   x3   x2)=(x1   x3)(x1   x2)⑤    (x1   x3   x4)=(x1   x3)(x1   x4)⑥    (x1   x3   x5)=(x1   x3)(x1   x5)⑦    (x1   x4   x2)=(x1   x4)(x1   x2)⑧    (x1   x4   x3)=(x1   x4)(x1   x3)⑨    (x1   x4   x5)=(x1   x4)(x1   x5)⑩    (x1   x5   x2)=(x1   x5)(x1   x2)⑪    (x1   x5   x3)=(x1   x5)(x1   x3)⑫    (x1   x5   x4)=(x1   x5)(x1   x4)(x2   〇   〇) 型⑬    (x2   x3   x4)=(x2   x3)(x2   x4)⑭    (x2   x3   x5)=(x2   x3)(x2   x5)⑮    (x2   x4   x3)=(x2   x4)(x2   x3)⑯    (x2   x4   x5)=(x2   x4)(x2   x5)⑰    (x2   x5   x3)=(x2   x5)(x2   x3)⑱    (x2   x5   x4)=(x2   x5)(x2   x4)(x3   〇   〇) 型⑲    (x3   x4   x5)=(x3   x4)(x3   x5)⑳    (x3   x5   x4)=(x3   x5)(x3   x4)\begin{align*} &(x_1     〇     〇)  型\\ &①       (x_1     x_2     x_3)=(x_1     x_2)(x_1     x_3)\\ &②       (x_1     x_2     x_4)=(x_1     x_2)(x_1     x_4)\\ &③       (x_1     x_2     x_5)=(x_1     x_2)(x_1     x_5)\\ &④       (x_1     x_3     x_2)=(x_1     x_3)(x_1     x_2)\\ &⑤       (x_1     x_3     x_4)=(x_1     x_3)(x_1     x_4)\\ &⑥       (x_1     x_3     x_5)=(x_1     x_3)(x_1     x_5)\\ &⑦       (x_1     x_4     x_2)=(x_1     x_4)(x_1     x_2)\\ &⑧       (x_1     x_4     x_3)=(x_1     x_4)(x_1     x_3)\\ &⑨       (x_1     x_4     x_5)=(x_1     x_4)(x_1     x_5)\\ &⑩       (x_1     x_5     x_2)=(x_1     x_5)(x_1     x_2)\\ &⑪       (x_1     x_5     x_3)=(x_1     x_5)(x_1     x_3)\\ &⑫       (x_1     x_5     x_4)=(x_1     x_5)(x_1     x_4)\\[5pt] &(x_2     〇     〇)  型\\ &⑬       (x_2     x_3     x_4)=(x_2     x_3)(x_2     x_4)\\ &⑭       (x_2     x_3     x_5)=(x_2     x_3)(x_2     x_5)\\ &⑮       (x_2     x_4     x_3)=(x_2     x_4)(x_2     x_3)\\ &⑯       (x_2     x_4     x_5)=(x_2     x_4)(x_2     x_5)\\ &⑰       (x_2     x_5     x_3)=(x_2     x_5)(x_2     x_3)\\ &⑱       (x_2     x_5     x_4)=(x_2     x_5)(x_2     x_4)\\[5pt] &(x_3     〇     〇)  型\\ &⑲       (x_3     x_4     x_5)=(x_3     x_4)(x_3     x_5)\\ &⑳       (x_3     x_5     x_4)=(x_3     x_5)(x_3     x_4) \end{align*}

    すると、このリストを左右逆にすれば、共通の文字のある２つの互換の積を、先にやった（公式１）

    画像

    を用いて３次巡回置換に変換した、とみることができます。

    (x1   〇   〇) 型①    (x1   x2)(x1   x3)=(x1   x2   x3)②    (x1   x2)(x1   x4)=(x1   x2   x4)③    (x1   x2)(x1   x5)=(x1   x2   x5)④    (x1   x3)(x1   x2)=(x1   x3   x2)⑤    (x1   x3)(x1   x4)=(x1   x3   x4)⑥    (x1   x3)(x1   x5)=(x1   x3   x5)⑦    (x1   x4)(x1   x2)=(x1   x4   x2)⑧    (x1   x4)(x1   x3)=(x1   x4   x3)⑨    (x1   x4)(x1   x5)=(x1   x4   x5)⑩    (x1   x5)(x1   x2)=(x1   x5   x2)⑪    (x1   x5)(x1   x3)=(x1   x5   x3)⑫    (x1   x5)(x1   x4)=(x1   x5   x4)(x2   〇   〇) 型⑬    (x2   x3)(x2   x4)=(x2   x3   x4)⑭    (x2   x3)(x2   x5)=(x2   x3   x5)⑮    (x2   x4)(x2   x3)=(x2   x4   x3)⑯    (x2   x4)(x2   x5)=(x2   x4   x5)⑰    (x2   x5)(x2   x3)=(x2   x5   x3)⑱    (x2   x5)(x2   x4)=(x2   x5   x4)(x3   〇   〇) 型⑲    (x3   x4)(x3   x5)=(x3   x4   x5)⑳    (x3   x5)(x3   x4)=(x3   x5   x4)\begin{align*} &(x_1     〇     〇)  型\\ &①       (x_1     x_2)(x_1     x_3)=(x_1     x_2     x_3)\\ &②       (x_1     x_2)(x_1     x_4)=(x_1     x_2     x_4)\\ &③       (x_1     x_2)(x_1     x_5)=(x_1     x_2     x_5)\\ &④       (x_1     x_3)(x_1     x_2)=(x_1     x_3     x_2)\\ &⑤       (x_1     x_3)(x_1     x_4)=(x_1     x_3     x_4)\\ &⑥       (x_1     x_3)(x_1     x_5)=(x_1     x_3     x_5)\\ &⑦       (x_1     x_4)(x_1     x_2)=(x_1     x_4     x_2)\\ &⑧       (x_1     x_4)(x_1     x_3)=(x_1     x_4     x_3)\\ &⑨       (x_1     x_4)(x_1     x_5)=(x_1     x_4     x_5)\\ &⑩       (x_1     x_5)(x_1     x_2)=(x_1     x_5     x_2)\\ &⑪       (x_1     x_5)(x_1     x_3)=(x_1     x_5     x_3)\\ &⑫       (x_1     x_5)(x_1     x_4)=(x_1     x_5     x_4)\\[5pt] &(x_2     〇     〇)  型\\ &⑬       (x_2     x_3)(x_2     x_4)=(x_2     x_3     x_4)\\ &⑭       (x_2     x_3)(x_2     x_5)=(x_2     x_3     x_5)\\ &⑮       (x_2     x_4)(x_2     x_3)=(x_2     x_4     x_3)\\ &⑯       (x_2     x_4)(x_2     x_5)=(x_2     x_4     x_5)\\ &⑰       (x_2     x_5)(x_2     x_3)=(x_2     x_5     x_3)\\ &⑱       (x_2     x_5)(x_2     x_4)=(x_2     x_5     x_4)\\[5pt] &(x_3     〇     〇)  型\\ &⑲       (x_3     x_4)(x_3     x_5)=(x_3     x_4     x_5)\\ &⑳       (x_3     x_5)(x_3     x_4)=(x_3     x_5     x_4) \end{align*}

    これで (case3) のすべての互換の積を、３次巡回置換で表すことができました。

    (case4)　動かない文字が１つの場合

    (case4-1)
    　この場合は共通の文字のない２つの互換の積で、次のように①から⑮の 1515 通りの置換がありました。

    （再掲）

    (x1   x2)(〇   △) 型①    (x1   x2)(x3   x4)②    (x1   x2)(x3   x5)③    (x1   x2)(x4   x5)(x1   x3)(〇   △) 型④    (x1   x3)(x2   x4)⑤    (x1   x3)(x2   x5)⑥    (x1   x3)(x4   x5)(x1   x4)(〇   △) 型⑦    (x1   x4)(x2   x3)⑧    (x1   x4)(x2   x5)⑨    (x1   x4)(x3   x5)(x1   x5)(〇   △) 型⑩    (x1   x5)(x2   x3)⑪    (x1   x5)(x2   x4)⑫    (x1   x5)(x3   x4)(x2   x3)(〇   △) 型⑬    (x2   x3)(x4   x5)(x2   x4)(〇   △) 型⑭    (x2   x4)(x3   x5)(x2   x5)(〇   △) 型⑮    (x2   x5)(x3   x4)\begin{align*} &(x_1     x_2)(〇     △)  型\\ &①       (x_1     x_2)(x_3     x_4)\\ &②       (x_1     x_2)(x_3     x_5)\\ &③       (x_1     x_2)(x_4     x_5)\\[5pt] &(x_1     x_3)(〇     △)  型\\ &④       (x_1     x_3)(x_2     x_4)\\ &⑤       (x_1     x_3)(x_2     x_5)\\ &⑥       (x_1     x_3)(x_4     x_5)\\[5pt] &(x_1     x_4)(〇     △)  型\\ &⑦       (x_1     x_4)(x_2     x_3)\\ &⑧       (x_1     x_4)(x_2     x_5)\\ &⑨       (x_1     x_4)(x_3     x_5)\\[5pt] &(x_1     x_5)(〇     △)  型\\ &⑩       (x_1     x_5)(x_2     x_3)\\ &⑪       (x_1     x_5)(x_2     x_4)\\ &⑫       (x_1     x_5)(x_3     x_4)\\[5pt] &(x_2     x_3)(〇     △)  型\\ &⑬       (x_2     x_3)(x_4     x_5)\\[5pt] &(x_2     x_4)(〇     △)  型\\ &⑭       (x_2     x_4)(x_3     x_5)\\[5pt] &(x_2     x_5)(〇     △)  型\\ &⑮       (x_2     x_5)(x_3     x_4) \end{align*}

    なお、これらは共通の文字の無い互いに独立な互換の積なので、順番を入れ替えても同じものとなります。
    （例）①について
    　(x1   x2)(x3   x4)=(x3   x4)(x1   x2)(x_1     x_2)(x_3     x_4)=(x_3     x_4)(x_1     x_2)

    これらは、先にやった（公式２）

    画像

    を用いれば、すべて３次巡回置換で表すことができます。すでにやりましたが、①に関して具体的にやってみると

    (x1   x2)(x3   x4)=(x1   x2)(x2   x3)(x2   x3)‾恒等置換を間に挟む(x3   x4)=(x1   x2)(x2   x3)‾前の２つをセット (x2   x3)(x3   x4)‾‾後ろの２つをセット=(x2   x1)(x2   x3)‾先頭の文字をそろえる (x3   x2)(x3   x4)‾‾先頭の文字をそろえる=(x2   x1   x3)‾公式１利用 (x3   x2   x4)‾‾公式１利用=(x1   x3   x2)‾並び替え (x2   x4   x3)‾‾並び替え\begin{align*} (x_1     x_2)(x_3     x_4)&=(x_1     x_2)\underset{恒等置換を間に挟む}{\underline{(x_2     x_3)(x_2     x_3)}}(x_3     x_4)\\ &=\underset{前の２つをセット}{\underline{(x_1     x_2)(x_2     x_3)}}\,\underset{後ろの２つをセット}{\underline{\underline{(x_2     x_3)(x_3     x_4)}}}\\ &=\underset{先頭の文字をそろえる}{\underline{(x_2     x_1)(x_2     x_3)}}\,\underset{先頭の文字をそろえる}{\underline{\underline{(x_3     x_2)(x_3     x_4)}}}\\ &=\underset{公式１利用}{\underline{(x_2     x_1     x_3)}}\,\underset{公式１利用}{\underline{\underline{(x_3     x_2     x_4)}}}\\ &=\underset{並び替え}{\underline{(x_1     x_3     x_2)}}\,\underset{並び替え}{\underline{\underline{(x_2     x_4     x_3)}}} \end{align*}

    と恒等置換をはさみ込む方法です。この変換を 1515 通りのすべての置換に実行すると、次のようになります。結果は先頭の文字の添え字の数が、最も小さくなるように整理しています。

    (x1   x2)(〇   △) 型①    (x1   x2)(x3   x4)=(x1   x3   x2)(x2   x4   x3)②    (x1   x2)(x3   x5)=(x1   x3   x2)(x2   x5   x3)③    (x1   x2)(x4   x5)=(x1   x4   x2)(x2   x5   x4)(x1   x3)(〇   △) 型④    (x1   x3)(x2   x4)=(x1   x2   x3)(x3   x4   x2)⑤    (x1   x3)(x2   x5)=(x1   x2   x3)(x3   x5   x2)⑥    (x1   x3)(x4   x5)=(x1   x4   x3)(x3   x5   x4)(x1   x4)(〇   △) 型⑦    (x1   x4)(x2   x3)=(x1   x2   x4)(x4   x3   x2)=(x1   x2   x4)(x2   x4   x3)⑧    (x1   x4)(x2   x5)=(x1   x2   x4)(x4   x5   x2)=(x1   x2   x4)(x2   x4   x5)⑨    (x1   x4)(x3   x5)=(x1   x3   x4)(x4   x5   x3)=(x1   x3   x4)(x3   x4   x5)(x1   x5)(〇   △) 型⑩    (x1   x5)(x2   x3)=(x1   x2   x5)(x5   x3   x2)=(x1   x2   x5)(x2   x5   x3)⑪    (x1   x5)(x2   x4)=(x1   x2   x5)(x5   x4   x2)=(x1   x2   x5)(x2   x5   x4)⑫    (x1   x5)(x3   x4)=(x1   x3   x5)(x5   x4   x3)=(x1   x3   x5)(x3   x5   x4)(x2   x3)(〇   △) 型⑬    (x2   x3)(x4   x5)=(x2   x4   x3)(x3   x5   x4)(x2   x4)(〇   △) 型⑭    (x2   x4)(x3   x5)=(x2   x3   x4)(x4   x5   x3)=(x2   x3   x5)(x3   x4   x5)(x2   x5)(〇   △) 型⑮    (x2   x5)(x3   x4)=(x2   x3   x5)(x5   x4   x3)=(x2   x3   x5)(x3   x5   x4)\begin{alignat*}{2} &(x_1     x_2)(〇     △)  型\\ &①       (x_1     x_2)(x_3     x_4) & &=(x_1     x_3     x_2)(x_2     x_4     x_3)\\ &②       (x_1     x_2)(x_3     x_5) & &=(x_1     x_3     x_2)(x_2     x_5     x_3)\\ &③       (x_1     x_2)(x_4     x_5) & &=(x_1     x_4     x_2)(x_2     x_5     x_4)\\[5pt] &(x_1     x_3)(〇     △)  型\\ &④       (x_1     x_3)(x_2     x_4) & &=(x_1     x_2     x_3)(x_3     x_4     x_2)\\ &⑤       (x_1     x_3)(x_2     x_5) & &=(x_1     x_2     x_3)(x_3     x_5     x_2)\\ &⑥       (x_1     x_3)(x_4     x_5) & &=(x_1     x_4     x_3)(x_3     x_5     x_4)\\[5pt] &(x_1     x_4)(〇     △)  型\\ &⑦       (x_1     x_4)(x_2     x_3) & &=(x_1     x_2     x_4)(x_4     x_3     x_2)\\ & & &=(x_1     x_2     x_4)(x_2     x_4     x_3)\\ &⑧       (x_1     x_4)(x_2     x_5) & &=(x_1     x_2     x_4)(x_4     x_5     x_2)\\ & & &=(x_1     x_2     x_4)(x_2     x_4     x_5)\\ &⑨       (x_1     x_4)(x_3     x_5) & &=(x_1     x_3     x_4)(x_4     x_5     x_3)\\ & & &=(x_1     x_3     x_4)(x_3     x_4     x_5)\\[5pt] &(x_1     x_5)(〇     △)  型\\ &⑩       (x_1     x_5)(x_2     x_3) & &=(x_1     x_2     x_5)(x_5     x_3     x_2)\\ & & &=(x_1     x_2     x_5)(x_2     x_5     x_3)\\ &⑪       (x_1     x_5)(x_2     x_4) & &=(x_1     x_2     x_5)(x_5     x_4     x_2)\\ & & &=(x_1     x_2     x_5)(x_2     x_5     x_4)\\ &⑫       (x_1     x_5)(x_3     x_4) & &=(x_1     x_3     x_5)(x_5     x_4     x_3)\\ & & &=(x_1     x_3     x_5)(x_3     x_5     x_4)\\[5pt] &(x_2     x_3)(〇     △)  型\\ &⑬       (x_2     x_3)(x_4     x_5) & &=(x_2     x_4     x_3)(x_3     x_5     x_4)\\[5pt] &(x_2     x_4)(〇     △)  型\\ &⑭       (x_2     x_4)(x_3     x_5) & &=(x_2     x_3     x_4)(x_4     x_5     x_3)\\ & & &=(x_2     x_3     x_5)(x_3     x_4     x_5)\\[5pt] &(x_2     x_5)(〇     △)  型\\ &⑮       (x_2     x_5)(x_3     x_4) & &=(x_2     x_3     x_5)(x_5     x_4     x_3)\\ & & &=(x_2     x_3     x_5)(x_3     x_5     x_4) \end{alignat*}

    これで (case4-1) のすべての互換の積を、３次巡回置換の積で表すことができました。

    (case5)　動かない文字が０の場合

    (case5-2)
    　この場合は５次巡回置換で、次のように①から㉔の 2424 通りの置換がありました。

    （再掲）

    (x1   x2   〇   △   □) 型①    (x1   x2   x3   x4   x5)=(x1   x2)(x1   x3)(x1   x4)(x1   x5)②    (x1   x2   x3   x5   x4)=(x1   x2)(x1   x3)(x1   x5)(x1   x4)③    (x1   x2   x4   x3   x5)=(x1   x2)(x1   x4)(x1   x3)(x1   x5)④    (x1   x2   x4   x5   x3)=(x1   x2)(x1   x4)(x1   x5)(x1   x3)⑤    (x1   x2   x5   x3   x4)=(x1   x2)(x1   x5)(x1   x3)(x1   x4)⑥    (x1   x2   x5   x4   x3)=(x1   x2)(x1   x5)(x1   x4)(x1   x3)(x1   x3   〇   △   □) 型⑦    (x1   x3   x2   x4   x5)=(x1   x3)(x1   x2)(x1   x4)(x1   x5)⑧    (x1   x3   x2   x5   x4)=(x1   x3)(x1   x2)(x1   x5)(x1   x4)⑨    (x1   x3   x4   x2   x5)=(x1   x3)(x1   x4)(x1   x2)(x1   x5)⑩    (x1   x3   x4   x5   x2)=(x1   x3)(x1   x4)(x1   x5)(x1   x2)⑪    (x1   x3   x5   x2   x4)=(x1   x3)(x1   x5)(x1   x2)(x1   x4)⑫    (x1   x3   x5   x4   x2)=(x1   x3)(x1   x5)(x1   x4)(x1   x2)(x1   x4   〇   △   □) 型⑬    (x1   x4   x2   x3   x5)=(x1   x4)(x1   x2)(x1   x3)(x1   x5)⑭    (x1   x4   x2   x5   x3)=(x1   x4)(x1   x2)(x1   x5)(x1   x3)⑮    (x1   x4   x3   x2   x5)=(x1   x4)(x1   x3)(x1   x2)(x1   x5)⑯    (x1   x4   x3   x5   x2)=(x1   x4)(x1   x3)(x1   x5)(x1   x2)⑰    (x1   x4   x5   x2   x3)=(x1   x4)(x1   x5)(x1   x2)(x1   x3)⑱    (x1   x4   x5   x3   x2)=(x1   x4)(x1   x5)(x1   x3)(x1   x2)(x1   x5   〇   △   □) 型⑲    (x1   x5   x2   x3   x4)=(x1   x5)(x1   x2)(x1   x3)(x1   x4)⑳    (x1   x5   x2   x4   x3)=(x1   x5)(x1   x2)(x1   x4)(x1   x3)㉑    (x1   x5   x3   x2   x4)=(x1   x5)(x1   x3)(x1   x2)(x1   x4)㉒    (x1   x5   x3   x4   x2)=(x1   x5)(x1   x3)(x1   x4)(x1   x2)㉓    (x1   x5   x4   x2   x3)=(x1   x5)(x1   x4)(x1   x2)(x1   x3)㉔    (x1   x5   x4   x3   x2)=(x1   x5)(x1   x4)(x1   x3)(x1   x2)\begin{align*} &(x_1     x_2     〇     △     \square)  型\\ &①       (x_1     x_2     x_3     x_4     x_5)=(x_1     x_2)(x_1     x_3)(x_1     x_4)(x_1     x_5)\\ &②       (x_1     x_2     x_3     x_5     x_4)=(x_1     x_2)(x_1     x_3)(x_1     x_5)(x_1     x_4)\\ &③       (x_1     x_2     x_4     x_3     x_5)=(x_1     x_2)(x_1     x_4)(x_1     x_3)(x_1     x_5)\\ &④       (x_1     x_2     x_4     x_5     x_3)=(x_1     x_2)(x_1     x_4)(x_1     x_5)(x_1     x_3)\\ &⑤       (x_1     x_2     x_5     x_3     x_4)=(x_1     x_2)(x_1     x_5)(x_1     x_3)(x_1     x_4)\\ &⑥       (x_1     x_2     x_5     x_4     x_3)=(x_1     x_2)(x_1     x_5)(x_1     x_4)(x_1     x_3)\\[5pt] &(x_1     x_3     〇     △     \square)  型\\ &⑦       (x_1     x_3     x_2     x_4     x_5)=(x_1     x_3)(x_1     x_2)(x_1     x_4)(x_1     x_5)\\ &⑧       (x_1     x_3     x_2     x_5     x_4)=(x_1     x_3)(x_1     x_2)(x_1     x_5)(x_1     x_4)\\ &⑨       (x_1     x_3     x_4     x_2     x_5)=(x_1     x_3)(x_1     x_4)(x_1     x_2)(x_1     x_5)\\ &⑩       (x_1     x_3     x_4     x_5     x_2)=(x_1     x_3)(x_1     x_4)(x_1     x_5)(x_1     x_2)\\ &⑪       (x_1     x_3     x_5     x_2     x_4)=(x_1     x_3)(x_1     x_5)(x_1     x_2)(x_1     x_4)\\ &⑫       (x_1     x_3     x_5     x_4     x_2)=(x_1     x_3)(x_1     x_5)(x_1     x_4)(x_1     x_2)\\[5pt] &(x_1     x_4     〇     △     \square)  型\\ &⑬       (x_1     x_4     x_2     x_3     x_5)=(x_1     x_4)(x_1     x_2)(x_1     x_3)(x_1     x_5)\\ &⑭       (x_1     x_4     x_2     x_5     x_3)=(x_1     x_4)(x_1     x_2)(x_1     x_5)(x_1     x_3)\\ &⑮       (x_1     x_4     x_3     x_2     x_5)=(x_1     x_4)(x_1     x_3)(x_1     x_2)(x_1     x_5)\\ &⑯       (x_1     x_4     x_3     x_5     x_2)=(x_1     x_4)(x_1     x_3)(x_1     x_5)(x_1     x_2)\\ &⑰       (x_1     x_4     x_5     x_2     x_3)=(x_1     x_4)(x_1     x_5)(x_1     x_2)(x_1     x_3)\\ &⑱       (x_1     x_4     x_5     x_3     x_2)=(x_1     x_4)(x_1     x_5)(x_1     x_3)(x_1     x_2)\\[5pt] &(x_1     x_5     〇     △     \square)  型\\ &⑲       (x_1     x_5     x_2     x_3     x_4)=(x_1     x_5)(x_1     x_2)(x_1     x_3)(x_1     x_4)\\ &⑳       (x_1     x_5     x_2     x_4     x_3)=(x_1     x_5)(x_1     x_2)(x_1     x_4)(x_1     x_3)\\ &㉑       (x_1     x_5     x_3     x_2     x_4)=(x_1     x_5)(x_1     x_3)(x_1     x_2)(x_1     x_4)\\ &㉒       (x_1     x_5     x_3     x_4     x_2)=(x_1     x_5)(x_1     x_3)(x_1     x_4)(x_1     x_2)\\ &㉓       (x_1     x_5     x_4     x_2     x_3)=(x_1     x_5)(x_1     x_4)(x_1     x_2)(x_1     x_3)\\ &㉔       (x_1     x_5     x_4     x_3     x_2)=(x_1     x_5)(x_1     x_4)(x_1     x_3)(x_1     x_2) \end{align*}

    これらは前２つと後ろ２つに分けで、それぞれは共通の文字のある互換の積なので、（公式１）

    画像

    を用いて３次巡回置換に変換します。例えば①について具体的にやってみると

     (x1   x2   x3   x4   x5)= (x1   x2)(x1   x3)‾前の２つをセット (x1   x4)(x1   x5)‾‾後ろの２つをセット= (x1   x2   x3)‾公式１を利用 (x1   x4   x5)‾‾公式１を利用\begin{align*}  (x_1     x_2     x_3     x_4     x_5)&=\,\underset{前の２つをセット}{\underline{(x_1     x_2)(x_1     x_3)}}\,\underset{後ろの２つをセット}{\underline{\underline{(x_1     x_4)(x_1     x_5)}}}\\ &=\,\underset{公式１を利用}{\underline{(x_1     x_2     x_3)}}\,\underset{公式１を利用}{\underline{\underline{(x_1     x_4     x_5)}}} \end{align*}

    この変形をすべての置換に実行していくと、次のようになります。

    (x1   x2   〇   △   □) 型①    (x1   x2   x3   x4   x5)=(x1   x2)(x1   x3)(x1   x4)(x1   x5)=(x1   x2   x3)(x1   x4   x5)②    (x1   x2   x3   x5   x4)=(x1   x2)(x1   x3)(x1   x5)(x1   x4)=(x1   x2   x3)(x1   x5   x4)③    (x1   x2   x4   x3   x5)=(x1   x2)(x1   x4)(x1   x3)(x1   x5)=(x1   x2   x4)(x1   x3   x5)④    (x1   x2   x4   x5   x3)=(x1   x2)(x1   x4)(x1   x5)(x1   x3)=(x1   x2   x4)(x1   x5   x3)⑤    (x1   x2   x5   x3   x4)=(x1   x2)(x1   x5)(x1   x3)(x1   x4)=(x1   x2   x5)(x1   x3   x4)⑥    (x1   x2   x5   x4   x3)=(x1   x2)(x1   x5)(x1   x4)(x1   x3)=(x1   x2   x5)(x1   x4   x3)(x1   x3   〇   △   □) 型⑦    (x1   x3   x2   x4   x5)=(x1   x3)(x1   x2)(x1   x4)(x1   x5)=(x1   x3   x2)(x1   x4   x5)⑧    (x1   x3   x2   x5   x4)=(x1   x3)(x1   x2)(x1   x5)(x1   x4)=(x1   x3   x2)(x1   x5   x4)⑨    (x1   x3   x4   x2   x5)=(x1   x3)(x1   x4)(x1   x2)(x1   x5)=(x1   x3   x4)(x1   x2   x5)⑩    (x1   x3   x4   x5   x2)=(x1   x3)(x1   x4)(x1   x5)(x1   x2)=(x1   x3   x4)(x1   x5   x2)⑪    (x1   x3   x5   x2   x4)=(x1   x3)(x1   x5)(x1   x2)(x1   x4)=(x1   x3   x5)(x1   x2   x4)⑫    (x1   x3   x5   x4   x2)=(x1   x3)(x1   x5)(x1   x4)(x1   x2)=(x1   x3   x5)(x1   x4   x2)(x1   x4   〇   △   □) 型⑬    (x1   x4   x2   x3   x5)=(x1   x4)(x1   x2)(x1   x3)(x1   x5)=(x1   x4   x2)(x1   x3   x5)⑭    (x1   x4   x2   x5   x3)=(x1   x4)(x1   x2)(x1   x5)(x1   x3)=(x1   x4   x2)(x1   x5   x3)⑮    (x1   x4   x3   x2   x5)=(x1   x4)(x1   x3)(x1   x2)(x1   x5)=(x1   x4   x3)(x1   x2   x5)⑯    (x1   x4   x3   x5   x2)=(x1   x4)(x1   x3)(x1   x5)(x1   x2)=(x1   x4   x3)(x1   x5   x2)⑰    (x1   x4   x5   x2   x3)=(x1   x4)(x1   x5)(x1   x2)(x1   x3)=(x1   x4   x5)(x1   x2   x3)⑱    (x1   x4   x5   x3   x2)=(x1   x4)(x1   x5)(x1   x3)(x1   x2)=(x1   x4   x5)(x1   x3   x2)(x1   x5   〇   △   □) 型⑲    (x1   x5   x2   x3   x4)=(x1   x5)(x1   x2)(x1   x3)(x1   x4)=(x1   x5   x2)(x1   x3   x4)⑳    (x1   x5   x2   x4   x3)=(x1   x5)(x1   x2)(x1   x4)(x1   x3)=(x1   x5   x2)(x1   x4   x3)㉑    (x1   x5   x3   x2   x4)=(x1   x5)(x1   x3)(x1   x2)(x1   x4)=(x1   x5   x3)(x1   x2   x4)㉒    (x1   x5   x3   x4   x2)=(x1   x5)(x1   x3)(x1   x4)(x1   x2)=(x1   x5   x3)(x1   x4   x2)㉓    (x1   x5   x4   x2   x3)=(x1   x5)(x1   x4)(x1   x2)(x1   x3)=(x1   x5   x4)(x1   x2   x3)㉔    (x1   x5   x4   x3   x2)=(x1   x5)(x1   x4)(x1   x3)(x1   x2)=(x1   x5   x4)(x1   x3   x2)\begin{alignat*}{2} &(x_1     x_2     〇     △     \square)  型\\ &①       (x_1     x_2     x_3     x_4     x_5) & &=(x_1     x_2)(x_1     x_3)(x_1     x_4)(x_1     x_5)\\ & & &=(x_1     x_2     x_3)(x_1     x_4     x_5)\\ &②       (x_1     x_2     x_3     x_5     x_4) & &=(x_1     x_2)(x_1     x_3)(x_1     x_5)(x_1     x_4)\\ & & &=(x_1     x_2     x_3)(x_1     x_5     x_4)\\ &③       (x_1     x_2     x_4     x_3     x_5) & &=(x_1     x_2)(x_1     x_4)(x_1     x_3)(x_1     x_5)\\ & & &=(x_1     x_2     x_4)(x_1     x_3     x_5)\\ &④       (x_1     x_2     x_4     x_5     x_3) & &=(x_1     x_2)(x_1     x_4)(x_1     x_5)(x_1     x_3)\\ & & &=(x_1     x_2     x_4)(x_1     x_5     x_3)\\ &⑤       (x_1     x_2     x_5     x_3     x_4) & &=(x_1     x_2)(x_1     x_5)(x_1     x_3)(x_1     x_4)\\ & & &=(x_1     x_2     x_5)(x_1     x_3     x_4)\\ &⑥       (x_1     x_2     x_5     x_4     x_3) & &=(x_1     x_2)(x_1     x_5)(x_1     x_4)(x_1     x_3)\\ & & &=(x_1     x_2     x_5)(x_1     x_4     x_3)\\[5pt] &(x_1     x_3     〇     △     \square)  型\\ &⑦       (x_1     x_3     x_2     x_4     x_5) & &=(x_1     x_3)(x_1     x_2)(x_1     x_4)(x_1     x_5)\\ & & &=(x_1     x_3     x_2)(x_1     x_4     x_5)\\ &⑧       (x_1     x_3     x_2     x_5     x_4) & &=(x_1     x_3)(x_1     x_2)(x_1     x_5)(x_1     x_4)\\ & & &=(x_1     x_3     x_2)(x_1     x_5     x_4)\\ &⑨       (x_1     x_3     x_4     x_2     x_5) & &=(x_1     x_3)(x_1     x_4)(x_1     x_2)(x_1     x_5)\\ & & &=(x_1     x_3     x_4)(x_1     x_2     x_5)\\ &⑩       (x_1     x_3     x_4     x_5     x_2) & &=(x_1     x_3)(x_1     x_4)(x_1     x_5)(x_1     x_2)\\ & & &=(x_1     x_3     x_4)(x_1     x_5     x_2)\\ &⑪       (x_1     x_3     x_5     x_2     x_4) & &=(x_1     x_3)(x_1     x_5)(x_1     x_2)(x_1     x_4)\\ & & &=(x_1     x_3     x_5)(x_1     x_2     x_4)\\ &⑫       (x_1     x_3     x_5     x_4     x_2) & &=(x_1     x_3)(x_1     x_5)(x_1     x_4)(x_1     x_2)\\ & & &=(x_1     x_3     x_5)(x_1     x_4     x_2)\\[5pt] &(x_1     x_4     〇     △     \square)  型\\ &⑬       (x_1     x_4     x_2     x_3     x_5) & &=(x_1     x_4)(x_1     x_2)(x_1     x_3)(x_1     x_5)\\ & & &=(x_1     x_4     x_2)(x_1     x_3     x_5)\\ &⑭       (x_1     x_4     x_2     x_5     x_3) & &=(x_1     x_4)(x_1     x_2)(x_1     x_5)(x_1     x_3)\\ & & &=(x_1     x_4     x_2)(x_1     x_5     x_3)\\ &⑮       (x_1     x_4     x_3     x_2     x_5) & &=(x_1     x_4)(x_1     x_3)(x_1     x_2)(x_1     x_5)\\ & & &=(x_1     x_4     x_3)(x_1     x_2     x_5)\\ &⑯       (x_1     x_4     x_3     x_5     x_2) & &=(x_1     x_4)(x_1     x_3)(x_1     x_5)(x_1     x_2)\\ & & &=(x_1     x_4     x_3)(x_1     x_5     x_2)\\ &⑰       (x_1     x_4     x_5     x_2     x_3) & &=(x_1     x_4)(x_1     x_5)(x_1     x_2)(x_1     x_3)\\ & & &=(x_1     x_4     x_5)(x_1     x_2     x_3)\\ &⑱       (x_1     x_4     x_5     x_3     x_2) & &=(x_1     x_4)(x_1     x_5)(x_1     x_3)(x_1     x_2)\\ & & &=(x_1     x_4     x_5)(x_1     x_3     x_2)\\[5pt] &(x_1     x_5     〇     △     \square)  型\\ &⑲       (x_1     x_5     x_2     x_3     x_4) & &=(x_1     x_5)(x_1     x_2)(x_1     x_3)(x_1     x_4)\\ & & &=(x_1     x_5     x_2)(x_1     x_3     x_4)\\ &⑳       (x_1     x_5     x_2     x_4     x_3) & &=(x_1     x_5)(x_1     x_2)(x_1     x_4)(x_1     x_3)\\ & & &=(x_1     x_5     x_2)(x_1     x_4     x_3)\\ &㉑       (x_1     x_5     x_3     x_2     x_4) & &=(x_1     x_5)(x_1     x_3)(x_1     x_2)(x_1     x_4)\\ & & &=(x_1     x_5     x_3)(x_1     x_2     x_4)\\ &㉒       (x_1     x_5     x_3     x_4     x_2) & &=(x_1     x_5)(x_1     x_3)(x_1     x_4)(x_1     x_2)\\ & & &=(x_1     x_5     x_3)(x_1     x_4     x_2)\\ &㉓       (x_1     x_5     x_4     x_2     x_3) & &=(x_1     x_5)(x_1     x_4)(x_1     x_2)(x_1     x_3)\\ & & &=(x_1     x_5     x_4)(x_1     x_2     x_3)\\ &㉔       (x_1     x_5     x_4     x_3     x_2) & &=(x_1     x_5)(x_1     x_4)(x_1     x_3)(x_1     x_2)\\ & & &=(x_1     x_5     x_4)(x_1     x_3     x_2)\\ \end{alignat*}

    　これで (case5) のすべての５次巡回置換を、３次巡回置換の積で表すことができました。以上で６０通りすべての偶置換を３次巡回置換、または３次巡回置換の積で表せたことになります」
    「なるほど、よくできました。では５次置換のうち、偶置換を３次巡回置換で表せたことにどういう意味があるのか、それが問題だね」
    「はい、それが問題です。まだ分かっていないので、５次以上の方程式には解の公式が存在しないことについて、これまでのステップを復習してみます。もう一度最初から眺めることによって、その謎を紐解くヒントが得られそうです」

    6. ５次方程式について、これまでのステップを復習

    「条件１」を満たす『差積』を添加して、対称性を偶置換シンメトリーまで破壊する

    　「まず初めに、「条件Ⅰ」

    「条件Ⅰ」
    　『XX は対称式ではないが、X2X^2 は対称式である。』
    詳しく言うと
    　『XX は５次置換で対称性が壊れているが、X2X^2 では５次置換で対称性を保つ。』

    を満たす「解の式」XX を考えます。「解の式」XX とは、文字通り５次方程式の解
    　x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5
    で作られる式のことで、例えば、以下のような式です。
    　x1+x2+x3+x4+x5x_1+x_2+x_3+x_4+x_5
    　x1x2x3x4x5x_1x_2x_3x_4x_5
    　(x1)2+(x2)2+(x3)2+(x4)2+(x5)2(x_1)^2+(x_2)^2+(x_3)^2+(x_4)^2+(x_5)^2
    　x3−2x5x_3-2x_5
    　x1+4x2x3−3x5+5x_1+4x_2x_3-3x_5+5
    　x1−3x37x4x5\dfrac{x_1-3x_3}{7x_4x_5}
    　x1x_1
    　x2x_2
    x3−2x5x_3-2x_5 のようにすべての文字を使う必要はありません。また、x1, x2, ⋯x_1,  x_2,  \cdots のように解そのものを表す１文字の式も解の式となります。

    　さて、最高次数の係数を 11 にした５次方程式
    　x5+a1x4+a2x3+a3x2+a4x+a5x^5+a_1x^4+a_2x^3+a_3x^2+a_4x+a_5
    の係数 a1, a2, a3, a4, a5a_1,  a_2,  a_3,  a_4,  a_5 は、基本対称式（及びその −1-1 倍）になることはすでに勉強しました。よって
    　『対称式は基本対称式の加減乗除で表すことができる』
    という＜対称式の基本定理＞により、対称式は元の５次方程式の係数で表すことができます。

    対称式⟷基本対称式で表せる（対称式の基本定理）⟷５次方程式の係数で表せる（係数は基本対称式）\begin{align*} 対称式 &\longleftrightarrow 基本対称式で表せる（対称式の基本定理）\\ &\longleftrightarrow ５次方程式の係数で表せる（係数は基本対称式） \end{align*}

    しかし対称式でないものは係数で表すことができません。よって、x1x_1 という解そのものを表す式も、対称式ではないので係数の加減乗除で表すことはできません。これは、係数の加減乗除だけでは解の公式を表せないことを意味しています。
    　そこで、なんらかの”新しい数”を追加（添加）し、使える式の集まり（集合）を拡大する必要があります。この”新しい式”は、それまでに使えた”古い式”の累乗根です。具体的には、対称性（シンメトリー）をもつ「解の式」の累乗根です。この累乗根という”新しい数”の添加によって、使える式の範囲を拡大すると同時に、使える式の対称性を破壊していきます。そして、最終的に完全に対称性の失われた「恒等置換でした対称性を保てないレベル」にまで対称性が破壊できれば、その段階で使える”新しい数”を用いて解の公式を構成することが可能となります。
    　そこでまず５次方程式では、第１段階として「条件Ⅰ」を満たす「解の式」XX として、差積 X5X_5 を Q(ω)Q(\omega) に添加して、 Q(ω, X5)Q(\omega,  X_5) という集合を考えました。 Q(ω)Q(\omega) とは５次方程式の係数の加減乗除で表される式の集合 QQ に ω\omega を添加した集合です（⇒\Rightarrow 詳しくは本シリーズ (14)）。なお ω\omega は３乗して１になる数（１の３乗根）のうち、複素数であるものです。
    　改めてまとめますと、x5x^5 の係数を 11 とした５次方程式
    　x5+a1x4+a2x3+a3x2+a4x+a5=0x^5+a_1x^4+a_2x^3+a_3x^2+a_4x+a_5=0
    において
    　QQ は、係数 a1, a2, a3, a4, a5a_1,  a_2,  a_3,  a_4,  a_5 の加減乗除で表せる式全体の集合
    　Q(ω)Q(\omega) は、係数 a1, a2, a3, a4, a5a_1,  a_2,  a_3,  a_4,  a_5 と ω\omega の加減乗除で表せる式全体の集合
    　Q(ω, X5)Q(\omega,  X_5) は、係数 a1, a2, a3, a4, a5a_1,  a_2,  a_3,  a_4,  a_5 と ω\omega と差積 X5X_5 の加減乗除で表せる式全体の集合となります（本シリーズ (14)）。
    　このように、次々と使える数や式（使える道具）を添加していくことによって、解の公式を導くために必要な式を拡大していきます。その添加された X5X_5 は上記の「条件Ⅰ」を満たす XX のことで、５次方程式の５つの解 x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5 を用いて次のような差積で表現できます。

    X5=(x1−x2)(x1−x3)(x1−x4)(x1−x5)⋅ (x2−x3)(x2−x4)(x2−x5)⋅ (x3−x4)(x3−x5)⋅ (x4−x5)\begin{align*} X_5=(x_1-x_2)(x_1-x_3)(x_1-x_4)(x_1-x_5)&\\ \cdot\,(x_2-x_3)(x_2-x_4)(x_2-x_5)&\\ \cdot\,(x_3-x_4)(x_3-x_5)&\\ \cdot\,(x_4-x_5)& \end{align*}

    この解の差積 X5X_5 を Q(ω)Q(\omega) に添加することによって、対称性を保つ置換を５次置換から偶置換まで絞り込むことに成功、いわば、完全なる対称性（対称式）を偶置換シンメトリーまで破壊すことができたわけです（⇒\Rightarrow 詳しくは本シリーズ (14)）。

    Q(ω)↓ ⇐ X5の添加Q(ω, X5)↔対応５次置換（対称式）↓ ⇐ X5の添加偶置換シンメトリー\begin{gather*} Q(\omega)\\ \hspace{67pt}\downarrow  \Leftarrow  X_5 の添加\\ Q(\omega,  X_5) \end{gather*} \hspace{10pt} \xleftrightarrow[対応]{} \hspace{-15pt} \begin{gather*} {\bf ５次置換（対称式）}\\ \hspace{67pt}\downarrow  \Leftarrow  X_5 の添加\\ {\bf 偶置換シンメトリー} \end{gather*}

    　添加による使える式の拡大と対称性を保つ置換には、上記のような”対応関係”があること、つまり
    　『使える式が拡大するにつれて、対称性を保つ置換は逆に絞られていく』
    ことが重要です。使える式が大きくなると、それに反して置換は少なくなるわけです。最終的に、対称性を保つ置換が恒等置換１つだけになるまで使える式を添加していきます。恒等置換でしか対称性を保てない式は、完全に対称性が壊れています。つまり対称性を保つ置換が恒等置換だけになれば、その集合内では完全に対称性の壊れた「解の公式」を作り上げることができるわけです（注２）。
    　さて、２次以上の方程式は、何次であってもその解を用いて差積を作ることができます。具体的には、２次方程式では、その２つの解を α, β\alpha,  \beta とすると

    X2=α−β\begin{align*} X_2=\alpha-\beta \end{align*}

    ３次方程式では、その３つの解を α, β, γ\alpha,  \beta,  \gamma とすると

    X3=(α−β)(β−γ)(γ−α)\begin{align*} X_3=(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha) \end{align*}

    ４次方程式では、その４つの解を x1, x2, x3, x4x_1,  x_2,  x_3,  x_4 とすると

    X4=(x1−x2)(x1−x3)(x1−x4)⋅ (x2−x3)(x2−x4)⋅ (x3−x4)\begin{align*} X_4=(x_1-x_2)(x_1-x_3)(x_1-x_4)&\\ \cdot\,(x_2-x_3)(x_2-x_4)&\\ \cdot\,(x_3-x_4)& \end{align*}

    と、その解を用いて差積を作ることができます。そしてこの差積の添加によって、完全なシンメトリー（対称式）を偶置換シンメトリーにまで破壊することが可能となります。差積の添加は、対称性を偶置換シンメトリーまで破壊する常套手段です。５次方程式においても、差積 X5X_5 の添加によって、完全なシンメトリーを偶置換シンメトリーまで破壊することができました。
    　さて次は、この偶置換シンメトリーをどのように破壊していくか、ということです。そこで次の「条件Ⅱ」を考えます。

    「条件Ⅱ」を用いて、さらに偶置換シンメトリーを破壊する

    　偶置換シンメトリーをさらに破壊するために、５次方程式においても、次の「条件Ⅱ」を満たす解の式 YY を考えます（注３）。

    「条件Ⅱ」
    　『YY はある偶置換で変化するが、Y3Y^3 はすべての偶置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は偶置換で対称性が壊れているが、Y3Y^3 は偶置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    　なお「Y3Y^3 は対称式ではない」という補足は、「条件Ⅰ」を満たす式 X5X_5 の添加によって、対称性はすでに偶置換シンメトリーまで破壊されているからです。偶置換シンメトリーを保つ式体系の中で、新たに「条件Ⅱ」を満たす式を添加することでさらに対称性を破壊していきます。
    　３次方程式の場合、この「条件Ⅱ」を満たす式 YY はラグランジュ・リゾルベント
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma
    でした。この AA は偶置換で変化しますが、その３乗
    　A3=(α+ωβ+ω2γ)3A^3=(\alpha+\omega\beta+\omega^2\gamma)^3
    は偶置換で変化しません（注４）（⇒\Rightarrow 詳しくは本シリーズ(13)）。
    　なお A3A^3 は、例えば互換 (α   β)(\alpha     \beta) で違う式に変化するので対称式ではありません。つまり A3A^3 は「条件Ⅱ」の補足である「対称式ではない」という条件も満たしています（注５）。
    　このラグランジュ・リゾルベント AA をQ(ω, X3)Q(\omega,  X_3) に添加することによって、対称性を保つ置換を偶置換から恒等置換にまで絞り込むことができ、３次方程式の解の公式が実現できました（⇒\Rightarrow 詳しくは本シリーズ (12)、(13) ）。

    Q(ω)↓ ⇐ X3の添加Q(ω, X3)↓ ⇐ Aの添加Q(ω, X3, A)↔対応３次置換（対称式）↓ ⇐ X3の添加偶置換シンメトリー↓ ⇐ Aの添加恒等置換\begin{gather*} Q(\omega)\\ \hspace{66pt}\downarrow  \Leftarrow  X_3 の添加\\ Q(\omega,  X_3)\\ \hspace{63pt}\downarrow  \Leftarrow  A の添加\\ Q(\omega,  X_3,  A) \end{gather*} \hspace{15pt} \xleftrightarrow[対応]{} \hspace{-15pt} \begin{gather*} {\bf ３次置換（対称式）}\\ \hspace{66pt}\downarrow  \Leftarrow  X_3 の添加\\ {\bf 偶置換シンメトリー}\\ \hspace{63pt}\downarrow  \Leftarrow  A の添加\\ {\bf 恒等置換} \end{gather*}

    　解の公式が構成できる都合のいい式の添加により、利用できる式の世界（集合）を広げていきます。その添加した式の対称性に依存して、使える式の世界の対称性は絞られて（破壊されて）いきます。いわば、使える式が大きくなるにつれて、対称性は逆に小さくなっていくわけです。
    　解の公式が存在するということは、置換の言葉で言えば「対称性が恒等置換まで破壊される」ということです。
    　ではなぜ恒等置換まで破壊させる必要があるのか。その理由は、解の式 x1, x2, ⋯x_1,  x_2,  \cdots のすべてを変化せない置換は恒等置換のみだからです。例えば、３次方程式の解 x1, x2, x3x_1,  x_2,  x_3 に恒等置換を作用させても、x1, x2, x3x_1,  x_2,  x_3 はいずれも変化しません。

    x1    x2    x3↓　恒等置換を作用x1    x2    x3　⇐いずれも変化しない\begin{align*} x_1       &x_2       x_3\\ &\downarrow　{\small 恒等置換を作用}\\ x_1       &x_2       x_3　{\small \Leftarrow いずれも変化しない} \end{align*}

    解の公式は文字通り解を表す式なので、解の式 x1, x2, ⋯x_1,  x_2,  \cdots と同等の対称性をもちます。よって、次々と都合のいい式（使える式）を添加していき、構成可能な式の対称性を最終的に恒等置換にまで破壊できれば、それまでに添加されたすべての式の加減乗除によって、いよいよ解の公式が実現できるわけです。
    　以上のことを集合として簡単に図式化（イメージ化）すると、以下のようになります。

    画像
    画像

    　差積 X3X_3 を添加することと、差積の２乗の平方根 (X3)2\sqrt{(X_3)^2} を添加することは同じなので、X3X_3 の添加によって平方根 (X3)2\sqrt{(X_3)^2} の利用が可能となります（本シリーズ (14)）。
    　また、ラグランジュ・リゾルベント AA を添加することと、その３乗の３乗根 A33\sqrt[3]{A^3} を添加することは同じなので、AA の添加によって３乗根 A33\sqrt[3]{A^3} の利用が可能となります（本シリーズ (14)）。
    　それら累乗根（平方根、３乗根）を計算に用いることによって、（対称性が恒等置換にまで破壊されている）３次方程式の解の公式が実現できました（⇒\Rightarrow 詳しくは本シリーズ (12)、(13) ）。

    　では５次方程式の場合はどうでしょうか。「条件Ⅰ」を満たす差積 X5X_5 の添加によって偶置換シンメトリーまで対称性を破壊することができました。さらに次のステップとして、「条件Ⅱ」を満たす解の式 YY を具体的に構成できれば、３次方程式と同様に、偶置換シンメトリーをさらに破壊することが期待できます。

    画像

    　そこで、５次方程式において「条件Ⅱ」を満たす解の式 YY を考えます。ここで最初に述べた
    　『すべての偶置換は３次巡回置換で表すことができる』
    という性質を使います。偶置換はすべて３次巡回置換で表せることから、「条件Ⅱ」

    「条件Ⅱ」
    　『YY はある偶置換で変化するが、Y3Y^3 はすべての偶置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は偶置換で対称性が壊れているが、Y3Y^3 は偶置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    について、「偶置換」を「３次巡回置換」に言い換えることができます。

    「条件Ⅱ」（３次巡回置換バージョン）
    　『YY はある３次巡回置換で変化するが、Y3Y^3 はすべての３次巡回置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は３次巡回置換で対称性が壊れているが、Y3Y^3 は３次巡回置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    偶置換の代わりに３次巡回置換を使って議論しても同じこととなります。
    　すると、前半の条件『YY は３次巡回置換で変化する』ことから、 YY を変化させる３次巡回置換が少なくとも１つ存在することになります。『YY は”ある”３次巡回置換で変化する』と「ある」という言葉を使っているのはそういう意味です（注６）。
    　そのある３次巡回置換を (i   j   k)(i     j     k) とおきます。すると、YY にその (i   j   k)(i     j     k) を作用させると別の式 Y′Y' に変化するので
    　(i   j   k)Y=Y′ (≠Y)　⋯①(i     j     k)Y=Y'\,(\ne Y)　\cdots ①
    なお (i   j   k)Y(i     j     k)Y とは、式 YY に３次巡回置換 (i   j   k)(i     j     k) を作用させるという意味です（注７）。式 YY の文字に対して
    　i→j→k→ii \rightarrow j \rightarrow k \rightarrow i
    と文字を置換せよ、という命令です。
    　また、後半の条件『Y3Y^3 は３次巡回置換で変化しない』ことから、Y3Y^3 に３次巡回置換 (i   j   k)(i     j     k) を作用させても変化しないので
    　(i   j   k)Y3=Y3　⋯②(i     j     k)Y^3=Y^3　\cdots ②
    ここで、この式の左辺について考えます。 (i   j   k)(i     j     k) は YY だけに作用し、指数部分の 33 乗は変化させません。つまり、Y3Y^3 に (i   j   k)(i     j     k) を作用させるということは、YY に (i   j   k)(i     j     k) を作用させたものを 33 乗するということなので
    　(i   j   k)Y3=(i   j   k)Y⋅(i   j   k)Y⋅(i   j   k)Y(i     j     k)Y^3=(i     j     k)Y\cdot(i     j     k)Y\cdot(i     j     k)Y
    より
    　(i   j   k)Y3={(i   j   k)Y}3　⋯③(i     j     k)Y^3=\{{(i     j     k)Y}\}^3　\cdots ③
    ③=②③=② より
    　{(i   j   k)Y}3=Y3\{(i     j     k)Y\}^3=Y^3
    すると (i   j   k)Y(i     j     k)Y は一時的に
    　(i   j   k)Y=Y, ωY, ω2Y(i     j     k)Y=Y,  \omega Y,  \omega^2Y
    となりますが（注８）、①① より (i   j   k)Y≠Y(i     j     k)Y\ne Y なので、YY は却下されて
    　(i   j   k)Y=ωY, ω2Y　⋯④(i     j     k)Y=\omega Y,  \omega^2Y　\cdots ④
    ただし、ω\omega は「33 乗して 11 になる数（11 の 33 乗恨）のうち、11 ではない数」です。具体的には虚数
    　ω=1+3i2\omega=\dfrac{1+\sqrt{3}i}{2}　または　1−3i2\dfrac{1-\sqrt{3}i}{2}
    となります（⇒\Rightarrow 詳しくは本シリーズ (2)）。
    　ここで分かったことは、「条件Ⅱ」を満たす解の式 YY は、ある３次巡回置換 (i   j   k)(i     j     k) によって
    　(i   j   k)Y=ωY(i     j     k)Y=\omega Y
    または
    　(i   j   k)Y=ω2Y(i     j     k)Y=\omega^2Y
    に変化しなければならない、ということです。３次方程式の場合、その解の式 YY はラグランジュ・リゾルベント
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma
    であることはすでにやりました（本シリーズ (13)）。

    （補足を追記）

    （補足始め）
    　３次巡回置換については本シリーズ (14) で初めて登場します。しかし、本シリーズ (13) の段階では３次巡回置換の解説はまだしていないので、３次方定式の解の公式の「条件Ⅱ」については、簡単のために偶置換のままで証明しています。
    　具体的には、YY（つまりラグランジュ・リゾルベント AA） に偶置換（ただし恒等置換以外）を作用させると、AA は ω\omega 倍か ω2\omega^2 倍に変化することを証明し、それによって偶置換シンメトリーが破壊されると解説しています（注４）。

    　(恒等置換以外の偶置換)A=ωA(恒等置換以外の偶置換)A=\omega A
    または
    　(恒等置換以外の偶置換)A=ω2A(恒等置換以外の偶置換)A=\omega^2A

    結局、３次置換においては偶置換（①、➁、➂①、➁、➂）は３次巡回置換そのものなので、問題はありませんでした（本シリーズ (14)）。YY としてラグランジュ・リゾルベント AA を取れることには違いはありません。

    ➀(αβγαβγ)=(α   β   γ)(α   β   γ)(α   β   γ)➁(αβγγαβ)=(α   γ   β)➂(αβγβγα)=(α   β   γ)}偶置換➃(αβγαγβ)=(βγ)➄(αβγγβα)=(αγ)➅(αβγβαγ)=(αβ)}奇置換\begin{align*} &\begin{rcases} ➀\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \beta & \gamma \end{pmatrix} =(\alpha     \beta     \gamma)(\alpha     \beta     \gamma)(\alpha     \beta     \gamma)\\ \\ ➁\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \alpha & \beta \end{pmatrix} =(\alpha     \gamma     \beta)\\ \\ ➂\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \gamma & \alpha \end{pmatrix} =(\alpha     \beta     \gamma) \end{rcases}偶置換\\ \\ &\begin{rcases} ➃\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \gamma & \beta \end{pmatrix} =\begin{pmatrix} \beta & \gamma \end{pmatrix}\\ \\ ➄\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \beta & \alpha \end{pmatrix} =\begin{pmatrix} \alpha & \gamma \end{pmatrix}\\ \\ ➅\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \alpha & \gamma \end{pmatrix} =\begin{pmatrix} \alpha & \beta \end{pmatrix} \end{rcases}奇置換 \end{align*}

    　５次方程式においては「偶置換は３次巡回置換で表せる」という定理が本質的に必要になってくるので、３次方程式においても、先に３次巡回置換を解説してから「条件Ⅱ」（３次巡回置換バージョンとして）を提示した方が分かりやすかったかもしれません。その方が５次方程式との関連が見えやすくなりそうです（後で修正するかも）。
    　遅ればせながら、ラグランジュ・リゾルベント AA に３次巡回置換を作用させると ω\omega 倍か ω2\omega^2 倍に変化することの証明は、（注４）で行いました。
    （補足終わり）

    　その AA に３次巡回置換 (α   β   γ)(\alpha     \beta     \gamma) を作用させると
    　(α   β   γ)A=ω2A(\alpha     \beta     \gamma)A=\omega^2A
    と ω2\omega^2 倍となり、３次巡回置換 (α   γ   β)(\alpha     \gamma     \beta) を作用させると
    　(α   γ   β)A=ωA(\alpha     \gamma     \beta)A=\omega A
    と ω\omega 倍になり、確かに ω\omega 倍か、 ω2\omega^2 倍に変化しています（注４で証明）。５次方程式においても、「条件Ⅱ」を満たす解の式 YY に３次巡回置換を作用させると、それは YY のω\omega 倍か、 ω2\omega^2 倍になることは先ほど示しました。
    　ここまでは３次方程式のときと同じ筋書きで問題無いように思えます。５次方程式においても、３次方程式と同様に「条件Ⅱ」をみたす解の式 YY を添加すれば、偶置換シンメトリーをさらに破壊することが期待できます。しかし・・・」
    「しかし？」
    「５次方程式の場合、都合のいい解の式 YY が、具体的に作れないように思えます・・・」
    「そうそう。３次方程式のときのラグランジュリゾルベントのように、作れるんだったら具体的に作ればいいんだね。ではもし作れないとすると？」
    「対称性の破壊は偶置換シンメトリーでストップ、最終的に恒等置換にまで破壊することが不可能となるので、５次方程式に解の公式が存在すると仮定したことに矛盾します」
    「そう。矛盾が導き出せたので、背理法により５次方程式に解の公式が存在しないことが証明できる」

    画像

    「では森田君、どうやって YY が作れないことを証明する？」
    「うーん・・・」森田君は悩み込む。
    「では森田君」いよいよとばかり竹村が口を開いた。
    「同じ３次巡回置換は何回作用させると元に戻る？」
    「３回です」
    「では５次巡回置換は？」
    「５回です、あっ！」
    　森田君は口を開いた。
    「偶置換は必ず３次巡回置換で表せることは勉強しました。すると・・・」
    「すると？」
    「すべての３次巡回置換が５次巡回置換で表せるとしたら・・・、そうか！」
    　森田君はもの凄いスピードでホワイトボードに図形を書き始めた。竹村はホワイトボードを凝視した。

    （続く）


    （コメント）
    　結論まで書くつもりでしたが、途中で息切れしてきたので、とりあえずここまでとなります。「すべての３次巡回置換は５次巡回置換の積で表せる」ということから矛盾が生じ、解の公式が存在しないことが証明されますが、どうまとめるか考慮中です。
    　あと（注）が本文より長く？なってしまいました。本シリーズで既に述べたことも（注）で書いています。必要なのかどうか、むしろ分かりにくくなりそうな気もしますが、もう少し整理した形にできればと思います。
    　特に（注２）（注３）はうまく記述できているのか分からないので、何か気付いたら随時修正していきます。

    （注１）３次置換のうち、偶置換を３次巡回置換で表す（復習）。

    　３次置換のうち、偶置換をすべて３次巡回置換で表す（本シリーズ (14)）。恒等置換は、同じ３次巡回置換を３回連続作用させることによって表すことができる。

    ➀(αβγαβγ)=(α   β   γ)(α   β   γ)(α   β   γ)②(αβγγαβ)=(α   γ   β)③(αβγβγα)=(α   β   γ)}偶置換\begin{align*} &\begin{rcases} ➀\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \beta & \gamma \end{pmatrix} =(\alpha     \beta     \gamma)(\alpha     \beta     \gamma)(\alpha     \beta     \gamma)\\ \\ ②\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \alpha & \beta \end{pmatrix} =(\alpha     \gamma     \beta)\\ \\ ③\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \gamma & \alpha \end{pmatrix} =(\alpha     \beta     \gamma) \end{rcases}偶置換 \end{align*}

    ①は同じ３次巡回置換 (α   β   γ)(\alpha     \beta     \gamma) を連続３回作用させるので、結局元に戻って同じになる。つまり作用させても何も変化しないので恒等置換 II と同じ。一般に
    『すべての偶置換は３次巡回置換（およびその積）で表すことができる』
    この事実は、５次以上の方程式に解の公式が存在しないことの証明で利用される。

    （注２）解の公式の対称性について（復習）

    　２次方程式 ax2+bx+c=0ax^2+bx+c=0 の解の公式は

    x=−b±b2−4ac2a\begin{align*} x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    と表せます。ここで ±\pm それぞれについて、プラスの方を
    　α=−b+b2−4ac2a\alpha=\dfrac{-b+\sqrt{b^2-4ac}}{2a}
    マイナスの方を
    　β=−b−b2−4ac2a\beta=\dfrac{-b-\sqrt{b^2-4ac}}{2a}
    と置きます。この解 α, β\alpha,  \beta の置換には
    　①　(α    βα    β)=I\dbinom{\alpha       \beta}{\alpha       \beta}=I
    と
    　➁　(α    ββ    α)=(α   β)\dbinom{\alpha       \beta}{\beta       \alpha}=(\alpha     \beta)
    の２つがあります。①は何も変化しない恒等置換 II、②は α\alpha と β\beta を入れ替えるので互換 (α   β)(\alpha     \beta) となります。
    　さて、２つの解 α, β\alpha,  \beta を、α\alpha は α\alpha のまま、かつ β\beta は β\beta のままで変化させない置換は恒等置換 II のみです。

    α    β⇓　恒等置換 I を作用α    β　←変化しない\begin{align*} &\alpha       \beta\\ &\hspace{6pt}\Downarrow　{\small 恒等置換  I  を作用}\\ &\alpha       \beta　\leftarrow {\small 変化しない} \end{align*}

    つまり、解を表す１文字の式 α, β\alpha,  \beta そのものは、「恒等置換でしか対称性を保つことのできない、完全に対称性の壊れた式」となります。よって、その α, β\alpha,  \beta

    　α=−b+b2−4ac2a\alpha=\dfrac{-b+\sqrt{b^2-4ac}}{2a}

    　β=−b−b2−4ac2a\beta=\dfrac{-b-\sqrt{b^2-4ac}}{2a}

    を１つの式で表した解の公式

    x=−b±b2−4ac2a\begin{align*} x=\dfrac{-b\pm\sqrt{b^2-4ac}}{2a} \end{align*}

    も、完全に対称性の壊れた式です。このように解の公式を導くためには「恒等置換でしか対称性を保つことのできない、完全に対称性の壊れた式」を構成することが必要です。そのための手段として、２次方程式では差積 X2X_2
    　X2=α−βX_2=\alpha-\beta
    の添加というアイデアがありました（⇒\Rightarrow 詳しくは本シリーズ (11)、(13)）。このことは３次方程式、４次方程式と次数が高くなっても同じです。５次方程式の解を
    　 x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5
    とすると、その解の置換（５次置換）は１２０通りありました。そのうちx1x_1 は x1x_1 のまま、かつ x2x_2 は x2x_2 のまま、かつ x3x_3 は x3x_3 のまま、 かつ x4x_4 は x4x_4 のまま、かつ x5x_5 は x5x_5 のままと、すべての解を変化させない置換は恒等置換 II のみです。

    x1    x2    x3    x4    x5⇓　恒等置換 I を作用x1    x2    x3    x4    x5　←変化しない\begin{align*} x_1       x_2       &x_3       x_4       x_5\\ &\Downarrow　{\small 恒等置換  I  を作用}\\ x_1       x_2       &x_3       x_4       x_5　\leftarrow {\small 変化しない} \end{align*}

    仮に互換 (x1   x2)(x_1     x_2) を作用させると、x3, x4, x5x_3,  x_4,  x_5 は変化しませんが、x1x_1 と x2x_2 は入れ替わるので変化します。

    x1    x2    x3    x4    x5⇓　互換 (x1, x2) を作用x2    x1    x3    x4    x5　←x1 と x2 は変化する\begin{align*} x_1       x_2       &x_3       x_4       x_5\\ &\Downarrow　{\small 互換  (x_1,  x_2)  を作用}\\ x_2       x_1       &x_3       x_4       x_5　\leftarrow {\small x_1  と  x_2  は変化する} \end{align*}

    つまり、解を表す１文字の式 x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5 そのものは、「恒等置換でしか対称性を保つことができない、完全に対称性の壊れた式」となります。解の公式とは
    　x1=・・・・・・x_1=・・・・・・
    　x2=・・・・・・x_2=・・・・・・
    　　⋮\vdots
    と表せたものを、１つの文字 xx を使って
    　x=・・・・・・x=・・・・・・
    と書いたものです。すなわち解の公式は、x1, x2, x3, x4, x5x_1,  x_2,  x_3,  x_4,  x_5 と同等の対称性をもつ「恒等置換でしか対称性を保つことのできない、完全に対称性の壊れた式」となります。３次置換においては、差積 X3X_3

    X3=(α−β)(β−γ)(γ−α)\begin{align*} X_3=(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha) \end{align*}

    の添加によって、３次置換の対称性（対称式）を偶置換シンメトリーまで破壊することができました（⇒\Rightarrow 詳しくは本シリーズ (12)）。それと同様に、５次置換に置いても、差積 X5X_5

    X5=(x1−x2)(x1−x3)(x1−x4)(x1−x5)⋅ (x2−x3)(x2−x4)(x2−x5)⋅ (x3−x4)(x3−x5)⋅ (x4−x5)\begin{align*} X_5=(x_1-x_2)(x_1-x_3)(x_1-x_4)(x_1-x_5)&\\ \cdot\,(x_2-x_3)(x_2-x_4)(x_2-x_5)&\\ \cdot\,(x_3-x_4)(x_3-x_5)&\\ \cdot\,(x_4-x_5)& \end{align*}

    の添加によって、５次置換の対称性（対称式）を偶置換シンメトリーまで破壊することができました（⇒\Rightarrow 詳しくは本シリーズ (14)）。差積の添加は対称性を偶置換シンメトリーまで破壊する常套手段ですが、解の公式を導き出すためには、さらに都合のいい解の式の添加によって、偶置換シンメトリーを破壊し、最終的に対称性を保つ置換を恒等置換にまで絞り込むことが必要です。３次方程式ではそれを担ったのはラグランジュ・リゾルベント AA
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma
    の添加でした（⇒\Rightarrow 詳しくは本シリーズ (13)）。しかし５次以上の方程式では解の公式は存在しないので、５次置換においては対称性を保つ置換を恒等置換にまで絞り込むことはできないことになります。それを証明することが本シリーズでのメインテーマです。

    （注３）「条件Ⅱ」を厳密化

    　本文で述べた「条件Ⅱ」

    「条件Ⅱ」
    　『YY はある偶置換で変化するが、Y3Y^3 はすべての偶置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は偶置換で対称性が壊れているが、Y3Y^3 は偶置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    について、厳密には 33 乗のところを pp 乗にして議論しなければなりません。次がその pp 乗のバージョンです。

    「条件Ⅱ」（pp 乗のバージョン）
    　『YY はある偶置換で変化するが、YpY^p はすべての偶置換で変化しない（ただし YpY^p は対称式ではない）』
    　言い換えると
    　『YY は偶置換で対称性が壊れているが、YpY^p は偶置換で対称性が保たれている（ただし YpY^p 対称式ではない）』

    本シリーズでは初めから p=3p=3 として議論を進めていますが、実際はその値で決まっているわけではなく、「条件Ⅱ」を満たす YY が存在するためには p=3p=3 であることを証明する必要があります。本文ではこの証明を割愛しました（この証明を本文中に入れるかどうか検討中。やや難しく長くなるので（注３）にしました）。
    　p=3p=3 を証明するための全体の流れは、
    『YY は偶置換で変化するが、YpY^p は偶置換で変化しない（ただし YpY^p は対称式ではない）』
    より、ある偶置換で YY が Y′ (≠Y)Y'\,(\ne Y) に変化したとすると、その Y′Y' は
    　Y′=ωpYY'=\omega_p Y
    ただし ωp\omega_p は 11 の pp 乗恨（pp 乗すると 11 になる数のうち 11 ではない数）と表すことができ、かつ偶置換は３次巡回置換で表せることから、同じ３次巡回置換は３回作用させると元に戻るという性質により
    　p=3p=3
    と決定するという流れです。なお pp は素数となります。その理由は（注３）の最後に述べます。
    　さて、本題である p=3p=3 となる証明を述べていきます。
    　まず
    　『すべての偶置換は３次巡回置換で表すことができる』
    ことから、「条件Ⅱ」の pp 乗のバージョンについて、偶置換を３次巡回置換に書き換えることができます。

    Y\boldsymbol{Y} の「条件Ⅱ」（pp 乗のバージョン）
    　『YY はある３次巡回置換で変化するが、YpY^p はすべての３次巡回置換で変化しない（ただし YpY^p は対称式ではない）』
    　言い換えると
    　『YY は３次巡回置換で対称性が壊れているが、YpY^p は３次巡回置換で対称性が保たれている（ただし YpY^p 対称式ではない）』

    　この「条件Ⅱ」を満たす YY が存在したとします。すると、前半の条件『YY はある３次巡回置換で変化する』ことから、 YY を変化させる３次巡回置換が少なくとも１つ存在することになります。『YY は”ある”３次巡回置換で変化する』と「ある」という言葉を使っているのはそういう意味です（注６）。
    　そのある３次巡回置換を (i   j   k)(i     j     k) とおきます。YY にその (i   j   k)(i     j     k) を作用させると別の式 Y′Y' に変化するので
    　(i   j   k)Y=Y′ (≠Y)　⋯①(i     j     k)Y=Y'\,(\ne Y)　\cdots ①
    なお (i   j   k)Y(i     j     k)Y とは、式 YY に３次巡回置換 (i   j   k)(i     j     k) を作用させるという意味です。式 YY の文字にたいして
    　i→j→k→ii \rightarrow j \rightarrow k \rightarrow i
    と文字を置換せよ、という命令です。
    また、後半の条件『YpY^p は３次巡回置換で変化しない』ので、YpY^p に３次巡回置換 (i   j   k)(i     j     k) を作用させても YpY^p は変化しません。つまり
    　(i   j   k)Yp=Yp　⋯②(i     j     k){Y^p}=Y^p　\cdots ②
    ここで、この式の左辺について考えてみます。(i   j   k)(i     j     k) は YY だけに作用し、指数部分の pp 乗は変化させません。つまり、YpY^p に (i   j   k)(i     j     k) を作用させるということは YY に (i   j   k)(i     j     k) を作用させたものを pp 回掛けるということなので
    　(i   j   k)Yp=(i   j   k)Y⋅(i   j   k)Y⋯(i   j   k)Y⏟p 個の積(i     j     k)Y^p=\underbrace{(i     j     k)Y\cdot(i     j     k)Y\cdots(i     j     k)Y}_{p  個の積}
    より
    　(i   j   k)Yp={(i   j   k)Y}p　⋯③(i     j     k)Y^p=\{(i     j     k){Y}\}^p　\cdots ③
    ③=②③=② より
    　{(i   j   k)Y}p=Yp　⋯④\{(i     j     k){Y}\}^p=Y^p　\cdots ④
    ①① を ④④ に代入して
    　(Y’)p=Yp   ⋯⑤{(Y’)}^p=Y^p     \cdots ⑤
    これを Y′Y' について解くと
    　Y′=ωpY  ⋯⑥Y'=\omega_p Y    \cdots ⑥
    ただし ωp\omega_p は「pp 乗して 11 になる数（11 の pp 乗恨）のうち 11 ではない数」です。つまり ωp\omega_p は
    　(ωp)p=1  ⋯⑦(\omega_p)^p=1    \cdots ⑦
    かつ
    　ωp≠1  ⋯⑧\omega_p\ne1    \cdots ⑧
    を満たす定数となります。

    　ここは抽象的なので、具体的な例をあげて考えてみる。pp のままだと抽象的なので、p=2p=2 のとき、p=3p=3 のときと具体的に考えるとわかりやすい。
    ＜p=2\boldsymbol{p=2} のとき＞
    　⑤⑤ 式 (Y’)p=Yp{(Y’)}^p=Y^p について p=2p=2 とすると
    　Y’2=Y2{Y’}^2=Y^2
    これを Y′Y' について解くと
    　Y’=±YY’=\pm Y
    ただし ①① より Y′≠YY'\ne Y であったので、プラスの方は却下されて
    　Y’=−Y   ⋯(∗1)Y’=-Y     \cdots (*1)
    よって Y′Y' は、YY の −1-1 倍と決定します。
    　以上のことを ⑥⑥ 式
    　Y′=ωpY  ⋯⑥Y'=\omega_p Y    \cdots ⑥
    で用いた ωp\omega_p を用いて、同じく (∗1)(*1) を導いてみる。
    　⑤⑤ 式 (Y’)p=Yp{(Y’)}^p=Y^p について p=2p=2 とすると
    　(Y’)2=Y2(Y’)^2=Y^2
    これを Y′Y' について解くと、⑥⑥ について p=2p=2 として
    　Y′=ω2Y　⋯(∗2)Y'=\omega_2Y　\cdots (*2)
    ただし ω2\omega_2 は、「22 乗して 11 になる数（11 の平方根 1, −11,  -1）のうち 11 ではない数」なので
    　ω2=−1\omega_2=-1
    これを (∗2)(*2) に代入して
    　Y′=−YY'=-Y
    となり、これは (∗1)(*1) と一致します。

    ＜p=3\boldsymbol{p=3} のとき＞
    　⑤⑤ 式 (Y’)p=Yp{(Y’)}^p=Y^p について p=2p=2 とすると
    　(Y’)3=Y3(Y’)^3=Y^3
    これを Y′Y' について解くと
    　Y’=Y, ωY, ω2YY’=Y,  \omega Y,  \omega^2Y
    ただし ①① より Y′≠YY'\ne Y であったので、YY は却下されて
    　Y’=ωY, ω2Y   ⋯(∗3)Y’=\omega Y,  \omega^2Y     \cdots (*3)
    よって Y′Y' は、YY の ω\omega 倍か、または ω2\omega^2 倍と決定します。
    　なお ω\omega は、「33 乗して 11 になる数（11 の 33 乗恨 1, ω, ω21,  \omega,  \omega^2）のうち 11 ではない数」です。具体的には虚数
    　ω=1+3i2\omega=\dfrac{1+\sqrt{3}i}{2}　または　1−3i2\dfrac{1-\sqrt{3}i}{2}
    となります。
    　以上のことを ⑥⑥ 式
    　Y′=ωpY  ⋯⑥Y'=\omega_p Y    \cdots ⑥
    で用いた ωp\omega_p を用いて、同じく (∗3)(*3) を導いてみる。
    　⑤⑤ 式 (Y’)p=Yp{(Y’)}^p=Y^p について p=2p=2 とすると
    　(Y’)3=Y3(Y’)^3=Y^3
    これを Y′Y' について解くと、⑥⑥ について p=3p=3 として
    　Y′=ω3Y　⋯(∗4)Y'=\omega_3 Y　\cdots (*4)
    ただし ω3\omega_3 は、「33 乗して 11 になる数（11 の 33 乗恨 1, ω, ω21,  \omega,  \omega^2）のうち 11 ではない数」なので
    　ω3=ω, ω2\omega_3=\omega,  \omega^2
    これを (∗4)(*4) に代入して
    　Y’=ωY, ω2YY’=\omega Y,  \omega^2Y
    となり、これは (∗3)(*3) と一致します。

    　さらに、①① 式
    　(i   j   k)Y=Y′ (≠Y)　⋯①(i     j     k)Y=Y'\,(\ne Y)　\cdots ①
    に ⑥⑥ 式
    　Y′=ωpY  ⋯⑥Y'=\omega_p Y    \cdots ⑥
    を代入して
    　(i   j   k)Y=ωpY   ⋯⑨(i     j     k)Y=\omega_p Y      \cdots ⑨
    この式は、YY に３次巡回置換  (i   j   k)(i     j     k) を作用させると「YY は ωp(≠1)\omega_p(\ne1) 倍に変化する」ということを意味しています。YY の変化は ωp(≠1)\omega_p(\ne1) 倍という限定的な変化です。
    　さて、ここから pp を求める作業に入ります。３次巡回置換 (i   j   k)(i     j     k) は連続３回作用させると元に戻る、つまり３回連続の作用で恒等置換 II となるので
    　(i   j   k)(i   j   k)(i   j   k)=I(i     j     k)(i     j     k)(i     j     k)=I
    すると、恒等置換 II は YY に作用させても変わらないので
    　Y=IYY=IY
    より
    　Y=(i   j   k)(i   j   k)(i   j   k)YY=(i     j     k)(i     j     k)(i     j     k)Y
    右辺について、まずは１つ目の (i   j   k)(i     j     k) を YY に作用させると
    　Y=(i   j   k)(i   j   k){(i   j   k)Y}Y=(i     j     k)(i     j     k)\{(i     j     k)Y\}
    中カッコ {}\{\hspace{16pt}\} から先に計算してきます。この中カッコに ⑨⑨ 式
    　(i   j   k)Y=ωpY   ⋯⑨(i     j     k)Y=\omega_p Y      \cdots ⑨
    を代入すると
    　Y=(i   j   k)(i   j   k){ωpY}Y=(i     j     k)(i     j     k)\{\omega_p Y\}
    (i   j   k)(i     j     k) が作用するのは YY なので、(i   j   k)(i     j     k) を YY の前に書いて
    　Y=(i   j   k)ωp{(i   j   k)Y}Y=(i     j     k)\omega_p\{(i     j     k)Y\}
    再びこの中カッコ {}\{\hspace{16pt}\} に ⑨⑨ を代入すると
    　Y=(i   j   k)ωp⋅ωpYY=(i     j     k)\omega_p\cdot\omega_p Y
    より
    　Y=(i   j   k)(ωp)2YY=(i     j     k)(\omega_p)^2 Y
    上記と同じ計算を繰り返すことにより
    　Y=(ωp)2{(i   j   k)Y}Y=(\omega_p)^2\{(i     j     k)Y\}
    　Y=(ωp)2⋅ωpYY=(\omega_p)^2\cdot\omega_p Y
    　Y=(ωp)3YY=(\omega_p)^3 Y
    この式が成り立つためには
    　(ωp)3‾=1  ⋯⑩(\omega_p)^{\underline{3}}=1    \cdots ⑩
    すると ωp\omega_p は、⑦,  ⑧⑦,   ⑧ の条件
    　(ωp)p‾=1  ⋯⑦(\omega_p)^{\underline{p}}=1    \cdots ⑦
    かつ
    　ωp≠1  ⋯⑧\omega_p\ne1    \cdots ⑧
    を満たす定数なので、⑦⑦ と ⑩⑩ との指数部分（下線部）の比較で p=3p=3 と決定し、⑦,  ⑧⑦,   ⑧ について p=3p=3 として
    　(ω3)3=1(\omega_3)^3=1
    かつ
    　ω3≠1\omega_3\ne1
    となります。つまり ω3\omega_3 は「33 乗して 11 になる数（11 の 33 乗恨）のうち、11 ではない数」となるので、 ω3=1\omega_3=1 は却下されて
    　ω3=ω, ω2\omega_3=\omega,  \omega^2
    となり、これを ⑥⑥ 式
    　Y′=ωpY  ⋯⑥Y'=\omega_p Y    \cdots ⑥
    に代入して
    　Y′=ωY, ω2YY'=\omega Y,  \omega^2 Y
    さらに、これに ①① 式
    　(i   j   k)Y=Y′ (≠Y)　⋯①(i     j     k)Y=Y'\,(\ne Y)　\cdots ①
    を代入して
    　(i   j   k)Y=ωY, ω2Y(i     j     k)Y=\omega Y,  \omega^2Y
    となり、これは本文中の ④④ 式
    　(i   j   k)Y=ωY, ω2Y　⋯④(i     j     k)Y=\omega Y,  \omega^2Y　\cdots ④
    とまったく同じ式となります。この（注３）でおこなった pp を求める証明は、初めから p=3p=3 を前提にしている本文より厳密な証明となっています（本文全体の整合性を整える必要があるので、この注は、全体の執筆後に本文の方に移行する予定。）。

    （注４）３次の偶置換をラグランジュ・リゾルベントに作用させる（復習）

    　次の「条件Ⅱ」

    「条件Ⅱ」
    　『YY はある偶置換で変化するが、Y3Y^3 はすべての偶置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は偶置換で対称性が壊れているが、Y3Y^3 は偶置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    または、『すべての偶置換は３次巡回置換で表すことができる』ことから偶置換を３次巡回置換に置き換えた

    「条件Ⅱ」（３次巡回置換バージョン）
    　『YY はある３次巡回置換で変化するが、Y3Y^3 はすべての３次巡回置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は３次巡回置換で対称性が壊れているが、Y3Y^3 は３次巡回置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    をみたす式 YY は、３次方程式においてはラグランジュ・リゾルベント
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma
    となります。このことを確認しておきます（⇒\Rightarrow 本シリーズ (13) 参照）。
    　なお α, β, γ\alpha,  \beta,  \gamma は３次方程式 ax2+bx2+cx+d=0ax^2+bx^2+cx+d=0 の解です。その解で得られる３次置換は、次のように全部で６通りありました。

    (1)(αβγαβγ)=(αβ)(α β)(2)(αβγγαβ)=(βγ)(γα)(3)(αβγβγα)=(βγ)(α β)}偶置換(4)(αβγαγβ)=(βγ)(5)(αβγγβα)=(αγ)(6)(αβγβαγ)=(αβ)}奇置換\begin{align*} &\begin{rcases} (1)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \beta & \gamma \end{pmatrix} =\begin{pmatrix} \alpha & \beta \end{pmatrix} \begin{pmatrix} \alpha & \beta \end{pmatrix}\\ \\ (2)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \alpha & \beta \end{pmatrix} =\begin{pmatrix} \beta & \gamma \end{pmatrix} \begin{pmatrix} \gamma & \alpha \end{pmatrix}\\ \\ (3)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \gamma & \alpha \end{pmatrix} =\begin{pmatrix} \beta & \gamma \end{pmatrix} \begin{pmatrix} \alpha & \beta \end{pmatrix} \end{rcases}偶置換\\ \\ &\begin{rcases} (4)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \gamma & \beta \end{pmatrix} =\begin{pmatrix} \beta & \gamma \end{pmatrix}\\ \\ (5)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \beta & \alpha \end{pmatrix} =\begin{pmatrix} \alpha & \gamma \end{pmatrix}\\ \\ (6)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \alpha & \gamma \end{pmatrix} =\begin{pmatrix} \alpha & \beta \end{pmatrix} \end{rcases}奇置換 \end{align*}

    (1)(1)～(3)(3) は偶数個の互換の積で表せるので偶置換、(4)(4)～(6)(6) は奇数個の互換の積で表せるので奇置換となります。すると偶置換は必ず３次巡回置換で表すことができるので、(1)(1)～(3)(3) は次のように表せます。

    (1)(αβγαβγ)=(α   β   γ)(α   β   γ)(α   β   γ)(2)(αβγγαβ)=(α   γ   β)(3)(αβγβγα)=(α   β   γ)}偶置換(4)(αβγαγβ)=(βγ)(5)(αβγγβα)=(αγ)(6)(αβγβαγ)=(αβ)}奇置換\begin{align*} &\begin{rcases} (1)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \beta & \gamma \end{pmatrix} =(\alpha     \beta     \gamma)(\alpha     \beta     \gamma)(\alpha     \beta     \gamma)\\ \\ (2)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \alpha & \beta \end{pmatrix} =(\alpha     \gamma     \beta)\\ \\ (3)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \gamma & \alpha \end{pmatrix} =(\alpha     \beta     \gamma) \end{rcases}偶置換\\ \\ &\begin{rcases} (4)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \alpha & \gamma & \beta \end{pmatrix} =\begin{pmatrix} \beta & \gamma \end{pmatrix}\\ \\ (5)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \gamma & \beta & \alpha \end{pmatrix} =\begin{pmatrix} \alpha & \gamma \end{pmatrix}\\ \\ (6)\hspace{6pt} \begin{pmatrix} \alpha & \beta & \gamma\\ \beta & \alpha & \gamma \end{pmatrix} =\begin{pmatrix} \alpha & \beta \end{pmatrix} \end{rcases}奇置換 \end{align*}

    確認ですが、(1)(1) は同じ３次巡回置換を連続３回作用させると元に戻る（変化しない）ということです。(2)(2) は
    　α→γ→β→α→⋯\alpha\rightarrow\gamma\rightarrow\beta\rightarrow\alpha\rightarrow\cdots
    と巡回する置換なので (α   γ   β)(\alpha     \gamma     \beta) と表すことができ、(3)(3) は
    　α→β→γ→α→⋯\alpha\rightarrow\beta\rightarrow\gamma\rightarrow\alpha\rightarrow\cdots
    と巡回する置換なので (α   β   γ)(\alpha     \beta     \gamma) と表すことができます。
    　さて復習として、このラグランジュ・リゾルベント AA に、(2)(2) と (3)(3) の２つの３次巡回置換

    (2)(2)　(α    β    γγ    α    β)=(α   γ   β)\dbinom{\alpha       \beta       \gamma}{\gamma       \alpha       \beta}=(\alpha     \gamma     \beta)

    (3)(3)　(α    β    γβ    γ    α)=(α   β   γ)\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}=(\alpha     \beta     \gamma)

    を作用させて、どちらにおいても「条件Ⅱ」を満たしていることを確認してみます。

    (2)(2) (α   γ   β)(\alpha     \gamma     \beta) を AA に作用させる。
    　α\alpha を γ\gamma に、γ\gamma を β\beta に、β\beta を α\alpha に
    　α→γ→β→α\alpha \rightarrow \gamma \rightarrow \beta \rightarrow \alpha
    と巡回的に置き換えると

    A= α+ωβ+ω2γ↓↓↓γ+ωα+ω2β= ω3‾1 γ+ωα+ω2β= ω(ω2γ+α+ωβ)= ω(α+ωβ+ω2γ)= ωA\begin{align*} A=\,&\alpha+\omega\beta+\omega^2\gamma\\ &\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\ &\gamma+\omega\alpha+\omega^2\beta\\ =\,&\underset{1}{\underline{\omega^3}}\,\gamma+\omega\alpha+\omega^2\beta\\ =\,&\omega(\omega^2\gamma+\alpha+\omega\beta)\\ =\,&\omega(\alpha+\omega\beta+\omega^2\gamma)\\ =\,&\omega A \end{align*}

    より
    　(α   γ   β)A=ωA　⋯⑫(\alpha     \gamma     \beta)A=\omega A　\cdots ⑫
    となり、AA は ωA\omega A に変化します。
    　所々で ω3=1\omega^3=1 をうまく使います。γ\gamma に ω3\omega^3 をかけるのがポイントです。ω3\omega^3 は 11 なので掛けても式の値は変わりません。また最後に ω\omega でくくって ωA\omega A を導いています。ω\omega でくくったときに、α\alpha の係数が 11 になるようにするのもポイントです。
    　また、(α   γ   β)(\alpha     \gamma     \beta) の A3A^3 への作用は、AA のみに作用して３乗は変えないので

    (α   γ   β)A3=(α   γ   β)A⋅(α   γ   β)A⋅(α   γ   β)A={(α   γ   β)A}3=(ωA)3　　（⑫を代入）=ω3A3\begin{align*} (\alpha     \gamma     \beta)A^3&=(\alpha     \gamma     \beta)A\cdot(\alpha     \gamma     \beta)A\cdot(\alpha     \gamma     \beta)A\\ &=\{(\alpha     \gamma     \beta)A\}^3\\ &=(\omega A)^3　　（ ⑫ を代入）\\ &=\omega^3A^3 \end{align*}

    ω3=1\omega^3=1 より

    (α   γ   β)A3=A3\begin{align*} (\alpha     \gamma     \beta)A^3&=A^3\\ \end{align*}

    となり、A3A^3 は変化しません。これで確かにラグランジュ・リゾルベント AA は「条件Ⅱ」の YY

    「条件Ⅱ」（３次巡回置換バージョン）
    　『YY はある３次巡回置換で変化するが、Y3Y^3 はすべての３次巡回置換で変化しない（ただし Y3Y^3 は対称式ではない）』
    　言い換えると
    　『YY は３次巡回置換で対称性が壊れているが、Y3Y^3 は３次巡回置換で対称性が保たれている（ただし Y3Y^3 は対称式ではない）』

    を満たします。YY として
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma 
    をとればいいわけです。次に (3) を作用させてみます。

    (3)(3) (α   β   γ)(\alpha     \beta     \gamma) を AA に作用させる。
    　α\alpha を β\beta に、β\beta を γ\gamma に、γ\gamma を α\alpha に
    　α→β→γ→α\alpha \rightarrow \beta \rightarrow \gamma \rightarrow \alpha
    と巡回的に置き換えると

    A= α+ωβ+ω2γ↓↓↓β+ωγ+ω2α= ω3‾1 β+ω3‾1⋅ωγ+ω2α= ω3β+ω4γ+ω2α= ω2(ωβ+ω2γ+α)= ω2(α+ωβ+ω2γ)=ω2A\begin{align*} A=\,&\alpha+\omega\beta+\omega^2\gamma\\ &\hspace{-2pt}\downarrow\hspace{20pt}\downarrow\hspace{24pt}\downarrow\\ &\beta+\omega\gamma+\omega^2\alpha\\ =\,&\underset{1}{\underline{\omega^3}}\,\beta+\underset{1}{\underline{\omega^3}}\cdot\omega\gamma+\omega^2\alpha\\ =\,&\omega^3\beta+\omega^4\gamma+\omega^2\alpha\\ =\,&\omega^2(\omega\beta+\omega^2\gamma+\alpha)\\ =\,&\omega^2(\alpha+\omega\beta+\omega^2\gamma)=\omega^2A\\ \end{align*}

    より
    　(α   β   γ)A=ω2A　⋯⑬(\alpha     \beta     \gamma)A=\omega^2A　\cdots ⑬
    となり、AA は ω2A\omega^2A に変化します。
    　ここでも所々で ω3=1\omega^3=1 を使います。ω3\omega^3 は 11 なので掛けても式の値は変わりません。また最後に ω2\omega^2 でくくって ω2A\omega^2A を導きます。ここでも ω2\omega^2 でくくったときに、α\alpha の係数が 11 になるようにするのがポイントです。
    　また、(α   γ   β)(\alpha     \gamma     \beta) の A3A^3 への作用は、AA のみに作用して３乗は変えないので

    (α   β   γ)A3=(α   β   γ)A⋅(α   β   γ)A⋅(α   β   γ)A={(α   β   γ)A}3={ω2A}3　　（⑬を代入）=(ω2)3A3=ω6A3\begin{align*} (\alpha     \beta     \gamma)A^3&=(\alpha     \beta     \gamma)A\cdot(\alpha     \beta     \gamma)A\cdot(\alpha     \beta     \gamma)A\\ &=\{(\alpha     \beta     \gamma)A\}^3\\ &=\{\omega^2A\}^3　　（⑬を代入）\\ &=(\omega^2)^3A^3\\ &=\omega^6A^3 \end{align*}

    ω6=(ω3)2=22=1\omega^6=(\omega^3)^2=2^2=1 より

    (α   γ   β)A3=A3\begin{align*} (\alpha     \gamma     \beta)A^3&=A^3\\ \end{align*}

    となり、A3A^3 は変化しません。(2)と同様、 (3) のときも確かに AA は「条件Ⅱ」の YY を満たします。
    　これで「条件Ⅱ」を満たす YY として、ラグランジュ・リゾルベント
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma
    をとってもよいことがわかりました。

    （注５）ラグランジュ・リゾルベントは対称式ではないこと

    　A3A^3 に互換 (α   β)(\alpha     \beta) を作用させる。つまり A3A^3 について α\alpha を β\beta に、β\beta を α\alpha に置き換えると

    A3= (α+ωβ+ω2γ)3↓↓(β+ωα+ω2γ)3≠A3 \begin{align*} A^3=\,&(\alpha+\omega\beta+\omega^2\gamma)^3\\ &\hspace{2pt}\downarrow\hspace{20pt}\downarrow\\ &(\beta+\omega\alpha+\omega^2\gamma)^3 \ne A^3  \end{align*}

    となり別の式になります。

    （注６）「すくなくとも１つ」の意味

    　『YY は３次巡回置換で変化する』という条件を満たためには、その３次巡回置換は「少なくとも１つ」存在すればいいのですが、もちろん複数あっても構いません。なお、まったく存在しないのは『YY は３次巡回置換で変化する』という条件をそもそも満たさないので論外となります。
    　実際、３次方程式の解の公式では、YY をラグランジュ・リゾルベント
    　A=α+ωβ+ω2γA=\alpha+\omega\beta+\omega^2\gamma
    とすることによって、２つの３次巡回置換 (α   γ   β)(\alpha     \gamma     \beta) と (α   β   γ)(\alpha     \beta     \gamma) で変化しました（注４）。

    （注７）式に置換を作用させるときの表記法（復習）

    　ある式 AA に例えば置換 (α    β    γβ    γ    α)\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha} を作用させることを、次のように表記します。

    (α    β    γβ    γ    α)A↑↑置換式\begin{align*} &\dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha}A\\ &\hspace{21pt}\uparrow\hspace{26pt}\uparrow\\ &\hspace{17pt}{\small 置換}\hspace{17pt}{\small 式} \end{align*}

    つまり、式の前に作用させたい置換を置きます。今の場合、この置換は

    (α    β    γβ    γ    α)=(α   β   γ)\begin{align*} \dbinom{\alpha       \beta       \gamma}{\beta       \gamma       \alpha} =(\alpha     \beta     \gamma) \end{align*}

    と巡回置換で書けたので、次のように簡潔に表記できます。

    (α   β   γ)A↑↑置換式\begin{align*} &(\alpha     \beta     \gamma)A\\ &\hspace{16pt}\uparrow\hspace{19pt}\uparrow\\ &\hspace{12pt}{\small 置換}\hspace{11pt}{\small 式} \end{align*}

    例えば、差積 X3=(α−β)(β−γ)(γ−α)X_3=(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha) に巡回置換 (α   β   γ)(\alpha     \beta     \gamma) を作用させることは次のように表記できます。

    (α   β   γ)X3= (α   β   γ){(α−β)(β−γ)(γ−α)}↑↑置換式\begin{align*} &(\alpha     \beta     \gamma)X_3\\ =\,&(\alpha     \beta     \gamma)\{(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}\\ &\hspace{16pt}\uparrow\hspace{69pt}\uparrow\\ &\hspace{12pt}{\small 置換}\hspace{61pt}{\small 式} \end{align*}

    式は３つの小カッコ ()()()(\hspace{14pt})(\hspace{14pt})(\hspace{14pt}) で構成されるので、外側を中カッコ {}\{\hspace{14pt}\} で囲います。小カッコの外は中カッコで囲うルールです。さて復習も兼ねて実際にこの置換を実行すると、３次巡回置換 (α   β   γ)(\alpha     \beta     \gamma) は
    　α→β→γ→α\alpha \rightarrow \beta \rightarrow \gamma \rightarrow \alpha
    と α\alpha を β\beta に、β\beta を γ\gamma に、γ\gamma を α\alpha に巡回的に置き換えるので

    (α   β   γ){(α−β)(β−γ)(γ−α)}↓↓↓↓↓↓= (γ−α)(α−β)(β−γ)= (α−β)(β−γ)(γ−α)⇐変化しない\begin{align*} (\alpha     \beta     \gamma)\{&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha)\}\\ &\hspace{1.5pt}\downarrow\hspace{13pt}\downarrow\hspace{9pt}\downarrow\hspace{14pt}\downarrow \hspace{9pt}\downarrow\hspace{13pt}\downarrow\\ =\,&(\gamma-\alpha)(\alpha-\beta)(\beta-\gamma)\\ =\,&(\alpha-\beta)(\beta-\gamma)(\gamma-\alpha) \hspace{2pt}\Leftarrow 変化しない \end{align*}

    となり、式は変化しないことがわかります。

    （注８）３乗の方程式を解くことについて

    　本文でも書きましたが
    　{(i   j   k)Y}3=Y3　⋯(∗1)\{(i     j     k)Y\}^3=Y^3　\cdots (*1)
    から (i   j   k)Y(i     j     k)Y を決定すると、一時的に
    　(i   j   k)Y=Y, ωY, ω2Y(i     j     k)Y=Y,  \omega Y,  \omega^2Y　
    となりますが、本文 ①① より (i   j   k)Y≠Y(i     j     k)Y\ne Y なので、YY は却下されて
    　(i   j   k)Y=ωY, ω2Y　⋯(∗2)(i     j     k)Y=\omega Y,  \omega^2Y　\cdots (*2)
    となることは本文で述べました。(i   j   k)Y(i     j     k)Y は、YY の ω\omega 倍か、ω2\omega^2 倍と決定されます。なお ω\omega は、「33 乗して 11 になる数（11 の 33 乗恨 1, ω, ω21,  \omega,  \omega^2）のうち 11 ではない数」です。具体的には虚数
    　ω=1+3i2\omega=\dfrac{1+\sqrt{3}i}{2}
    または
    　ω=1−3i2\omega=\dfrac{1-\sqrt{3}i}{2}
    となります。これと同様の議論は、高校数学では

     問題　x3=27x^3=27 を解きなさい。ただし xx は複素数とする。

    というような問題で現れます。具体的に解いてみると、与式を 2727 で割って
    　x327=1\dfrac{x^3}{27}=1
    27=3327=3^3 より
    　x333=1\dfrac{x^3}{3^3}=1　(x3)3=1\left(\dfrac{x}{3}\right)^3=1
    より、３乗して 11 になる数は 1, ω, ω21,  \omega,  \omega^2 なので
    　x3=1, ω, ω2\dfrac{x}{3}=1,  \omega,  \omega^2
    両辺に 33 をかけて
    　x=3, 3ω, 3ω2x=3,  3\omega,  3\omega^2
    として解が得られます。x3=27x^3=27 をみたす解は、33 は自明ですが、他にも 33 の ω\omega 倍と、33 の ω2\omega^2 倍というように、３つの解
    　x=3, 3ω, 3ω2x=3,  3\omega,  3\omega^2
    があるということです。このことは次のような形式で知っておくとよいでしょう。

    ＜x3=a\boldsymbol{x^3=a} の解＞
     aa を実数として x3=ax^3=a の解は
    　x=a3, a3 ω, a3 ω2x=\sqrt[3]{a},  \sqrt[3]{a}\,\omega,  \sqrt[3]{a}\,\omega^2
    なお ω\omega は、「33 乗して 11 になる数（11 の 33 乗恨 1, ω, ω21,  \omega,  \omega^2）のうち 11 ではない数」 。具体的には虚数
    　ω=1+3i2\omega=\dfrac{1+\sqrt{3}i}{2}
    または
    　1−3i2\dfrac{1-\sqrt{3}i}{2}
    である。

    　例えば、x3=5x^3=5 の解は
    　x=53, 53 ω, 53 ω2x=\sqrt[3]{5},  \sqrt[3]{5}\,\omega,  \sqrt[3]{5}\,\omega^2
    x3=8x^3=8 の解は
    　x=83, 83 ω, 83 ω2x=\sqrt[3]{8},  \sqrt[3]{8}\,\omega,  \sqrt[3]{8}\,\omega^2
    ここで 83=233=2\sqrt[3]{8}=\sqrt[3]{2^3}=2 より
    　x=2, 2ω, 2ω2x=2,  2\omega,  2\omega^2
    となります。最初の
    　{(i   j   k)Y}3=Y3　⋯(∗1)\{(i     j     k)Y\}^3=Y^3　\cdots (*1)
    から
    　(i   j   k)Y=ωY, ω2Y　⋯(∗2)(i     j     k)Y=\omega Y,  \omega^2Y　\cdots (*2)
    と決定する過程も、この形式にのっとっています。（蛇足ですが）このことを分かりよくするために (i   j   k)Y(i     j     k)Y を XX と置いてみます。すると (∗1)(*1) は
    　X3=Y3X^3=Y^3
    ここで、上で述べた x3=ax^3=a の解の形式を使って
    　X=Y33, ωY33, ω2Y33X=\sqrt[3]{Y^3},  \omega\sqrt[3]{Y^3},  \omega^2\sqrt[3]{Y^3}
    Y33=Y\sqrt[3]{Y^3}=Y より 
    　X=Y, ωY, ω2YX=Y,  \omega Y,  \omega^2 Y
    ここで、XX を (i   j   k)Y(i     j     k)Y に戻して
    　(i   j   k)Y=Y, ωY, ω2Y(i     j     k)Y=Y,  \omega Y,  \omega^2Y
    本文 ①① より (i   j   k)Y≠Y(i     j     k)Y\ne Y なので
    　(i   j   k)Y=ωY, ω2Y　⋯(∗2)(i     j     k)Y=\omega Y,  \omega^2Y　\cdots (*2)
    と (i   j   k)Y(i     j     k)Y は決定されます。

    （参考）各章の内容

    （１）「２次方程式の解の公式」を式変形で導出
    　　　・平方完成
    （２）「３次方程式の解の公式」を導出するための準備
    　　　・11 の３乗根 ω\omega
    （３）「３次方程式の解の公式」を式変形で導出
    　　　・チルンハウス変換
    （４）「解と係数の関係」と「対称式」の解説
    （５）「対称式」を用いた「２次方程式の解の公式」の導出
    （６）「解の置換」と「ラグランジュ・リゾルベント」の解説
    （７）「ラグランジュ・リゾルベント」による「３次方程式の解の公式」の導出
    （８）「偶置換」と「奇置換」の解説（ここから「アーベルの証明」の準備）
    （９）「差積の２乗」が対称式となることを解説
    （10）「平方根」「３乗根」と次々と累乗根を加えていくアイデア
    （11）「アーベルの証明」のアイデアを用いて、なぜ「２次方程式の解の公式が存在するのか」を解説（添加する式について加筆予定）
    （12）「アーベルの証明」のアイデアを用いて、なぜ「３次方程式の解の公式が存在するのか」を解説（前編）。「差積の２乗の平方根」を用いて対称性を保つ置換を「偶置換」にまで絞り込む（破壊する）。
    （13）「アーベルの証明」のアイデアを用いて、なぜ「３次方程式の解の公式が存在するのか」を解説（後編）。「ラグランジュ・リゾルベント」を用いて対称性を保つ置換を「恒等置換」にまで絞り込む（破壊する）。⟶\longrightarrow ３次方程式の解の公式の完成
    （14）「アーベルの証明」の解説（１編）。５次方程式の解の差積（または差積の２乗の平方根）を添加して、加減乗除ができる式の範囲を拡大。その結果、構成可能な式の対称性が５次置換（対称式）から偶置換シンメトリーへと破壊されることを解説。
    （15）「アーベルの証明」の解説（２編）。すべての置換は互換で表せることから、５次置換をすべて互換の積で表して、偶置換と奇置換に分類する。
    （16）「アーベルの証明」の解説（３編）。「すべての偶置換は３次巡回置換の積で表される」ことの解説。
    （17）（予定）「アーベルの証明」の解説（最後）。「任意の３次巡回置換が５次巡回置換の積で表せる」ことによって、５次方程式には解の公式が存在しないことが証明されることの解説。


    この記事が参加している募集

    あなたへのおすすめ