完備化への持ち上げとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 完備化への持ち上げの意味・解説 

完備化への持ち上げ

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

ヘンゼルの補題」の記事における「完備化への持ち上げ」の解説

全ての正の整数 n に対して R / m n {\displaystyle R/{\mathfrak {m}}^{n}} に持ち上げることができるので、nを限りなく大きくていったときの"極限"を考えたくなる。これが p 進整数考案され主な理由1つである。 R を可換環、 m {\displaystyle {\mathfrak {m}}} を極大イデアルとすると、 m {\displaystyle {\mathfrak {m}}} のベキたちはR の m {\displaystyle {\mathfrak {m}}} 進位相呼ばれる位相についての基本近傍系になる。この位相による完備化局所環 R m {\displaystyle R_{\mathfrak {m}}} の完備化同一視でき、また射影極限 lim ← R / m n {\displaystyle \lim _{\leftarrow }R/{\mathfrak {m}}^{n}} とも同一視できる。この完備局所環は R ^ m {\displaystyle {\widehat {R}}_{\mathfrak {m}}} と一般的に書き表される。R が整数環m = p Z {\displaystyle {\mathfrak {m}}=p\mathbb {Z} } (p は素数)であるときには、この完備局所環は p 進整数環 Z p {\displaystyle \mathbb {Z} _{p}} である。 完備化射影極限使った定義と上述ヘンゼルの補題の主張から、多項式 h ∈ R [ X ] {\displaystyle h\in R[X]} の法 m {\displaystyle {\mathfrak {m}}} での因数分解がどの2つ因子取って互いに素であるなら、それはhの R ^ m [ X ] {\displaystyle {\widehat {R}}_{\mathfrak {m}}[X]} における像の因数分解一意的に持ち上げられることが導かれる同様に、h の法 m {\displaystyle {\mathfrak {m}}} での任意の単根はh の R ^ m [ X ] {\displaystyle {\widehat {R}}_{\mathfrak {m}}[X]} における像の単根に持ち上げられる

※この「完備化への持ち上げ」の解説は、「ヘンゼルの補題」の解説の一部です。
「完備化への持ち上げ」を含む「ヘンゼルの補題」の記事については、「ヘンゼルの補題」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「完備化への持ち上げ」の関連用語

1
ヘンゼルの補題 百科事典
2% |||||

完備化への持ち上げのお隣キーワード
検索ランキング

   

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



完備化への持ち上げのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS