群の圏

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

数学の一分野である圏論における群の圏(ぐんのけん、: category of groupsGrp は、すべてからなる対象の類とし、群準同型とするである。作り方からこれは具体圏英語版を成す。代数学における群論は、この圏の研究であるとみなすこともできる。

他の圏との関係[編集]

Set集合の圏Monモノイドの圏として、群の圏 Grp からの二種類の忘却函手英語版 M: GrpMon(群から可逆構造を忘れたモノイドを対応させる函手)および U: GrpSet(群からその台集合を取り出す函手)を考えよう。

このうち M は二つの随伴函手を持つ。それは、右随伴 I: MonGrp左随伴 K: MonGrp だが、具体的に I: MonGrp は各モノイドにその可逆元全体の成す部分モノイドを対応させる函手であり、また K: MonGrp は各モノイドにそのグロタンディーク群を対応させる函手である。

もう一方の忘却函手 U: GrpSet は左随伴として各集合にそれが生成する自由群を対応させる自由函手を持つ。各集合にそれが生成する自由モノイドを対応させる自由函手を F とすれば、U の左随伴は合成函手 KF: SetMonGrp に等しい。

性質[編集]

非アーベル圏[編集]

アーベル群の圏 Ab は群の圏 Grp充満部分圏であるが、Abアーベル圏を成すのに対し Grp は非アーベルである。実際に、Grp は二つの群準同型の「和」を定義する自然な方法が存在しないから、加法圏ですらない。

実例として、三次対称群 S3 上の自己準同型全体の成す集合 E := Hom(S3, S3) を考えよう。E位数 10 である(そのうちの一つの元は、任意の元を単位元に写す零準同型 z であり、E の任意の元に z を左または右から掛けるとその積は z に等しい。三つは、位数 2 の部分群(これが全部で三つある)への射影であり、これらは各々同じ側から何度掛けても自分自身となるような元になる。残りの六つは自己同型となる)。仮に Grp が加法圏であったならば、この集合 E は位数 10(自己準同型環)を成さなければならない。任意の環において零元 0 はその任意の元 x に対して 0⋅x = x⋅0 = 0 を満たす元(吸収元)として規定されるものであるから、E の零元は零準同型 z がそれであるはずである。しかし、E のどの二つの非零元も掛けて z になることはないから、つまり E零因子を持たない有限環でなければならないことになる。ウェダーバーンの小定理により、零因子を持たない有限環は有限体であるが、有限体の位数は必ず素数の冪でなければならないから、位数 10E は有限体ではありえない。これは不合理

完全系列[編集]

群の圏 Grp において完全系列の概念が意味を成し、アーベル圏論におけるいくつかの結果、例えば9項補題5項補題およびそれらの帰結が Grp において成立する。他方、蛇の補題Grp では成り立たない。

参考文献[編集]

  • Goldblatt, Robert (2006) [1984]. Topoi, the Categorial Analysis of Logic (Revised ed.). Dover Publications. ISBN 978-0-486-45026-1. http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&id=3 2009年11月25日閲覧。. 

外部リンク[編集]