エレファント・ビジュアライザー調査記録

ビジュアルプログラミングで数式の変形を表すことを考えていくブロクです。

群論の計算(29)

体と自己同型写像(3)

定理 5.25

 \alpha, \beta \mathbb{Q} 上の方程式の解とします。このとき  \mathbb{Q}(\alpha, \beta) = \mathbb{Q}(\theta)
を満たす  \theta が存在します。このような  \theta を原始元と言います。

[証明]
 \alpha \mathbb{Q} 上の最小多項式  f の根を
 \alpha_1= \alpha, \alpha_2, \cdots , \alpha_m
 \beta \mathbb{Q} 上の最小多項式  g の根を
 \beta_1= \beta, \beta_2, \cdots , \beta_n
とおきます。
 c \in \mathbb{Q} \setminus \left\{ \cfrac{\alpha_i - \alpha}{\beta - \beta_j} \ | \ i = 1,2, \cdots , m; \ j = 2, 3, \cdots , n \right\}
をとります。
 h(x) = f(\alpha + c \beta - cx) とおきます。 h(\beta) = f(\alpha + c \beta - c \beta) = f(\alpha) = 0 であり、 j = 2, 3, \cdots , n に対して
 c \ne \cfrac { \alpha_i - \alpha }{\beta - \beta_j} より  \alpha + c \beta - c \beta_j \ne \alpha_i ( i = 1,2, \cdots , m)
 h(\beta_j) = f(\alpha + c \beta - c \beta_j) \ne 0
であることから、 h g の共通の根は  \beta だけとなります。

 \mathbb{Q}(\alpha , \beta)[X]ユークリッド整域であることから  h \mathbb{Q}(\alpha , \beta)[X] + g \mathbb{Q}(\alpha , \beta)[X] = q \mathbb{Q}(\alpha , \beta)[X] となる  q \in \mathbb{Q}(\alpha , \beta)[X] が存在します。 h, g \in \mathbb{Q}(\alpha + c \beta)[X] であることからユークリッドの互除法によりこの  q q \in \mathbb{Q}(\alpha + c \beta)[X] とすることができます。

 p = X - \beta \in \mathbb{Q}(\alpha, \beta)[X] とおきます。

 \beta h g の共通の根なので  h \in p \mathbb{Q}(\alpha , \beta)[X] g \in p \mathbb{Q}(\alpha , \beta)[X] より
 q \mathbb{Q}(\alpha , \beta)[X] = h \mathbb{Q}(\alpha , \beta)[X] + g \mathbb{Q}(\alpha , \beta)[X] \subseteq p \mathbb{Q}(\alpha , \beta)[X]
が成り立ちます。

 h = pu g = pv ( u, v \in \mathbb{Q}(\alpha , \beta)[X]) とおくと  h g の共通の根は  \beta だけなので  u \mathbb{Q}(\alpha , \beta)[X] + v \mathbb{Q}(\alpha , \beta)[X] = \mathbb{Q}(\alpha , \beta)[X] となり
 q \mathbb{Q}(\alpha , \beta)[X] = h \mathbb{Q}(\alpha , \beta)[X] + g \mathbb{Q}(\alpha , \beta)[X] = p \mathbb{Q}(\alpha , \beta)[X]
が成り立ちます。

よって  p = qr となる  r \in \mathbb{Q}(\alpha , \beta) が存在します。 X - \beta = qr となって  q の次数は1となります。 q = aX + b ( a, b \in \mathbb{Q}(\alpha + c \beta)) とおくと  ar = 1 となり  \beta = br = \cfrac{b}{a} \in \mathbb{Q}(\alpha + c \beta) となります。よって  \mathbb{Q}(\alpha, \beta) \subseteq \mathbb{Q}(\alpha + c \beta) が成り立ちます。[証明終わり]

これを繰り返すと以下の定理が成り立ちます。

定理 5.26

 \alpha_1, \alpha_2, \cdots , \alpha_n をそれぞれ  \mathbb{Q} 上の方程式の解とします。このとき  \mathbb{Q}(\alpha_1, \alpha_2, \cdots , \alpha_n) = \mathbb{Q}(\theta) を満たす  \theta が存在します。このような  \theta を原始元と言います。

これも体上の代数の同型を使って書くことができると思うのですが、これは今後やっていこうと思います。今のところ本の定理をたどっているだけとなっていますが、それでは意味がないので今後改善していきます。ガロア理論を体上の代数の同型を使って書いているものは見つけることができなかったので、ガロア理論全体を書くことはあまり意味がないのかもしれませんが、部分的には書けることもあると考えています。

プログラミング言語のための極限を表す代数的構造と書き方を見つけるというのがこのブログの目的となっているのですが、今のところは見つかっていません。