群
在數學中，群（group）是由一種集合以及一個二元運算所組成的代數結構，並且符合“群公理”。群公理包含下述四个性质，分別是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。
很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。
群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的中心原理。
群與对称性有密切的联系。例如，對稱群描述了几何体的对称性：它是保持物體不變的變換的集合。李群应用于粒子物理的标准模型之中；庞加莱群也是李群，能表达狭义相对论中的对称性；点群能帮助理解分子化学中的对称现象。
群的概念产生自多項式方程的研究，由埃瓦里斯特·伽罗瓦在19世纪30年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，有自己独特的研究方法。為了研究群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群论還研究表示群的各種具體方式（群表示论和计算群论）。對有限群已經發展出了特別豐富的理論，這在2004年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。
群是由集合"G"和二元運算"·"构成的，符合以下四个性质（称“群公理”）的数学结构。其中，二元运算结合任何兩個元素"a"和"b"而形成另一個元素，记為，符號"·"是具體的運算，比如整數加法。
群公理所述的四个性质为：
群运算的次序很重要，把元素"a"與元素"b"结合，所得到的结果不一定与把元素"b"與元素"a"结合相同；亦即，formula_1（交换律）不一定恒成立。满足交换律的群称为交换群（阿貝爾群，以尼尔斯·阿贝尔命名），不满足交换律的群称为非交换群（非阿贝尔群）。
整数加法群中，對于任何兩個整數都有"a" + "b" = "b" + "a"（加法的交換律）成立，因此，整数加法群是交换群。但是對稱群中交换律并不总是成立，所以一般的对称群不是交换群。
群G的单位元经常记做1或formula_2，这个记号来自乘法单位元。对于阿贝尔群，可以把群运算记做+，单位元记做0；这种情况下群称为加法群。单位元也可记做id。
群formula_3也常常简记为formula_4。可以根据上下文来判断一个符号指的是集合还是群。設formula_5為一個群，若formula_4裡面存在元素formula_12，使得formula_13，則稱G關於運算"*"為一個循環群。
最常见的群之一是整數集formula_14和整数的加法所构成的群。它由以下數列组成： 下面将整数的加法的性质与四个群公理做对比，可以看出，整数集和整数的加法是可以构成群的。
正方形的对称操作（比如旋轉和反射）形成了一個群，叫做二面體群，并记為D。二面体群中有下列8个對稱：
任何兩個對稱formula_23和formula_24都可以複合，即进行一個之后再进行另一個。先進行"formula_23"然后进行"formula_24"在符號上“從右到左”寫為 右面的群表列出了這種複合的所有可能結果。例如，右旋270°(formula_18)然后水平翻轉（formula_20），等于進行一个沿對角線的反射（formula_21），如群表中藍色突出的单元格所示。使用上述符號可以记为：
formula_30 給定這個對稱的集合和描述的運算，群公理可以理解如下：
就是說在水平翻轉后右旋270°等于沿反對角線翻轉（f）。确实，兩個對稱的所有其他組合仍得出一個對稱，這可以使用群表來檢查。
的要求，意味著三個元素的複合與先进行哪个運算是無關的。 例如， (f·f)·r = f· (f·r)可以使用右側的群表來檢查 与上述的整數群不同的是，在整数群中運算次序是無關緊要的，而在D中则是重要的：f·r = f然而r·f = f。換句話說，D不是阿貝爾群，这使得这个群的結構比上面介紹的整數群要更加复杂。
抽象群的現代概念是從多個數學領域發展出來的。群論的最初動機是為了求解高於4次的多項式方程。十九世紀法國數學家埃瓦里斯特·伽罗瓦，擴展了保罗·鲁菲尼和约瑟夫·拉格朗日先前的工作，依據特定多項式方程的根（解）的對稱群給出了對它的可解性的判别准则。這個伽罗瓦群的元素對應於根的特定置換。伽罗瓦的想法最初被同代人所拒絕，只在死后才出版。更一般的置換群由奥古斯丁·路易·柯西專門研究。阿瑟·凱萊的《On the theory of groups, as depending on the symbolic equation θ = 1》（1854年）給出有限群的第一個抽象定義。
幾何是第二個系统性的使用群，特別是對稱群的領域。这类群是菲利克斯·克莱因1872年的爱尔兰根纲领的一部分。在新型的幾何如雙曲幾何和射影幾何形成之后，克萊因利用群論以更連貫的方式來組織它們。索菲斯·李進一步發展了這些想法，在1884年創立了李群的研究。
对群論有貢獻的第三個領域是數論。一些阿貝爾群結構在卡爾·弗里德里希·高斯的數論著作《算术研究》（1798年）中被隐含地用到，并被利奥波德·克罗内克更明顯地用到。 1847年，恩斯特·库默尔發展了描述用素数做因數分解的理想類群，使證明費馬大定理的早期嘗試達到了高潮。
把上述各種來源融合成一个群的統一理論是从卡米尔·若尔当的《Traité des substitutions et des équations algébriques》（1870年）開始的。 瓦尔特·冯·迪克（1882年）給出了第一个抽象群的現代定義的陳述。在二十世紀，群在费迪南德·格奥尔格·弗罗贝尼乌斯和威廉·伯恩赛德的开拓性著作中獲得了廣泛的认识，他們研究有限群的表示理論，還有理查德·布劳尔的模表示論和Issai Schur的論文。 赫尔曼·韦伊、埃利·嘉当和很多其他人推進了李群和更一般的局部緊群的理論。它的代數對應者——代數群的理論，由克劳德·舍瓦莱（從1930年代晚期开始）和后來阿尔曼德·波莱尔和雅克·蒂茨的重要著作奠基。
芝加哥大学于1960-61年举办的“群论年”活动促使群论家们以丹尼尔·格伦斯坦，约翰·格里格斯·汤普森和瓦爾特·法伊特为基础展开合作。在大量其他数学家的帮助下，他们完成了有限单群的分类。这项工程，不论是从证明长度来说还是从参与人数来说，其浩大程度超越了之前一切的数学成果。简化此证明的研究还在进行中。群论在当下仍是一个活跃的数学分支，并仍在对其他分支产生重大影响。
可以從群公理直接獲得的關于所有群的基本事實，通常包含在初等群論中。例如，重復應用結合律公理，可以證明以下等式 可以推廣到多於三個因子。因為這意味着括號可以插入到一序列的項的任何地方，所以通常省略括號。
公理可以弱化為只宣称左單位元和左逆元的存在性。二者可以被證明實際上是双側的，所以得出的定義与上面給出的等價。
群公理的兩個重要结果是單位元和逆元的唯一性。在群中只能有一個單位元，而群中的每個元素都正好有一個逆元素。
要證明"a"的逆元素的唯一性，假設"a"有兩個逆元，记為"l"和"r"。則
因此"l"和"r"被一系列等式連接了起來，所以它們是相等的。換句話說"a"只有一個逆元。
在群中，可以進行除法：給定群"G"的元素"a"和"b"，"G"中存在方程"x"·"a" = "b"的唯一解"x"。实际上，把方程右乘以"a"給出解"x" = "x"·"a"·"a" = "b"·"a"。類似地，"G"中存在方程"a"·"y" = "b"的唯一解"y"，也就是"y" = "a"·"b"。一般地說，"x"和"y"不一定相等。
这一结果的一个推论是“乘以某个群中的元素"g"”是一个双射。特别地，如果"g"是群"G"的一个元素，则有"G"到自身的双射，（称为由"g"引起的左平移）它将formula_31映射为formula_32。类似地，由"g"引起的右平移是一个"G"到自身的双射，它将formula_31映射为formula_34。如果"G"是阿贝尔群，由同一个元素引起的左平移和右平移是相同的。
要超越上述純粹符號操作水平去理解群，必須采用更加結構性的概念。有一個概念性原理位于所有下列概念的底層：要发挥群提供的結構（而無結構的集合就沒有）的优势，與群有關的構造必須与群運算"兼容"。下列概念中以各種方式表现了這種兼容性。例如，群可以通過叫做群同態的函數相互關聯。根據上述這個原理，要求它們以精確的意义照顧到群結構。群的結構還可以通過把它們分解成子群和商群來理解。“保持結構”的原理是在數學中反復出現的一個主題，它是靠范疇來工作的一個實例，在這裡的情況下靠群范疇。
群同態是保持群結構的函數。兩個群之間的函數"a": "G" → "H"是同態，如果等式 對于所有"G"中的元素"g"、"k"都成立，就是說在进行映射"a"之后還是之前進行群運算所得到的結果是一樣的。這個要求保证了"a"(e) = e，以及對于"G"中的所有"g"，都有"a"("g") = "a"("g")。因此群同態保持了群公理提供的"G"的所有結構。
兩個群"G"和"H"被稱為同構的，如果存在群同態"a": "G" → "H"和"b": "H" → "G"，使得先后（以兩種可能的次序中每個次序）應用兩個函數分別等于"G"和"H"的恒等函數。就是說，對于任何"G"中的"g"和"H"中"h"，有"a"("b"("h")) = "h"和"b"("a"("g")) = "g"。從抽象的觀點來看，同構的群携带了相同的信息。例如，证明對於"G"的某個元素"g"有"g"·"g" = e，等價於证明"a"("g")·"a"("g") = e，因為應用"a"於第一個等式得到第二個，而應用"b"於第二個得到第一個。
非正式的說，子群是包含在更大的群"G"內的一個群"H"。具體的說，"G"的單位元包含在"H"中，并且只要"h"和"h"在"H"中，則和"h"也在其中，所以"H"的元素对于限制於"H"的"G"上的群運算确实形成了一个群。
在上面例子中，單位元和旋轉構成了一個子群"R" = {id, r, r, r}，在上面的群表中突出為紅色：任何兩個復合的旋轉仍是一個旋轉，并且旋轉可以被相反方向上的旋轉（它的逆元）所抵消。子群检验法是群"G"的子集"H"是子群的充分必要條件：對于所有元素"g", "h" ∈ "H"，只需檢查。了解子群族對于作為一個整體來理解群是重要的。
給定群"G"的任何子集"S"，由"S"所生成的子群是由"S"的元素和它們的逆元的乘積组成。它是包含"S"的"G"的最小子群。在上面介紹例子中，r和f所生成的子群由這兩個元素本身、單位元id和f = f·r構成。這還是個群，因為结合這四個元素或它們的逆元（在這個特殊情況下，是这些相同的元素）中任何兩個仍得到這個子群中的元素。
在很多情況下，需要認為兩個群元素是等同的，如果它們只差一個给定子群中的元素。例如，在上述D中，一旦進行了翻轉，只进行旋轉運算（不再进行翻轉）正方形就永遠不能回到r的构型，就是說旋轉運算對于是否已經進行了翻轉的問題是無關緊要的。陪集可用來把這種现象形式化：子群"H"定義了左陪集和右陪集，它們可以認為是把"H"平移了一个任意群元素"g"。用符號表示，"H"的包含"g"的左和右陪集分別是
任何子群"H"的陪集形成了"G"的一个劃分；就是說所有左陪集的并集与"G"相等，而且兩個陪集要么相等，要么有空的交集。第一種情況"g""H" = "g""H"出現當且僅當，就是說如果這兩個元素差異了"H"的一個元素。類似的考慮也適用於"H"的右陪集。"H"的左和右陪集可以相等也可以不相等。如果它們相等，就是說對于所有"G"中的"g"有"gH" = "Hg"，則"H"被稱為正規子群。
在前面介绍的對稱群D中，由旋轉構成的子群"R"的左陪集"gR"要么等于"R"，如果"g"是"R"自身的一個元素；要么等于"U" = f"R" = {f, f, f, f}（用綠色突出）。子群"R"還是正規的，因為f"R" = "U" = "R"f且對于任何f以外的元素也是類似的。
有时在由陪集形成的集合上可以赋予一个满足群公理的运算而使之成为"商群"或"因子群"。这仅在子群是正规的时候才可行。給定任何正規子群"N"，商群定義為 這個集合從最初的群"G" 繼承了一個群運算（有時叫做陪集乘法或陪集加法）：對于所有"G" 中的"g" 和"h"，("gN")· ("hN") =（"gh"）"N"。這個定義是由關聯任何元素"g"到它的陪集 "gN" 的映射是群同態的想法（自身是上面提出的一般結構性考慮的一個實例）所激發的，或者是叫做泛性質的一般抽象考慮。陪集"eN " = "N"充當了這個群的單位元，在商群中"gN" 的逆元是("gN") =（"g"）"N"。 商群的元素是代表單位元的"R" 自身和"U" = f"R"。商群上的群運算如右側所示。例如，"U"·"U" = f"R"·f"R" =（f·f）"R" = "R"。子群"R" = {id, r, r, r}和對應的商群都是阿貝爾群，而D不是阿貝爾群。通過较小的群构造较大的群，例如從子群"R" 和商群构造D，被抽象為叫做半直積的概念。
商群和子群一起形成了用它的展示描述所有群的一種方法：任何群都是這個群的生成元上的自由群模以“關係”子群得到的商群。例如，二面體群D可以由兩個元素 "r" 和 "f" 生成（比如"r" = r右旋，和 "f" = f 垂直）或任何其他）翻轉），這意味著正方形的所有對稱都是這兩個對稱或它們的逆元的有限復合。与關係在一起 這個群就完全描述出來了。群的展示還可以被用來構造凱萊圖，它是一种利用图形来辅助理解离散群的工具。
子群和商群以下列方式相互關聯："G" 的子集"H" 可以被看作單射，就是說任何目標元素都有最多一個映射到它的元素。單射的對立是滿射（所有目標的元素都被映射到了），比如規范映射。通过這些同態理解子群和商群強調了這些定義中內在的結構性概念。一般的說，同態既不是單射也不是滿射。群同態的核與像和第一同構定理研究這個現象。
如果同一個群中的兩個元素"p" 和"q "滿足關係："p = xqx"，其中"x" 也是同一個群中的元素，則稱元素"p" 和"q" 共軛。共軛关系是一个等价关系，即它满足三个性质：共軛是自反的、对称的和傳遞的。
在群中可以找到一個集合，這個集合中每一個元素都相互共軛，而在這個集合以外群的其他部分已經沒有任何元素與他們具有共軛關係了。稱这种集合為群中的一個共軛類。同一個群的兩個類之間一定沒有共同的元素。群中一個元素一定屬於且僅屬於一個類。如果群中沒有元素與該元素共軛，則該元素自成一類。
群的例子和應用大量存在。起點是上面介紹過的整數的群 Z 帶有加法作為群運算。如果把加法替代為乘法，就得到了乘法群。這些群是抽象代數中重要概念的前身。
群應用於很多數學領域中。數學對象的性质經常是通過将群關聯与数学对象关联，并研究相應的群的性質来研究的。例如，儒勒·昂利·庞加莱通過引入基本群創立了現在所謂的代數拓撲。通過這種連接方式，拓撲性質比如臨近和連續轉換成了群的性質。例如，右側的圖像描繪了平面減去一個點的基本群的元素。這個群的元素給出為在這個區域內的環路。藍色環路被認為是零同倫（因此是無關緊要的），因為它可以收縮為一個點。圓孔的存在防止了橙色環路被收縮。橙色環路（或任何環繞這個圓孔一次的其他環路）所生成的，去掉了一個點的平面的基本群是無限循環群。基本群以這種方式探測到了這個圓孔。
在更新近的應用中，影響已經被倒轉過來，由群論背景來激發幾何結構了。在類似的脈絡下，幾何群論采用了幾何概念，比如在雙曲群的研究中。其他一些大量应用群论的数学分支包括代數幾何和數論。例如，典型群和Picard群在代数几何上有重要应用；參見
除了上述理論應用之外，還存在很多群的實踐應用。密碼學依賴於抽象群論方式和從計算群論中特別是實現于有限群上的時候所得到的算法知識的結合。群論的應用不限於數學；科學如物理、化學和計算機科學都受益於這個概念。
很多數系統，比如整數和有理數享有自然給予的群結構。在某些情況下比如對于有理數，加法和乘法運算二者都引發群結構。這種系統是叫做環和-{zh-cn:域; zh-tw:體;}-的更一般的代數結構的前身。
整數Z在加法下的群记為（Z, +），它在上面已經描述了。整數帶有用乘法替代加法的運算，(Z, ·)不形成群。閉合、結合律和單位元公理滿足，但逆元不存在：例如，"a" = 2是整數，但方程"a·b" = 1的唯一解在這種情況下是"b" = 1/2，它是有理數而非整數。因此不是所有Z的元素都有（乘法）逆元。
對乘法逆元存在的要求建议了考慮分式 整數的分式（要求"b"非零）叫做有理數。所有這種分數的集合通常記為Q。對于有理數帶有乘法成為群仍有一個小障礙：因為有理數0沒有乘法逆元（就是說沒有"x"使得"x"·0 = 1），(Q, ·)仍然不是群。
但是，所有非零有理數的集合Q\{0} = {"q" ∈ Q, "q" ≠ 0}形成一個在乘法下的阿貝爾群，記為。結合律和單位元公理從整數的性質中得出。閉合要求在去掉零之后仍成立，因為任何兩個非零有理數的乘積永遠不是零。最后，"a"/"b"的逆元是"b"/"a"，所以逆元公理也滿足。
有理數（包括0）在加法下也形成群。同時帶有加法和乘法運算產生更復雜的結構叫做環—如果同时除法总是可能的話（如在Q中）就是域，它在抽象代數中占據中心位置。群論理論因此位于這些實體的理論的底層部分。
對于任何素數"p"，模算術提供了整數模以"p"的乘法群。群的元素是不能被"p"整除的整數模"p"的同余类，就是說兩個數被認為是等價的如果它們的差被"p"整除。例如，如果"p" = 5，則精確地有四個群元素1, 2, 3, 4:排除了5的倍數而6和−4都等價于1。群運算給出為乘法。因此4·4 = 1，因為通常意义下的乘積16等價於1,而5整除16 − 1 = 15。以上事实記為 "p"的首要作用是確保了兩個都不被"p"整除的整數的乘積也不被"p"整除，因此指示的同馀類的集合在乘法下閉合。單位元如平常的乘法群一樣是1，而結合律可以從整數的相應性質得出。最后，逆元公理要求給定不整除于"p"的整數"a"，存在一個整數"b"使得 逆元"b"可以使用貝祖等式和最大公約數等于1的事實找到。在上述"p" = 5的情況下，4的逆元是4，3的逆元是2，因為3·2 = 6 ≡ 1 (mod 5)。所有的群公理都滿足。實際上，這個例子類似于上述（Q\{0},·），因為它是在有限域F中非零元素的乘法群，記為F。這些群對于公开密钥加密是至關重要的。
"循環群"是其所有元素都是特定元素"a"的冪的群（在群運算被寫為加法的時候使用術語倍數）。在乘法符號下，群的元素是： 這裡的"a"意味著"a"·"a"，而"a"表示"a"·"a"·"a"=("a"·"a"·"a")等等。這個元素"a"叫做這個群的生成元或本原元。
這類群的典型例子是單位一的"n"次複數根，由滿足"z" = 1的複數"z"给出，其運算為乘法。任何有"n"個元素的循環群同構於這個群。使用某些域論，群F可以被證明為是循環群：對于"p" = 5, 3是生成元因為3 = 3, 3 = 9 ≡ 4, 3 ≡ 2,而3 ≡ 1。無限循環群同構於（Z, +），它是前面介紹的整數在加法下的群。因為這兩個原型都是阿貝爾群，所以任何循環群都是。
阿貝爾群包括有限生成阿貝爾群的基本定理的研究是非常成熟的；對這個事態的反映是很多有關群論的概念，比如中心和交換子，描述了一個給定群不是阿貝爾群的程度。
"對稱群"是由給定數學對象的對稱組成的群，對稱源于它們的幾何本性（比如前面介紹的正方形的對稱群）或源于代數本性（比如多項式方程和它们的解）。概念上說，群論可以被認為是對稱性的研究。 數學中的對稱性極大的簡化了幾何或分析對象的研究。群被稱為作用於另一個數學對象"X"上，如果所有群元素進行某個在"X"上的運算兼容於群定律。在下面最右側例子中，7階的（2,3,7）三角群的一個元素通過置換突出的彎曲的三角形作用在鑲嵌上（其他的元素也是）。通過群作用，群模式被連接到了所作用到的對象的結構上。 在化學領域中，比如晶體學、空間群和點群描述分子對稱性和晶體對稱性。這些對稱性位于這些系統的化學和物理表現的底層，而群論使簡化對這些性質的量子力學分析成为可能。例如，群論被用來證實在特定量子級別間不出現光學躍遷簡單的因為涉及到了狀態的對稱性。
群不只對評定在分子中蘊含的對稱性有用，而且令人驚奇的它們還可以預測出分子的對稱性有时候可以改变。姜-泰勒效应是高對稱的分子的變形，此時，在通過分子的對稱運算相互關聯的一組可能基態中，该分子将采纳一個特定的低對稱的基態。
同樣的，群論還可以幫助預測在物質經歷相變的時候出現的物理性質的變更，比如晶體形式從立方體變為四面體。一個例子是鐵電物質，這裡從順電到鐵電狀態的變更出現在居里溫度時，與從高對稱順電狀態到低對稱鐵電狀態的變更有關，并伴隨著所謂的軟聲子模式，它是在變化時轉到零頻率的振動晶格模式。
這種自發對稱性破缺在基本粒子物理中找到了進一步應用，這裡它的出現与戈德斯通玻色子的出現有关。
有限對稱群比如马蒂厄群被用于編碼理論中，它又用于傳輸數據的糾錯和CD播放器中。另一個應用是微分伽羅瓦理論，它刻畫有已知形式的不定積分的函數，給出何時特定微分方程的解有良好表現的群論判定標準。在群作用下保持穩定的幾何性質在幾何不變量理論中研究。
矩陣群由矩陣加上矩陣乘法一起構成。一般線性群"GL"("n", R)由所有可逆的"n"乘"n"的帶有實數元素的矩陣構成。它的子群被稱為矩陣群或線性群。上面提及的二面體群例子可以被看作（非常小的）矩陣群。另一個重要矩陣群是特殊正交群"SO"("n")。它描述了"n"維的所有可能旋轉。通過歐拉角，旋轉矩陣被用于計算機圖形學中。
表示理論是對群概念的應用并且對深入理解群是很重要的。它通過群作用於其他空間來研究群。一類廣泛的群表示是線性表示，就是說群作用在線性空間中，比如三維歐幾里得空間R。"G"在"n"-維實向量空間上的表示簡單的是從群到一般線性群的群同態 以這種方式，抽象給出的群運算被轉換成用明確的計算可觸及到的矩陣乘法。
給定一個群作用，這給出了研究所作用的對象的進一步方法。在另一方面，它還產生了關于群的信息。群表示是在有限群、李群、代數群和拓撲群特別是（局部）緊群理論中的起組織作用的原則。
"伽羅瓦群"是通过对求解多項式方程的过程中涉及到的对称性的研究而被发展起来的。例如，二次方程"ax" + "bx" + "c" = 0的解給出為 對換表達式中的"+"和"−"，也就是置換方程的兩個解可以被看作（非常簡單的）群運算。類似的公式對於三次方程和四次方程也有，但是對於五次方程和更高次的方程就不普遍性的存在。与多項式相关联的伽羅瓦群的抽象性質（特別是它們的可解性）給出了那些多項式的所有解都可用根式表達的判定標準，就是說這些解可以類似上面公式那樣只使用加法、乘法和方根來表達。
這個問題可以使用域論來處理：考慮一個多項式的分裂域就把問題轉移到了域論的領域中了。現代伽羅瓦理論把上述類型的伽羅瓦群推廣到了域擴張，并通過伽羅瓦理論基本定理建立了在-{zh-cn:域; zh-tw:體;}-和群之間的嚴格關聯，再次凸顯了群在數學中無所不在。
一個群被稱為有限群，如果它有有限個元素。元素的數目叫做群"G"的階。一類重要的有限群是n次对称群"S"，它是"N"個字母的置換的群。例如，在3個字母上的n次对称群"S"是由三個字母"ABC"的所有可能置換構成的群，就是說它包含元素"ABC", "ACB", ...,直到"CBA"，總共有6（或3的階乘）個元素。這類群是基礎性的，因為任何有限群都可以表達為"n"次对称群"S"在適合的整數"N"下的子群（凱萊定理）。相似於上述正方形的對稱的群，"S"還可以解釋為等邊三角形的對稱的群。
在群"G"中的一個元素"a"的階是最小的使得"a = e"的正整數"n"，這裡的 "a"表示formula_44，就是應用運算·於"a"的"n"個復本上。（如果·代表乘法則"a"對應於"a"的"n"次冪）。在無限群中，這個"n"可能不存在，在這種情況下"a"的階被稱為無限的。一個元素的階等于這個元素生成的循環子群的階。
更復雜的計數技術例如計數陪集，產生關于有限群的更精確陳述：拉格朗日定理聲稱有限群"G"的任何有限子群"H"的階整除"G"的階。西羅定理證明了它的部分逆命題。
上面討論的二面體群是8階有限群。r的階為4，這是它生成的子群"R"（見上）的階。反射元素f等的階是2。如拉格朗日定理所述這兩個階都整除8。上面的群F有階。
数学家们常常为寻求一种数学对象的完备分类（或列表）而努力。在有限群的领域内，这个目标迅速引出了一系列困难而意义深远的数学问题。根据拉格朗日定理，p阶有限群（p为素数）必定是循环（阿贝尔）群Z。"p"阶群也被证明是阿贝尔群。但这一命题并不能推广到"p"阶群，如上面的非阿贝尔群——8阶二面体群D所示，其中8 = 2。可以利用计算机代数系统来给较小的群列表，但没有对一切有限群的分类。一个中间步骤是有限单群分类。如果一个非平凡群仅有的正规子群是平凡群和它自身，那么这个群叫做一个单群或简单群。若尔当-赫尔德定理说明单群可以作为建构有限群的“砖块”。 有限单群列表是当代群论的一个主要成就。1998年的菲尔兹奖得主理查·伯切德斯成功地证明了所谓怪兽-胡言乱语猜想。该猜想指出了最大有限简单散在群——“怪兽群”与一种来自经典复分析和弦理论（一种被认为统一了对许多物理学现象的描述的理论）的对象模函数之间的惊人而深刻的联系。
很多群同時是群和其他數學結構的例子。用范疇論的語言來說，它們是在范疇中的群對象，這意味著它們是帶著模仿群公理的（叫做態射的）變換的對象（就是說其他數學結構的例子）。例如，所有群（如上面定義的）也是一個集合，所以群是在集合范疇中的群對象。
某些拓撲空間可以配備上群结构。為了讓群公理與拓撲交織良好，群運算必須是連續函數，就是說如果"g"和"h"只變化很小，那么和"g"必須變化不大。這種群叫做拓撲群，并且它們是在拓撲空間范疇內的群對象。最基本的例子是實數R在加法之下，任何其他拓撲-{zh-cn:域; zh-tw:體;}-比如複數或p進數也是類似。所有這些群都是局部緊拓撲群，所以它們有哈尔测度并可以通過調和分析來研究。前者提供了不變積分的抽象形式化。以實數情況为例，不变性意味着有： 對於任何常數"c"成立。在這些-{zh-cn:域; zh-tw:體;}-上的矩陣群也属于这种结构下，賦值向量環和賦值向量代數群也是如此，它們對數論是基礎性的。無限域擴張的伽羅瓦群比如絕對伽羅瓦群也可以配備上拓撲，叫做Krull拓撲，它又是推廣上面概述的-{zh-cn:域; zh-tw:體;}-和群的連接到無限域擴張的中心概念。適應代數幾何需要的這個想法的高級推廣是étale基本群。
李群（为纪念索菲斯·李而命名）是具有流形結構的群，就是說它們是局部上看起來像某個適當維度的歐幾里得空間的空間。這裡，作为額外結構的流形結構也必須是兼容的，就是說對應於乘法和求逆的映射必須是光滑的。
標準例子是上面介紹的一般線性群：它是所有formula_46矩陣的空間的開子集，因為它由不等式 給出。這裡的"A"指示formula_46矩陣。
李群在物理中是基礎性的：诺特定理把連續對稱与守恒定律关联起来。在空間和時間中旋轉和平移不变性是力學定律的基本對稱。它們可以被用來構造簡單的模型——比如在一種狀況下實施軸對稱常常會導致在解用來提供物理描述的方程上的重大簡化。另一個例子是-{zh-hans:洛伦兹变换;zh-hant:勞侖茲變換;}-，它有關於兩個相互運動的觀察者的時間和速度的測量。它們可以用純群論方式推演，通過把變換表達為闵可夫斯基時空的旋轉對稱。在忽略萬有引力的情況下，后者充當了狹義相對論的時空模型。闵可夫斯基時空的完全對稱群，就是說包括了平移，叫做庞加莱群。通過上述联系，它在狹義相對論中扮演了關鍵角色，并隐含地用于量子場論。 隨位置變化的對稱与規范場論一起构成现代物理对相互作用的描述的中心。
在抽象代數中，通過放松定義群的某個公理可定義出更多的一般結構。例如，如果省略所有元素都逆元的要求，結果的代數結構就叫做幺半群。自然數集N（包括0）在加法下形成了幺半群，還有非零整數在乘法下也是。有一種一般方法用來向任何（阿貝爾的）幺半群正式的增加元素的逆元，非常類似于從得出的方式，這叫做格罗滕迪克群。广群非常類似于群，除了復合"a" · "b"不必須在所有的"a"和"b"上有定義之外。它們由更加復雜形式的對稱的研究所引發，常見于拓撲和分析結構比如基本广群中。表格給出一些推廣群的結構。