分解の計算とは? わかりやすく解説

分解の計算

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/05/22 03:07 UTC 版)

ガロア拡大での素イデアルの分解」の記事における「分解の計算」の解説

OK での素イデアル P の OL での分解計算したい。拡大 L/K は有限分離的拡大とする。ガロア拡大の定義の中にある正規性の前提は、必ずしも必要ではない。 次の方法により(Neukirch, p. 47)多く場合のこの問題をとくことができる。方法は、まず、OL の中の整数 θ を選択し L が θ により K 上に生成されるようにし(そのような θ は原始元の定理により存在保証されている)、次に、K 上の θ の最小多項式 H(X) を試す。最小多項式は、OK係数を持つ単項式である。H(X) modulo P と係数還元すると、(有限剰余体 OK/P である F に係数を持つ単項式 h(X) を得る。h(X) が多項式環 F[X] で h ( X ) = h 1 ( X ) e 1h n ( X ) e n {\displaystyle h(X)=h_{1}(X)^{e_{1}}\cdots h_{n}(X)^{e_{n}}} P O L = Q 1 e 1Q n e n   . {\displaystyle PO_{L}=Q_{1}^{e_{1}}\cdots Q_{n}^{e_{n}}\ .} Q j = P O L + h j ( θ ) O L {\displaystyle Q_{j}=PO_{L}+h_{j}(\theta )O_{L}} が存在するガロア拡大場合は、惰性群次数はみな等しく分岐指数e1 = ... = en とみな等しくなる上の結果が必ずしも成立しない例外的な素数は、環 OK[θ] の導手相対的に素な素数である。導手イデアル { y ∈ O L : y O LO K [ θ ] } {\displaystyle \{y\in O_{L}:yO_{L}\subseteq O_{K}[\theta ]\}} として定義されどのくらい整数環(order) OK[θ] が全体整数環最大整数環OL から隔たっているかを測る重要な注意として、上記前提持たす θ が存在しないような L/K と P の例が存在することである。(例えば、を参照)従って、上記アルゴリズムそのような P を要素として使用できなく、例えば、に記載されているような、さらに複雑なアプローチを使う必要がある

※この「分解の計算」の解説は、「ガロア拡大での素イデアルの分解」の解説の一部です。
「分解の計算」を含む「ガロア拡大での素イデアルの分解」の記事については、「ガロア拡大での素イデアルの分解」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「分解の計算」の関連用語

分解の計算のお隣キーワード
検索ランキング

   

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



分解の計算のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS