目录
31 关系: Artin群，基本多边形，基本群，原群，可均群，字 (群論)，巴拿赫-塔斯基定理，上同調維數，乒乓引理，代数拓扑，伴隨函子，凱萊圖，函子，商群，剩餘有限群，群，群的展示，群的生成集合，迭代函数，霍普夫群，自由對象，自由積，雙曲群，Free-by-cyclic群，HNN擴張，Thin群 (圍長)，正交群，泛性质，湯普森群，漢娜·諾伊曼猜想，拓扑学。
Artin群
數學上，Artin群，或稱廣義辮群，是指有如下展示的群： 其中 對m ，\langle x_i, x_j \rangle^m表示長度為m的x_i和x_j的交錯積，以x_i開首。例如： 若m.
查看 自由群和Artin群
基本多边形
在数学上，每个闭曲面在几何拓扑的意义下，可以由一个偶数条边的有向多边形，把它的边成对地粘合构造出来，这样的多边形称之为基本多边形（fundamental polygon）。 这个构造可以表示成一个长为2n的字符串，一共n个不同的符号，每个符号出现两次带有指数 +1或 -1。指数 -1的符号对应于该边的定向与基本多边形的定向相反。.
查看 自由群和基本多边形
基本群
在代數拓撲中，基本群（或稱龐加萊群）是一個重要的同倫不變量。帶點拓撲空間的基本群是所有從該點出發的環路的同倫等價類，群運算由環路的銜接給出。 基本群能用以研究兩個空間是否同胚，也能分類一個連通空間的覆疊空間（至多差一個同構）。 基本群的推廣之一是同倫群。.
查看 自由群和基本群
原群
在抽象代數裡，原群是一種基本的代數結構。具體地說，原群有一個集合 M 和一個 M 上的二元運算 M × M → M 。此二元運算依定義是封閉的，且除此之外便沒有其他公理被加在此運算中。.
查看 自由群和原群
可均群
可均群是數學上一個特別的局部緊拓撲群G，具備了一種為在G上的有界函數取平均的操作，而且G在函數上的群作用，不會改變所取得的平均。.
查看 自由群和可均群
字 (群論)
在群論中，字是群的任何元素和它們的逆元寫成的乘積。例如，如果 x, y 和 z 是群 G 的元素，則 xy, z-1xzz 和 y-1zxx-1yz-1 都是集合 形成的字。字在自由群和展示理論中扮演重要角色，并是組合群論的中心研究對象。.
查看 自由群和字 (群論)
巴拿赫-塔斯基定理
巴拿赫-塔斯基定理（或称豪斯多夫-巴拿赫-塔斯基定理，又名“分球怪论”），是一条数学定理。1924年斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理。这一定理指出在选择公理成立的情况下，可以将一个三维实心球分成有限（不可测的）部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。巴拿赫和塔斯基提出这一定理原意是想拒绝选择公理，但该证明很自然，因此数学家认为这仅意味着选择公理可以导致少数令人惊讶和反直觉的结果。有些叙述中这条定理被看成是悖论，但是定理本身没有逻辑上不一致的地方，实际上不符合悖论的定义。.
上同調維數
代數中，上同調維數是群的不變量，量度群的表示的同調複雜度。上同調維數在幾何群論、拓撲學、代數數論中有重要應用。.
查看 自由群和上同調維數
乒乓引理
群論中，乒乓引理給出了一個充分條件，保證一個群中數個子群所生成的群是這些子群的自由積。.
查看 自由群和乒乓引理
代数拓扑
代数拓扑（Algebraic topology）是使用抽象代数的工具来研究拓扑空间的数学分支。.
查看 自由群和代数拓扑
伴隨函子
在範疇論中，函子F, G若滿足\mathrm(F(-),-).
查看 自由群和伴隨函子
凱萊圖
在數學中，凱萊圖也叫做凱萊著色圖是編碼離散群的圖。它的定義是凱萊定理（以阿瑟·凱萊命名）所暗含的，并使用這個群的特定的通常有限的生成元集合。它是組合群論與幾何群論的中心工具。.
查看 自由群和凱萊圖
函子
在範疇論中，函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學，其中拓撲空間的連續映射給出相應的代數对象（如基本群、同調群或上同調群）的代數同態。在當代數學中，函子被用來描述各種範疇間的關係。「函子」（英文：Functor）一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言，不同於當代範疇論的用法，函子是個語言學的詞彙。對範疇論者來說，函子則是個特別類型的函數。.
查看 自由群和函子
商群
在數學中，給定一個群G和G的正規子群N，G在N上的商群或因子群，在直覺上是把正規子群N“萎縮”為單位元的群。商群寫為G/N并念作G mod N（mod是模的簡寫）。如果N不是正規子群，商仍可得到，但結果將不是群，而是齊次空間。.
查看 自由群和商群
剩餘有限群
在數學的群論中，一個群G稱為剩餘有限群，如果對G中每個非單位元g，都有一個群同態h從G到一個有限群，使得 剩餘有限群有數個等價定義：.
查看 自由群和剩餘有限群
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
查看 自由群和群
群的展示
在數學中，展示是定義群的一種方法。通過指定生成元的集合 S 使得這個群的所有元素都可以寫為某些這種生成元的乘積，和這些生成元之間的關係的集合 R。稱 G 有展示 非正式的說，G 有上述展示如果它是 S 所生成的只服從關係 R 的“最自由的群”。正式的說，群 G 被稱為有上述展示如果它同構於 S 上的自由群模以關係 R 生成的正規子群的商群。 作為一個簡單的例子，n 階循環群有展示 這里的 e 是群單位元。它可以等價的寫為 因為把不包括等號的項認為是等于群單位元。這種項叫做關係元(relator)，區別於包括等號的關係。 所有群都有一個展示，并且事實上有很多不同的展示；展示經常是描述群結構的最簡潔方式。 一個密切關聯但不同的概念是群的絕對展示。.
查看 自由群和群的展示
群的生成集合
在抽象代數中，群 G 的生成集合是子集 S 使得所有 G 的所有元素都可以表達為 S 的元素和它們的逆元中的有限多個元素的乘積。 更一般的說，如果 S 是群 G 的子集，則 S 所生成的子群 是包含所有 S 的元素的 G 的最小子群，這意味著它是包含 S 元素的所有子群的交集；等價的說， 是可以用 S 的元素和它們的逆元中的有限多個元素的乘積表達的 G 的所有元素的子群。 如果 G.
查看 自由群和群的生成集合
迭代函数
在数学中，迭代函数是在碎形和动力系统中深入研究的对象。迭代函数是重复的与自身复合的函数，这个过程叫做迭代。.
查看 自由群和迭代函数
霍普夫群
數學上，霍普夫(Hopfian)群是指一個群G，使得任何滿同態 都是自同構。另一個等價定義為G不同構於其任何真商群；換言之，若N是G的正規子群，使得G和G/N同構，則N是平凡子群。 餘霍普夫(co-Hopfian)群是指一個群G，使得任何單同態 都是自同構。另一個等價定義為G不同構於其任何真子群；換言之，若H是G的子群，使得G和H同構，則H.
查看 自由群和霍普夫群
自由對象
在數學中，自由對象是抽象代數中的基本概念。就其通於各種代數結構（帶有限操作）而言，它也屬泛代數的一支，例子包括自由群、張量代數與自由格。在範疇論的框架下，可以將自由對象推廣為自由函子，這是遺忘函子的左伴隨函子。.
查看 自由群和自由對象
自由積
在數學的群論中，自由積（free product，produit libre）是從兩個以上的群構造出一個群的一種操作。兩個群G和H的自由積，是一個新的群G ∗ H。這個群包含G和H為子群，由G和H的元素生成，並且是有以上性質的群之中「最一般」的。自由積一定是無限群，除非G和H其一是平凡群。自由積的構造方法和自由群（由給定的生成元集合所能構造出的最一般的群）相似。 自由積是群範疇中的餘積。.
查看 自由群和自由積
雙曲群
數學的幾何群論上，雙曲群是指一種帶有度量的群，符合雙曲幾何的某些性質。雙曲群是米哈伊爾·格羅莫夫於1980年代初所創的概念。.
查看 自由群和雙曲群
Free-by-cyclic群
群論中一個群G稱為free-by-cyclic群，如果有一個自由正規子群F，使得商群G/F是循環群。 換言之，G是free-by-cyclic，如果G是一個循環群對一個自由群的群擴張。（注意"by"有兩種相反用法。） 若F是有限生成群，則稱G是(finitely generated free)-by-cyclic群。.
HNN擴張
數學上，HNN擴張（HNN extension）是組合群論中的一個基本構造法。HNN擴張是三名數學家Graham Higman、Bernhard Neumann、Hanna Neumann在1949年的論文Embedding Theorems for Groups提出。給定一個群中兩個同構子群及其間的群同構，這個構造法將這個群嵌入到另一個群中，令到所給定的群同構在新的群中成為共軛。.
查看 自由群和HNN擴張
Thin群 (圍長)
數學上，一個群稱為thin，如果以任意有限生成集合導出的凱萊圖的圍長，有一個有限上界。一個不是thin的群稱為fat。 給定群的一個生成集合，考慮由之導出的凱萊圖。圖的頂點是群的元素。當一個元素是另一個元素乘以一個生成元時，將兩個元素的對應頂點用一條邊相連。這個圖是連通圖，也是頂點傳遞的。圖中的道路對應於用生成元寫成的字。 如果凱萊圖中有一個給定長度的圈，則有一個相同長度的圈包含單位元。所以這個圖的圍長是化約為單位元的非平凡字的最短長度。 若凱萊圖中沒有圈，其圍長定為無限。 群G關於生成集合X的圍長記為U(X,G)。 凱萊圖的圍長依賴於生成集合。一個群是thin，如果對任意有限生成集合，圍長都有一個上界。 設\mathbf X_G為群G的有限生成集合族，記G的圍長為 若U(G)，則G是thin。.
正交群
数学上，数域F上的n阶正交群，记作O(n,F)，是F上的n×n 正交矩阵在矩阵乘法下构成的群。它是一般线性群GL(n,F)的子群，由 这里QT是Q的转置。实数域上的经典正交群通常就记为O(n)。 更一般地，F上一个非奇异二次型的正交群是保持二次型不变的矩阵构成的群。嘉当-迪奥多内定理描述了这个正交群的结构。 每个正交矩阵的行列式为1或−1。行列式为1的n×n正交矩阵组成一个O(n,F)的正规子群，称为特殊正交群SO(n,F)。如果F的特征为2，那么1.
查看 自由群和正交群
泛性质
在数学的很多分支，经常用“在给定某些条件下存在唯一态射”这种形式的性质来定义一些构造。这种性质统称为泛性质（Universal property），有时也称为万有性。范畴论研究泛性质。 了解泛性质最好先研究一些例子。如：群积、直和、自由群、积拓扑、斯通-切赫紧致、张量积、反极限、直极限、核与上核、拉回、推出、等子等。.
查看 自由群和泛性质
湯普森群
數學上，湯普森群（Thompson groups）是理查德·湯普森1965年在幾份未發表的手寫筆記中，提出的三個群，通常記為F⊂T⊂V。這三個群中受到最廣泛研究的是群F。有時湯普森群單單指群F。 這三個湯普森群有許多不尋常性質，當中尤以F為甚，因此成為了群論中不少猜想的反例。這三個群都是有限展示的無限群。T和V是罕有的無限但為有限展示的單群。F不是單群，但其換位子群是單群。F對換位子群的商F/是秩2的自由阿貝爾群。F是全序群，有指數增長率，無子群同構於秩2自由群。 群F是否可均群的問題，爭議頗大，有兩方各執一端：E.
查看 自由群和湯普森群
漢娜·諾伊曼猜想
群論中，漢娜·諾伊曼猜想是關於一個自由群的兩個有限生成子群的交的秩，1957年由漢娜·諾伊曼提出。Hanna Neumann.
查看 自由群和漢娜·諾伊曼猜想
拓扑学
在數學裡，拓撲學（topology），或意譯為位相幾何學，是一門研究拓撲空間的學科，主要研究空間內，在連續變化（如拉伸或彎曲，但不包括撕開或黏合）下維持不變的性質。在拓撲學裡，重要的拓撲性質包括連通性與緊緻性。 拓撲學是由幾何學與集合論裡發展出來的學科，研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲，他在17世紀提出「位置的幾何學」（geometria situs）和「位相分析」（analysis situs）的說法。莱昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出，雖然直到20世紀初，拓撲空間的概念才開始發展起來。到了20世紀中葉，拓撲學已成為數學的一大分支。 拓撲學有許多子領域：.
查看 自由群和拓扑学