比浏览器更快的访问！
21 关系: 半群，同餘，子集，完全格，二元运算，当且仅当，循環群，凱萊表，因數，等价关系，群，群同構，群同態，群的生成集合，群论，階 (群論)，阿贝尔群，陪集，最大下界，最小上界，拉格朗日定理 (群論)。
半群
在数学中，半群是闭合于结合性二元运算之下的集合 S 构成的代数结构。 半群的运算经常指示为乘号，也就是 x\cdot y 或简写为 xy 来指示应用半群运算于有序对 (x, y) 的结果。 半群的正式研究开始于二十世纪早期。自从1950年代，有限半群的研究在理论计算机科学中变得特别重要，因为在有限半群和有限自动机之间有自然的联系。.
同餘
数学上，同余（congruence modulo，符號：≡）是數論中的一種等價關係。當两个整数除以同一个正整数，若得相同-zh-hans:余数; zh-hant:餘數;-，则二整数同余。同餘是抽象代數中的同餘關係的原型。最先引用同余的概念与「≡」符号者为德國数学家高斯。.
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
完全格
在数学中，完全格是在其中所有子集都有上确界（并）和下确界（交）的偏序集。完全格出现于数学和计算机科学的很多应用中。作为格的特殊实例，在序理论和泛代数中都有所研究。 完全格一定不能混淆于完全偏序（cpo），它构成严格的更加一般的一个偏序集合类别。更特殊的完全格是完全布尔代数和完全Heyting代数（locale）。.
二元运算
二元运算属于数学运算的一种。二元运算需要三个元素：二元运算符以及该运算符作用的两个变量。如四则运算的加、减、乘、除均属于二元运算。 如在运算1 + 2之中，二元运算符为“+”，而该运算符作用的操作数分别为1与2。 二元运算只是二元函数的一种，由于它被广泛应用于各个领域，因此受到比其它函数更高的重视。.
当且仅当
当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。.
循環群
在群論中，循環群（英文：cyclic group），是指能由單個元素所生成的群。有限循环群同构于整数同余加法群 Z/nZ，无限循环群则同构于整数加法群。每個循環群都是阿贝尔群，亦即其運算是可交換的。在群论中，循环群的性质已经被研究的较为透彻，是更为复杂的代数研究中常用到的基础工具。.
凱萊表
凱萊表，以19世紀英國數學家阿瑟·凱萊命名，通過在正方形表格中排列一個群的所有元素的所有可能乘積來描述有限群的結構，這讓人想起了加法或乘法表。群的很多性質，比如是否為阿貝爾群，哪個元素是哪個元素的逆元，和群的中心的大小和內容，都可以通過檢查它的凱萊表來輕易得出。 凱萊表的一個簡單例子是群 在普通的乘法下的表格: |- !style.
因數
因數是一個常見的數學名詞，又名「--」。.
等价关系
等價關係（equivalence relation）即设R是某個集合A上的一个二元关系。若R满足以下條件：.
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群同構
在抽象代數中，群同構是在兩個群之間的函數，它以關照到了群運算的方式架設了在群的元素之間的一一對應。如果兩個群之間存在一個同構，則這兩個群叫做同構的。從群論的立場看，同構的群有相同的性質而不要區分。.
群同態
在數學中，給定兩個群（G, *）和（H,·），從 (G, *)到 (H,·)的群同態是函數h: G → H使得對於所有G中的u和v下述等式成立 在這裡，等號左側的群運算*，是G中的運算；而右側的運算·是H中的運算。 從這個性質，可推導出h將G的單位元eG映射到H的單位元eH，并且它還在h(u-1).
群的生成集合
在抽象代數中，群 G 的生成集合是子集 S 使得所有 G 的所有元素都可以表達為 S 的元素和它們的逆元中的有限多個元素的乘積。 更一般的說，如果 S 是群 G 的子集，則 S 所生成的子群 是包含所有 S 的元素的 G 的最小子群，這意味著它是包含 S 元素的所有子群的交集；等價的說， 是可以用 S 的元素和它們的逆元中的有限多個元素的乘積表達的 G 的所有元素的子群。 如果 G.
群论
在数学和抽象代数中，群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位：许多代数结构，包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（linear algebraic groups）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.
階 (群論)
在群論這一數學的分支裡，階這一詞被使用在兩個相關連的意義上：.
阿贝尔群
阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.
陪集
数学上，若G为群，H为其子群，而g为G中元素，则 仅当H为正规子群时，左右陪集相同，这也是子群正规性的一个定义。 陪集指某个G中子群的左或右陪集。因为Hg.
最大下界
在数学中，某个集合 X 的子集 E 的下确界(infimum 或 infima，记为 inf E)是小于或等于的 E 所有其他元素的最大元素，其不一定在 E 內。所以还常用术语最大下界（简写为 glb 或 GLB）。在数学分析中，实数的下确界是非常重要的常见特殊情况。但這個定义，在更加抽象的序理论的任意偏序集合中，仍是有效的。 下确界是上确界概念的对偶。.
最小上界
在数学中，最小上界（supremum，亦称上确界，记为sup E）是序理论的重要概念，在格论和数学分析等领域有广泛应用。.
拉格朗日定理 (群論)
拉格朗日定理是群論的定理，利用陪集證明了子群的階一定是有限群的階的因數值。.
新！!: 子群和拉格朗日定理 (群論) · 查看更多 »
