可換環の圏
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/09 05:13 UTC 版)
可換環の圏 CRing はすべての可換環を対象とする Ring の充満部分圏である。可換環の圏は可換環論における主題の研究の中心的な対象の一つである。 任意の環は、xy − yx の形の元全体で生成されるイデアルで割ることで可換にすることができる。これにより定義される可換化函手 Ring → CRing は包含函手の左随伴であり、したがって CRing は Ring の反映的部分圏(英語版)となる。集合 E を生成系とする自由可換環は、E の各元を不定元とする多項式環 Z[E] によって与えられ、E にそれが生成する自由可換環を対応させる函手は忘却函手 CRing → Set の左随伴を与える。 可換環の圏 CRing は環の圏 Ring において極限閉、すなわち CRing における極限は、それを Ring の図式と見てとった極限と一致する。しかし余極限は一般には一致しない。そのような方法で CRing における余極限を得るには、Ring においてとった余極限の(上に書いたような剰余環をとって)可換化しなければならない。二つの可換環の余積は、環のテンソル積によって与えられる。やはり二つの非零可換環の余積は零環となり得る。 可換環の圏 CRing の反対圏 CRingop はアフィンスキームの圏に圏同値である。この同値対応は、各可換環にそのスペクトルとなるアフィンスキームを対応させる反変函手によって与えられる。
※この「可換環の圏」の解説は、「環の圏」の解説の一部です。
「可換環の圏」を含む「環の圏」の記事については、「環の圏」の概要を参照ください。
- 可換環の圏のページへのリンク