証明に取り組む

エミール・アルティン『ガロア理論入門』第2章第3節で、証明を読者にまかされたところがある。

ここで $E_1$ の2つの要素 $g( \xi )$ と $h( \xi )$ に対して通常の積のほかに新しい乗法を定義し、それを $g( \xi ) \times h( \xi )$ と表わす。すなわち $g( \xi ) \times h( \xi )$ とは通常の積 $g( \xi ) h( \xi )$ の $f(x)$ を法とした剰余 $r( \xi )$ のことと定義する。するとまず、$g_1 ( \xi )$, $g_2 ( \xi )$ , $\cdots$, $g_m( \xi )$ の積 $g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_m( \xi )$ は通常の積 $g_1 ( \xi ) g_2 ( \xi ) \cdots g_m( \xi )$ の剰余に等しいことがわかる。この性質は $m = 2$ のときは定義から明らかであり、任意の $m$ に対しては次の性質と数学的帰納法とを用いて示される。その性質とは
“ $g_1( \xi )$ と $g_2( \xi )$ の剰余をそれぞれ $r_1( \xi )$ と $r_2( \xi )$ とすると $g_1( \xi ) g_2( \xi )$ と $r_1( \xi ) r_2( \xi )$ とは同じ剰余をもつ”
ということである。この証明の詳細は読者にまかせよう。

この証明に取り組んでみよう。

もう少しスマートな証明方法、書き方があるかもしれないし、不足部分もあるかもしれない。


（以下、証明）

まず「$g_1( \xi )$ と $g_2( \xi )$ の剰余をそれぞれ $r_1( \xi )$ と $r_2( \xi )$ とすると $g_1( \xi ) g_2( \xi )$ と $r_1( \xi ) r_2( \xi )$ とは同じ剰余をもつ」ということについて確認しておこう。

$g_1( \xi )$ と $g_2( \xi )$ の剰余をそれぞれ $r_1( \xi )$ と $r_2( \xi )$ とする。このときの商をそれぞれ $q_1( \xi )$ と $q_2( \xi )$ とすると、除法のアルゴリズムにより $g_1( \xi )$ と $g_2( \xi )$ は次のように書ける。
$$g_1( \xi ) = q_1( \xi ) f( \xi ) + r_1( \xi ) , \qquad g_2( \xi ) = q_2( \xi ) f( \xi ) + r_2( \xi )$$
$g_1( \xi ) g_2( \xi )$ を計算する。
$$\begin{eqnarray} g_1( \xi ) g_2( \xi ) &=& \{ q_1( \xi ) f( \xi ) + r_1( \xi ) \} \{ q_2( \xi ) f( \xi ) + r_2( \xi ) \} \\ &=& q_1( \xi ) f( \xi ) q_2( \xi ) f( \xi ) + q_1( \xi ) f( \xi ) r_2( \xi ) + q_2( \xi ) f( \xi ) r_1( \xi ) + r_1( \xi ) r_2( \xi ) \\ &=& f( \xi ) \{ q_1( \xi ) q_2( \xi ) f( \xi ) + q_1( \xi ) r_2( \xi ) + q_2( \xi ) r_1( \xi ) \} + r_1( \xi ) r_2( \xi ) \\ \end{eqnarray}$$
右辺の $f( \xi ) \{ q_1( \xi ) q_2( \xi ) f( \xi ) + q_1( \xi ) r_2( \xi ) + q_2( \xi ) r_1( \xi ) \}$ は $f( \xi )$ で割りきれる。$r_1( \xi ) r_2( \xi )$ を $f( \xi )$ で割ったときの剰余が $g_1( \xi ) g_2( \xi )$ の剰余となることがわかる。


続いて「$g_1 ( \xi )$, $g_2 ( \xi )$ , $\cdots$, $g_m( \xi )$ の積 $g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_m( \xi )$ は通常の積 $g_1 ( \xi ) g_2 ( \xi ) \cdots g_m( \xi )$ の剰余に等しいこと」を数学的帰納法で証明する。

通常の積 $g_1 ( \xi ) g_2 ( \xi ) \cdots g_m( \xi )$ を $f ( \xi )$ で割った商を $Q_m ( \xi )$ 、剰余を $R_m( \xi )$ とすると、除法のアルゴリズムにより次のように書ける。$g_1( \xi )$ と $g_2( \xi )$ の剰余をそれぞれ $r_1( \xi )$ と $r_2( \xi )$ とすると $g_1( \xi ) g_2( \xi )$ と $r_1( \xi ) r_2( \xi )$ とは同じ剰余をもつことが示されているのでこのように書いても差し支えない。$r_1( \xi ) r_2( \xi )$ の剰余が $R_2 ( \xi )$ 、$r_1( \xi ) r_2( \xi ) \cdots r_m ( \xi )$ の剰余が $R_m ( \xi )$ であると考えてもいい。
$$g_1 ( \xi ) g_2 ( \xi ) \cdots g_m( \xi ) = Q_m ( \xi ) f ( \xi ) + R_m( \xi )$$
$R_m( \xi )$ の次数は、$f ( \xi )$ の次数より小さい。
いま証明したいことは、 $g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_m( \xi ) = R_m( \xi )$ である。

定義より、$m = 2$ のとき成り立つことは明らかである。

$m = k$ のとき、$g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_k( \xi ) = R_k( \xi )$ が成り立っていると仮定する。

$m = k+1$ のとき、$g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_k( \xi ) \times g_{k+1}( \xi )$ は、帰納法の仮定より次のように書ける。
$$g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_k( \xi ) \times g_{k+1}( \xi ) = R_k( \xi ) \times g_{k+1}( \xi )$$
定義より、$R_k( \xi ) \times g_{k+1}( \xi )$ は、$R_k( \xi ) g_{k+1}( \xi )$ の剰余である。

除法のアルゴリズムより、
$$g_1 ( \xi ) g_2 ( \xi ) \cdots g_k( \xi ) = Q_k ( \xi ) f ( \xi ) + R_k( \xi ) \\ g_1 ( \xi ) g_2 ( \xi ) \cdots g_k( \xi ) g_{k+1}( \xi ) = Q_{k+1} ( \xi ) f ( \xi ) + R_{k+1}( \xi )$$
であるので、
$$\{ Q_k ( \xi ) f ( \xi ) + R_k( \xi ) \} g_{k+1}( \xi ) = Q_{k+1} ( \xi ) f ( \xi ) + R_{k+1}( \xi ) \\ $$
がいえる。これを式変形すると、
$$\begin{eqnarray} \{ Q_n ( \xi ) f ( \xi ) + R_n( \xi ) \} g_{k+1}( \xi ) &=& Q_{k+1} ( \xi ) f ( \xi ) + R_{k+1}( \xi ) \\ Q_n ( \xi ) f ( \xi ) g_{k+1}( \xi ) + R_k( \xi ) g_{k+1}( \xi ) &=& Q_{k+1} ( \xi ) f ( \xi ) + R_{k+1}( \xi ) \\ R_k( \xi ) g_{k+1}( \xi ) &=& f ( \xi ) \{ Q_{k+1} ( \xi ) - Q_k ( \xi ) g_{k+1}( \xi ) \} + R_{k+1}( \xi ) \end{eqnarray}$$
となり、$R_k( \xi ) g_{k+1}( \xi )$ の剰余は $R_{k+1} ( \xi )$ であることがわかる。つまり $R_k( \xi ) \times g_{k+1}( \xi ) = R_{k+1} ( \xi )$ であり、$g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_k( \xi ) \times g_{k+1}( \xi ) = R_{k+1} ( \xi )$ が成り立つ。

以上より、数学的帰納法により、$g_1 ( \xi )$, $g_2 ( \xi )$ , $\cdots$, $g_m( \xi )$ の積 $g_1 ( \xi ) \times g_2 ( \xi ) \times \cdots \times g_m( \xi )$ は通常の積 $g_1 ( \xi ) g_2 ( \xi ) \cdots g_m( \xi )$ の剰余に等しいことがいえる。