群範疇

群論
	;
	群
基本概念
	子群 · 正規子群 · 商群 · 群同態 · 像 · (半)直積 · 直和; 單群 · 有限群 · 無限群 · 拓撲群 · 群概形 · 循環群 · 冪零群 · 可解群 · 圈積
離散群
	有限單群分類 ; 循環群 Zn ; 交錯群 An ; 李型群; 散在群; 馬蒂厄群 M11..12,M22..24; 康威群 Co1..3 ; 揚科群 J1..4 ; 費歇爾群（英語：Fischer group）F22..24; 子魔群（英語：sub monster group） B; 魔群 M; 其他有限群; 對稱群, Sn; 二面體群, Dn; 無限群; 整數, Z; 模群, PSL(2,Z) 和 SL(2,Z);
連續群
	李群; 一般線性群 GL(n); 特殊線性群 SL(n); 正交群 O(n); 特殊正交群 SO(n); 酉群 U(n); 特殊酉群 SU(n); 辛群 Sp(n); G2 F4 E6 E7 E8; 勞侖茲群; 龐加萊群;
無限維群
	共形群; 微分同胚群 ; 環路群 ; 量子群 ; O(∞) SU(∞) Sp(∞);
代數群
	橢圓曲線; 線性代數群（英語：Linear algebraic group）; 阿貝爾簇（英語：Abelian variety）
	閱; 論; 編;

在數學上，群範疇（表記為Grp或Gp^[1]）指的是以群為物件、以同態映射為態射，也因此這是個具體範疇，而研究這範疇的理論即是群論。

與其他範疇的關係

群範疇有兩個以群範疇為定義域的遺忘函子，其中一個是映射至幺半群的函子M: Grp → Mon；另一個是映射至集合範疇的函子U: Grp → Set。在這其中，M有兩個伴隨函子，其中一個I: Mon→Grp是右伴隨函子；而另一個K: Mon→Grp則是左伴隨函子；其中I: Mon→Grp是將所有的幺半群映射至其可逆元素的子幺半群的函子；而K: Mon→Grp則是將所有的幺半群映射至格羅滕迪克群（英語：Grothendieck group）的函子；此外，遺忘函子U: Grp → Set則有一個以合成函子形式出現的左伴隨函子KF: Set→Mon→Grp，其中F是自由函子，這自由函子會將每個集合S映射至由S產生的自由群。

範疇性質

群範疇當中的單態射即是同態單射；而其滿態射（英語：Epimorphism）即是同態滿射；而其同構映射即是同態雙射。

群範疇是完全範疇（英語：Complete category），也同時是餘完全範疇（英語：Cocomplete category）。其範疇─理論積即是群的直積；而其餘積（英語：Coproduct）則是群的自由積。這個範疇的零對象則是當然群，也就是只包含單位元的群。

非可加性故非交換性

阿貝爾群範疇（英語：Category of abelian groups）Ab是群範疇的完全子範疇。Ab是一個交換範疇，但群範疇本身不是交換範疇；事實上，群範疇甚至不是可加範疇，而這是因為在兩個群同態之間，通常沒有可自然定義的「和」之故。以下為其證明：

三階對稱群S₃映至自己的映射 $E=\operatorname {Hom} (S_{3},S_{3})$ 有十個元素，其中z是一個 $E$ 中的任一元素與之相乘都會得到z的元素（也就是將群中每個元素都映至單位元的映射）；此外，有三個元素是一個固定邊的乘積總與自己相等的元素（也就是將這個群映至其二階子群的映射）；另外還有六個是自同態映射。假定群範疇是個可加範疇，那這個有十個元素的集合 $E$ 就會是一個環；而在任何的環當中，都會有一個零元素0，使得對環中所有的元素x而言，都有0x=x0=0，因此z會是 $E$ 中的零元素；然而，在 $E$ ，沒有任何兩個非零元素的乘積會是z，因此這會是一個無零因子的環；而一個無零因子的有限環會是一個域，但沒有一個域會有十個元素，而這是因為每個有限域的元素個數都會是質數的冪之故。

正合序列

在群範疇中，正合序列是有意義的，而一些在阿貝爾範疇中成立的定理及其結果，像是九引理以及五引理等，在群範疇中也成立。群範疇是一個正則範疇（英語：Regular category）。

參考資料

^ Borceux, Francis; Bourn, Dominique. Mal'cev, protomodular, homological and semi-abelian categories. Springer. 2004: 20 [2022-06-22]. ISBN 1-4020-1961-0. （原始內容存檔於2022-06-22）.

Goldblatt, Robert. Topoi, the Categorial Analysis of Logic Revised. Dover Publications. 2006 [1984] [2009-11-25]. ISBN 978-0-486-45026-1. （原始內容存檔於2020-03-21）.

[1] Borceux, Francis; Bourn, Dominique. Mal'cev, protomodular, homological and semi-abelian categories. Springer. 2004: 20 [2022-06-22]. ISBN 1-4020-1961-0. （原始內容存檔於2022-06-22）.

[1]