群の圏

数学の一分野である圏論における群の圏（ぐんのけん、） は、群すべてからなる類を対象の類とし、群準同型を射とする圏。作り方からこれはを成す。代数学における群論は、この圏の研究であるとみなすこともできる。
他の圏との関係.
 を集合の圏、 をモノイドの圏として、群の圏 からの二種類の （群から可逆構造を忘れたモノイドを対応させる函手）および （群からその台集合を取り出す函手）を考えよう。
このうち は二つの随伴函手を持つ。それは、右随伴 と左随伴 だが、具体的に は各モノイドにその可逆元全体の成す部分モノイドを対応させる函手であり、また は各モノイドにそのグロタンディーク群を対応させる函手である。
もう一方の忘却函手 は左随伴として各集合にそれが生成する自由群を対応させる自由函手を持つ。各集合にそれが生成する自由モノイドを対応させる自由函手を とすれば、 の左随伴は合成函手 に等しい。
非アーベル圏.
アーベル群の圏 は群の圏 の充満部分圏であるが、 がアーベル圏を成すのに対し は非アーベルである。実際に、 は二つの群準同型の「和」を定義する自然な方法が存在しないから、加法圏ですらない。
実例として、三次対称群 上の自己準同型全体の成す集合 を考えよう。 は位数 である（そのうちの一つの元は、任意の元を単位元に写す零準同型 であり、 の任意の元に を左または右から掛けるとその積は に等しい。三つは、位数 の部分群（これが全部で三つある）への射影であり、これらは各々同じ側から何度掛けても自分自身となるような元になる。残りの六つは自己同型となる）。、この集合 は位数 の環（自己準同型環）を成さなければならない。任意の環において零元 はその任意の元 に対して を満たす元（吸収元）として規定されるものであるから、 の零元は零準同型 がそれであるはずである。しかし、 のどの二つの非零元も掛けて になることはないから、つまり は零因子を持たない有限環でなければならないことになる。ウェダーバーンの小定理により、零因子を持たない有限環は有限体であるが、有限体の位数は必ず素数の冪でなければならないから、位数 の は有限体ではありえない。これは不合理。
完全系列.
群の圏 において完全系列の概念が意味を成し、アーベル圏論におけるいくつかの結果、例えば9項補題や5項補題およびそれらの帰結が において成立する。他方、蛇の補題は では成り立たない。