擬環の圏とは? わかりやすく解説

擬環の圏

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

環の圏」の記事における「擬環の圏」の解説

文献によっては、環の定義に単位元存在仮定せず、環準同型の定義にも単位元を保つことは(仮に単位元存在する場合でも)課さないというものがある。そのような定義に基づけば Ring とは異な環の圏得られる。ここでは区別のため、そのような代数構造擬環(あるいは必ずしも単位的でない環、非単位的環)(Rng) と呼び、それらの間の準同型擬環準同型 (rng-準同型) と呼ぶことにすればすべての擬環の成す圏 Rng考えることができる。 環の圏 RingRng充満でない部分圏となることに注意せよ充満でないことは、擬環準同型が必ずしも単位元を保たないことにより、Ring の射とはならないことによる包含函手 RingRng左随伴持ち、それは任意の擬環に対して形式的に単位元添加する函手として与えられる。これにより RingRng充満でない反映部分圏英語版)となる。包含函手 RingRng極限反映する余極限反映しない。 零環 {0} は Rng始対象および終対象与える(すなわちそれは零対象である)。これにより、Rng が(Grp同じく、そして Ring異なり零射を持つことが従う。実際に零射は、すべての元を 0 に写す擬環準同型として与えられる零射存在するにもかかわらず、やはり Rng前加法圏ならない二つ擬環準同型点ごとの和は一般に擬環準同型でない)。Rng における余積圏論直和)は、擬環直和と同じものではない。 アーベル群の圏 Ab から擬環の圏 Rng への忠実充満函手が、各アーベル群を、それに自明な積を入れた零擬環対応させることで与えられるRng において自由構成英語版)を考えるのは、それを Ring において考えるよりもやや不自然である。例えば、一点集合 {x} で生成される自由擬環は x を不定元とする定数項持たない係数多項式全体であり、他方 {x} の生成する自由環はちょうど整係数多項式環 Z[x] になる。

※この「擬環の圏」の解説は、「環の圏」の解説の一部です。
「擬環の圏」を含む「環の圏」の記事については、「環の圏」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「擬環の圏」の関連用語

擬環の圏のお隣キーワード
検索ランキング

   

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



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

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

©2025 GRAS Group, Inc.RSS