正規拡大とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 正規拡大の意味・解説 

正規拡大

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

ナビゲーションに移動 検索に移動

抽象代数学において、体の代数拡大 L/K は、LK[X] の多項式の族の分解体(splitting field)であるときに、正規: normal)という。ブルバキはそのような拡大をガロワ拡大(quasi-Galois extension) と呼んでいる。

同値な性質、および例

L/K の正規性は以下の性質のいずれとも同値である。KaKL を含む代数的閉包とする。

  • K 上恒等写像であるような LKa へのすべての埋め込み は σ(L) = L を満たす。言い換えると、σ は LK-同型である。
  • L に根をもつような K[X] のすべての既約多項式L に根をすべてもつ。すなわち、L[X] において一次式に分解する。(多項式は L分解する (split) と言う。)

LK の有限次分離拡大(例えば、これは K が有限体か標数 0 であれば自動的に満たされる)であれば、次の性質もまた同値である。

  • 根が K の元とともに L を生成するような既約多項式が存在する。(L はその多項式の分解体であると言う。)

例えば、 の正規拡大である。なぜならば、x2 − 2 の分解体だからである。一方、 の正規拡大ではない。なぜならば、既約多項式 x3 − 2 はその中に1つの根(すなわち )をもつが、すべてではない(2 の虚3乗根をもたない)からである。

の正規拡大でないという事実は上記3つの性質のうちの1つ目を使っても確かめられる。代数的数 の代数的閉包であって を含む。一方、

であり、ω を2の虚三乗根の1つとすれば、写像

への埋め込みであって、 への制限は恒等写像である。しかしながら、σ は の同型写像ではない。

任意の素数 p に対して、拡大 は次数 p(p − 1) の正規拡大である。これは xp − 2 の分解体である。ここで は任意の 1 の原始 p 乗根を表す。体 の正規閉包(下記参照)である。

他の性質

L を体 K の拡大とすると、

  • LK の正規拡大で E が中間体(すなわち L ⊃ E ⊃ K)であれば、LE の正規拡大である。EK の正規拡大とは限らない。
  • EFL に含まれる K の正規拡大であれば、合成体 EF および共通部分 E ∩ FK の正規拡大である。

正規閉包

K が体で LK の代数拡大であれば、L の代数拡大 M が存在して MK の正規拡大となる。しかも、同型を除いて、極小な、つまり、L を含み K の正規拡大であるような M の唯一の部分体は M 自身であるような、そのような拡大は唯一である。この拡大は K の拡大 L正規閉包 (normal closure) と呼ばれる。

LK の有限次拡大であれば、その正規閉包もまた有限次拡大である。

関連項目

参考文献




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

辞書ショートカット

すべての辞書の索引

「正規拡大」の関連用語

正規拡大のお隣キーワード
検索ランキング

   

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



正規拡大のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの正規拡大 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS