数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■52422 / 1階層)  多項式の整除
□投稿者/ WIZ 一般人(14回)-(2023/12/30(Sat) 17:08:32)
    代数学の基本定理により、nを自然数、a[1]〜a[n]を複素数として、
    P(x) = Π[k=1, n](x-a[k])
    と書ける。
    P(x)が整数係数だから、a[1]〜a[n]の中に虚数があれば、その共役数もa[1]〜a[n]の中に含まれている。
    # P(x)が整数係数モニックだから、a[1]〜a[n]は代数的整数であり、
    # ノルムとシュプール(トレース)は有理数の整数である。

    すると、
    F(x) = Π[k=1, n](x-f(a[k]))
    とすれば、P(x) = 0の解は重複度も含めて全てF(f(x)) = 0の解であるので、
    F(f(x)) = Π[k=1, n](f(x)-f(a[k]))はP(x)で割り切れる。

    a[i]とa[j]が複素共役なら、f(x)が整数係数なのでf(a[i])とf(a[j])も複素共役となる。
    よって、F(x)は整数係数モニックであり、F(f(x))はモニックとは限らないが整数係数である。

    # 勘違いしてたらごめんなさい!
記事引用 [メール受信/OFF] 削除キー/

前の記事(元になった記事) 次の記事(この記事の返信)
←多項式の整除 /Reddit 返信無し
 
上記関連ツリー

Nomal 多項式の整除 / Reddit (23/10/09(Mon) 20:00) #52351
Nomal 多項式の整除 / WIZ (23/12/30(Sat) 17:08) #52422 ←Now

All 上記ツリーを一括表示 / 上記ツリーをトピック表示
 
上記の記事へ返信

Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター