ガロア理論を使って方程式を解いた事ありますか?

Home

【例題1】 EX1-RT1  EX1-RT2  EX1-RT3  EX1-RT4   ガロア群
         \(f(x)=x^3+3x+1\)           \(S_3\)
【例題2】 EX2  \(f(x)=x^3-3x+1\)           \(A_3\)
【例題3】 EX3  \(f(x)=x^5-10x^3+5x^2+10x+1\)  \( \ \ C_5\)
【例題4】 EX4  \(f(x)=x^4+4x+2\)           \(S_4\)


    【補足1】 APX1 代数体上での因数分解
    【補足2】 APX2 1の原始冪乗根 \("\omega \ and \ \zeta_5"\) の計算
    【補足3】 APX3 巡回多項式と円分方程式 \(\Phi_{17}(x)\)
    【補足4】 APX4 添加数生成時の計算のポイント
    【補足5】 APX5 \(x^3-2=0, \ x^5-3=0\) に関して
    【補足6】 APX6 拡大体 \(F_i\) での計算の注意点

【例題4】の解法手順

EX4-1

\begin{align*} &f(x)=x^4+4x+2 \\ &\qquad \{\alpha,\beta,\gamma,\delta\}: \ roots \ of \ f(x)\\ \\ & v: \ Primitive \ element \\ & \qquad v=1\cdot\alpha+2\cdot\beta+3\cdot\gamma+4 \cdot \delta \end{align*}

流れ
EX4-2

\[ \qquad The \ system \ of \ equations \]

\[ \left\{ \begin{array}{l} r_1={{\alpha }^{4}}+4\alpha +2=0\\ r_2={{\beta }^{3}}+\alpha {{\beta }^{2}}+{{\alpha }^{2}} \beta +{{\alpha }^{3}}+4=0 \\ r_3={{\gamma }^{2}}+\left( \beta +\alpha \right) \gamma +{{\beta }^{2}}+\alpha \beta +{{\alpha }^{2}}=0\\ r_4= \alpha+\beta+\gamma+\delta =0\\ r_5=v-(\alpha+2\beta+3\gamma+4\delta )=0 \\ \end{array} \right.\\ \quad \\ \qquad \qquad \qquad \Downarrow \]

\[ \qquad Elimination \ Theory \]

\[ V(v)=v^{24}-160v^{20}+5440v^18+30080v^{16}+...\\ \quad...+700091596800v^2+4691625312256\\ \]

流れ
EX4-3

\begin{align*} &V(x): \ irreducible \ polynomial \\ \\ &\therefore \ g_0(x) \equiv V(x) \qquad deg(g_0(x))=24\\ \\ &g_0(x):minimal \ polynomial \ of \ v \ on \ F_0=Q(\omega) \\ \end{align*}

流れ
EX4-4

\[Factorization \ of \ f(x) \ on \ F_0(v)\] \[\quad "maxima's \ function \ "\] \[\qquad factor(f(x),g_0(v))\]

流れ
EX4-5

\begin{align*} &\alpha=\alpha(v), \ \beta=\beta(v), \ \gamma=\gamma(v), \ \delta=\delta(v)\\ \\ &roots \ of \ g_0(x) \ ( \ =V(x) \ )\\ &\quad [ \ v_1=v_1(v), \ ....\ , \ v_{24}=v_{24}(v) \ ] \\ \end{align*}

流れ
EX4-6

\begin{align*} &S_4: Galois \ group \ of \ f(x) \\ &composition \ series \quad S_4 \rhd \ A_4 \rhd \ V_4 \rhd \{e\} \end{align*}

流れ
EX4-7

\[g_1(x)\ : \ minimal \ polynomial \ of \ v\\ \qquad g_1(x) \ \in \ F_0(a_1)[x]\qquad deg(g_1(x))=12 \\ \quad \\ B_1=a_1^2+17510400\]

流れ
EX4-8

\[g_2(x)\ : \ minimal \ polynomial \ of \ v\\ \qquad g_2(x) \ \in \ F_1(a_2)[x] \qquad deg(g_2(x))=4\\ \quad \\ B_2=a_2^3-\frac{14 {a_1} \omega }{27}-2304 \omega -\frac{89 {a_1}}{135}+1088 \]

流れ
EX4-9

\[ g_3(x)\ : \ minimal \ polynomial \ of \ v\\ \qquad g_3(x) \ \in \ F_2(a_3)[x] \qquad deg(g_3(x))=2\\ \]

\[ B_3=a_3^2-\biggl( \frac{23 {a_1} {{a}_{2}^{2}} \omega }{324480}+\frac{63 {{a}_{2}^{2}} \omega }{338}-\frac{8 {a_2} \omega }{13}\\ \qquad \qquad +\frac{{a_1} {{a}_{2}^{2}}}{324480}+\frac{135 {{a}_{2}^{2}}}{338}-\frac{32 {a_2}}{13} \biggr)\\ \]

流れ
EX4-10

\[ g_4(x)\ : \ minimal \ polynomial \ of \ v\\ \qquad g_4(x) \ \in \ F_3(a_4)[x] \qquad deg(g_4(x))=1\\ \]

\[ B_4=a_4^2-\biggl(-\frac{11 {a_1} {{a}_{2}^{2}} \omega }{2595840}+\frac{9 {{a}_{2}^{2}} \omega }{676}+\frac{2 {a_2} \omega }{13} \\ \qquad \qquad -\frac{23 {a_1} {{a}_{2}^{2}}}{5191680}-\frac{63 {{a}_{2}^{2}}}{5408}+\frac{3 {a_2}}{26}\biggr)\\ \]

流れ
EX4-11

\begin{align*} &v=v(a_1,a_2,a_3,a_4,\omega) \ \in \ F_4=F_0(a_1,a_2,a_3,a_4,\omega) \\ \\ &\left\{ \begin{array}{l} \alpha=\alpha(a_1,a_2,a_3,a_4,\omega), \ \ \beta=\beta(a_1,a_2,a_3,a_4,\omega) \\ \gamma=\gamma(a_1,a_2,a_3,a_4,\omega), \ \ \delta=\delta(a_1,a_2,a_3,a_4,\omega) \\ \end{array} \right.\\ \end{align*}

                                      Home   

EX4-8 \(F_2/F_1\) の計算:最小多項式\(g_2(x)\)を求める

計算は、下図Fig.4-3の緑の部分です。

体の変換

【step2】剰余群\([ \ A_4/V_4 \cong C_3 \ ]\) 巡回拡大\([ \ F_2/F_1 \ ]\) \(g_2(x) \)の計算

\begin{align} \setCounter{53} & h_0=\prod_{\sigma_i \in \ V_4}\sigma_i(x-v)=(x-v_1)(x-v_8)(x-v_{17})(x-v_{24}) \\ &h_1=(x-v_4)(x-v_{12})(x-v_{13})(x-v_{21}) \notag \\ &h_2=(x-v_5)(x-v_9)(x-v_{16})(x-v_{20}) \notag \\ \end{align}

\begin{align} \notag \\ &\begin{bmatrix} t_0 \\ t_1 \\ t_2 \end{bmatrix} =\frac{1}{3} \begin{bmatrix} 1&1&1 \\ 1&\omega&\omega^2\\ 1&(\omega^2)&(\omega^2)^2\\ \end{bmatrix} \cdot \begin{bmatrix} h_0 \\ h_1 \\ h_2 \end{bmatrix} \qquad \begin{array}{l} ( \ Lagrange \ resolvent \ )\\ \\ \quad \bbox[#00FFFF]{ \Omega=\omega^2+\omega+1=0 } \end{array} \\ \notag \\ &\left\{ \begin{array}{l} t_0 \ \in \ F_1[x] \\ \{t_1,t_2\} \ \in \ F_1(v)[x] \end{array} \right. \quad \Longrightarrow \quad \left\{ \begin{array}{l} B_2=a_2^3-A_2=0 \quad A_2 \in F_1 \\ \{\tilde{t_1},\tilde{t_2} \} \ \in \ F_2[x]=F_0(a_1,a_2)[x] \end{array} \right. \\ \notag \\ &\begin{bmatrix} \tilde{h_0} \\ \tilde{h_1} \\ \tilde{h_2} \end{bmatrix} = \begin{bmatrix} 1&1&1 \\ 1&\omega^2&(\omega^2)^2\\ 1&\omega&(\omega^2)\\ \end{bmatrix} \cdot \begin{bmatrix} t_0 \\ \tilde{t_1} \\ \tilde{t_2} \end{bmatrix} \quad \Longrightarrow \quad \left\{ \begin{array}{l} g_1(x)=\tilde{h_0}\cdot \tilde{h_1} \cdot \tilde{h_2} \\ g_2(x) \equiv \tilde{h_0} \ \in \ F_2[x] \end{array} \right. \\ \notag \\ & g_1(x)=0 \quad \Rightarrow \quad \left\{ \begin{array}{l} g_2(x)=0\\ B_2=0 \end{array} \right. \\ \end{align}


明らかに、クラインの四元群 \(V_4\) の任意の要素で、\(h_0\) は不変です。更に\((x-v)\)の因子も含んでいますから、 以下で形成される拡大体 \(F_2\) 上での \(v\) の最小多項式になるはずです。
式(54)の \(\{h_0,h_1,h_2\}\) の中の \(v_i\) に、式(25)の \(v\) の多項式表現を代入して式(55)を計算します。 以下の計算は全て、 \([ \ mod \ g_1(v), \ mod \ B_1, \ \bbox[#00FFFF]{ mod \ \Omega} \ ]\) の順で計算する事に注意!

\begin{align} & t_0=x^4+112 \\ \end{align}

\begin{align} & t_1=\Biggl[\frac{176356098785 {a_1} {{v}^{10}} \omega }{26343508540135700992}+...+\frac{27924690836995920}{2708008690392239} \Biggr]x^2 +.... \\ & t_2=\Biggl[ -\frac{176356098785 {a_1} {{v}^{10}} \omega }{26343508540135700992}+...-\frac{193463308578480}{2708008690392239} \Biggr]x^2 +.... \\ \end{align}

式(59)(60)(61)より \([ \ t_0 \in F_0[x], \ \{ \ t_1,t_2 \ \} \in F_1(v)[x] \ ]\) である事が判りました。

\(\{ \ t_1,t_2 \ \}\) は \(x\) の2次の多項式ですが、\(x^2\) の係数は式(60)(61)の括弧 \([...]\) で囲まれた部分で 、\(F_1(v)\) の元である事が判ります。(上式は非常に複雑なので省略して記述しております)
この \(\{ \ t_1,t_2 \ \}\) の最高次 \(x^2\) の係数を \(\{a_2,b_2\}\) とします。して、\(\{a_2,b_2\}\) の 逆数 \(\{a_2^{-1},b_2^{-1}\}\) を計算してみます。(逆数の計算方法は【補足6】を参照してください)
更に、この \(\{a_2^{-1},b_2^{-1}\}\) を \(\{t_1,t_2\}\) に掛けて、 最高係数が1となるモニックな多項式 \(\{q_1,q_2\}\) を計算してみます。 すると、式(62)の様に \([ \ \{q_1,q_2\} \ \in \ F_1[x] \ ]\) という事が判りました。

\begin{align} a_2=&\Biggl[\frac{176356098785 {a_1} {{v}^{10}} \omega }{26343508540135700992} +\frac{103314391395 {{v}^{10}} \omega }{5416017380784478}+.....+\frac{27924690836995920}{2708008690392239} \Biggr] \notag \\ b_2=&\Biggl[ -\frac{176356098785 {a_1} {{v}^{10}} \omega }{26343508540135700992} -\frac{103314391395 {{v}^{10}} \omega }{5416017380784478}+.....-\frac{193463308578480}{2708008690392239} \Biggr] \notag \\ a_2^{-1}=&\Biggl[-\frac{529068296355 {a_1} {{v}^{10}} \omega }{10958899552696451612672} -\frac{309943174185 {{v}^{10}} \omega }{2253063230406342848}+.....-\frac{36274370358465}{70408225950198214} \Biggr] \notag \\ b_2^{-1}=&\Biggl[\frac{529068296355 {a_1} {{v}^{10}} \omega }{10958899552696451612672} +\frac{309943174185 {{v}^{10}} \omega }{2253063230406342848}+.....+\frac{5235879531936735}{70408225950198214} \Biggr] \notag \\ \notag \\ \end{align}

\begin{align} q_1= \ a_2^{-1} \cdot t_1= x^2-\frac{5 {a_1} \omega }{2496}+\frac{18 \omega }{13}-\frac{31 {a_1}}{24960}-\frac{207}{26} \ \in \ F_1[x] \\ q_2= \ b_2^{-1} \cdot t_2= x^2+\frac{5 {a_1} \omega }{2496}-\frac{18 \omega }{13}+\frac{19 {a_1}}{24960}-\frac{243}{26} \ \in \ F_1[x] \notag \\ \end{align}

次に、【例題1】と同様に、\(a_2\) の3乗を計算してみます。すると、\(a_2\) の3乗は式(63)の様に、 \(F_1\)の数である事が判ります。 これを\(A_2\)とします。この \(A_2\) を使うと、もともと \(F_1(v)\) の数であった\(a_2\)は、式(64)の様に、2項方程式 \([ \ B_2=0 \ ]\) の 冪根として定義出来る事が判ります。
この時点で\(a_2\)はもはや\(F_1(v)\)の数ではありません。 体 \(F_1\) に添加して拡大体 \(F_2\) を生成する数として定義されます。

\begin{align} &a_2^3= \frac{14 {a_1} \omega }{27}+2304 \omega +\frac{89 {a_1}}{135}-1088 \equiv A_2 \ \in \ F_1\\ \notag \\ &B_2 \equiv a_2^3-A_2=0 \quad a_2 \equiv \sqrt[3]{A_2} \quad \Rightarrow \quad \bbox[#FFFF00]{ F_2 \equiv F_1(a_2) } \\ \end{align}

更に、【例題1】と同様に、 \(A_2^{-1}\) や \(a_2 \cdot b_2 \) も計算すると、\(b_2\) を \(a_2\) で表す事ができます。(式(67))
更にそれを使って、\(\{t_1,t_2\}\) を \(F_2[x]\) として表現する事をします。

\begin{align} & A_2^{-1}=-\frac{7 {a_1} \omega }{35995648}-\frac{243 \omega }{281216}+\frac{19 {a_1}}{359956480}-\frac{1431}{1124864} \in F_1 \\ &a_2 \cdot b_2=\frac{416}{3} \ \in \ F_0\\ \notag \\ &b_2=\frac{a_2^2 \cdot (a_2 \cdot b_2)}{a_2^3}=A_2^{-1} \cdot a_2^2 \cdot (a_2 \cdot b_2) \notag \\ &\quad \therefore \ b_2=a_2^2\biggl(-\frac{7 {a_1} \omega }{259584}-\frac{81 \omega }{676}+\frac{19 {a_1}}{2595840}-\frac{477}{2704}\biggr) \\ \notag \\ &\tilde{t_1}=a_2 \cdot q_1=a_2\biggl( x^2-\frac{5 {a_1} \omega }{2496}+\frac{18 \omega }{13}-\frac{31 {a_1}}{24960}-\frac{207}{26} \biggr) \ \in \ F_2[x]\\ &\tilde{t_2}=b_2 \cdot q_2=b_2\biggl( x^2+\frac{5 {a_1} \omega }{2496}-\frac{18 \omega }{13}+\frac{19 {a_1}}{24960}-\frac{243}{26} \biggr) \ \in \ F_2[x]\\ \end{align}

最後に、式(59)の \(t_0\) と式(68)(69)の \([ \ \tilde{t_1},\tilde{t_2} \ ]\) を、式(56)に代入すると、 \(F_2\) 上の \(v\) の最小多項式 \(\tilde{h_0} \equiv g_2(x)\) を求める事が出来ます。

次ページに続く


Profile
  Name:scruta   Daily life:mowing             

Revision history
  1st upload: 2023/06/17
  revision2 : 2023/07/27


maxima programs
もしご興味があれば、下記のページよりダウンロード出来ます。
但し、何の工夫もないプログラムです。

   download pageへ

Mail
もしご意見があれば下記のメールアドレスにe-mailでお送り下さい
(なおスパムメール対策のために、メールアドレスを画像表示しています)
  mailaddress