代数体係数の場合: Trager の方法とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 代数体係数の場合: Trager の方法の意味・解説 

代数体係数の場合: Trager の方法

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/16 01:05 UTC 版)

多項式の因数分解」の記事における「代数体係数の場合: Trager の方法」の解説

体 K が代数体(ℚ の有限次拡大体)であるときの多項式 p(x) ∈ K[x] も因数分解することができる。無平方分解して、多項式無平方であると仮定してよい。ℚ 上の線型環として L := K[x]/(p(x)) と陽に書いて無作為に α ∈ L をとれば、原始元定理により、高確率で α は L を ℚ 上生成する。生成することが確認できたならば、α の ℚ 上の最小多項式 q(y) ∈ ℚ[y] を計算して、それを ℚ[y] 上で q ( y ) = ∏ i = 1 n q i ( y ) {\displaystyle q(y)=\prod _{i=1}^{n}q_{i}(y)} と因数分解することで、 L = Q [ α ] = Q [ y ] / ( q ( y ) ) = ∏ i = 1 n Q [ y ] / ( q i ( y ) ) {\displaystyle L=\mathbb {Q} [\alpha ]=\mathbb {Q} [y]/(q(y))=\prod _{i=1}^{n}\mathbb {Q} [y]/(q_{i}(y))} と決定できて(p は無平方であるから、L が被約環となることに注意)、α は右辺の元 (y, …, y)(全ての成分が y)に対応する。これが体の直積としての L の唯一の分解であることに注意する。したがってこの分解は ∏ i = 1 m K [ x ] / ( p i ( x ) ) {\displaystyle \prod _{i=1}^{m}K[x]/(p_{i}(x))} と同じものである(ここに p = ∏mi=1 pi は p の K[x] における既約分解とする)。x ∈ L および K の生成元を α の多項式として書けば、x および K の ℚ[y]/(qi(y)) = K[x]/(pi(x)) の直積因子の中への埋め込み決定できる。この環における x の最小多項式求めることにより、pi計算できて、したがって p が K 上で既約分解される

※この「代数体係数の場合: Trager の方法」の解説は、「多項式の因数分解」の解説の一部です。
「代数体係数の場合: Trager の方法」を含む「多項式の因数分解」の記事については、「多項式の因数分解」の概要を参照ください。

ウィキペディア小見出し辞書の「代数体係数の場合: Trager の方法」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「代数体係数の場合: Trager の方法」の関連用語

代数体係数の場合: Trager の方法のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



代数体係数の場合: Trager の方法のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの多項式の因数分解 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS