比浏览器更快的访问！
22 关系: 埃瓦里斯特·伽罗瓦，可解群，同构，同构基本定理，子群，中心化子和正规化子，并集，商群，共軛閉包，四元數，理想，等价关系，等价类，群，群同態，群子集的乘積，直积，阿贝尔群，逻辑等价，陪集，换位子群，欧几里得空间。
埃瓦里斯特·伽罗瓦
埃瓦里斯特·伽罗瓦（Évariste Galois，，法語發音：），法国著名的数学家。在他还只有十几岁的时候，他就发现了n次多项式可以用根式解的充要条件，解决了长期困扰数学界的问题。他的工作为伽罗瓦理论（一个抽象代数的主要分支）以及伽罗瓦连接领域的研究奠定了基石。他是第一个使用「群」这一個数学术语来表示一组置换的人。與尼尔斯·阿贝尔並稱為現代群論的創始人。在路易·菲利普复辟的时期，他是一个激进的共和主义者，并因此被逮捕、坐牢。二十岁出狱后，他在一次幾近自殺的決鬥中逝世，引起種種揣測。.
新！!: 正规子群和埃瓦里斯特·伽罗瓦 · 查看更多 »
可解群
在數學的歷史中，群論原本起源於對五次方程及更高次方程無一般的公式解之證明的找尋，最終随着伽羅瓦理论的提出而确立。可解群的概念產生於描述其根可以只用根式(平方根、立方根等等及其和與積)表示的多項式所对应的自同構群所擁有的性質。 一個群被稱為可解的，若它擁有一個其商群皆為阿貝爾群的正規列。或者等價地說，若其降正規列 之中，每一個子群都會是前一個的导群，且最後一個為G的當然子群。上述兩個定義是等價的，对一個群H及H的正規子群N，其商群H/N為可交換的若且唯若N包含著H(1)。 對於有限群，有一個等價的定義為：一可解群為一有著其商群皆為質數階的循環群之合成列的群。此一定義會等價是因為每一個簡單阿貝爾群都是有質數階的循環群。若爾當-赫爾德定理表示若一個合成列有此性質，則其循環群即會對應到某個體上的n個根。但此一定義的等價性並不必然於無限群中亦會成立：例如，因為每一個在加法下的整數群Z的非當然子群皆同構於Z本身，它不會有合成列，但是其有著唯一同構於Z的商群之正規列，證明了其確實是可解的。 和喬治·波里亞的格言「若有一個你無法算出的問題，則會有的你可以算出的較簡單的問題」相一致的，可解群通常在簡化有關一複雜的群的推測至一系列有著簡單結構－阿貝爾群的群的推測有著很有用的功用。.
同构
在抽象代数中，同构（isomorphism）指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。 正式的表述是：同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略掉同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。.
同构基本定理
同构基本定理或称同态基本定理，包含三个定理，在泛代数领域有广泛的应用。它们证明了一些自然同构的存在性。.
新！!: 正规子群和同构基本定理 · 查看更多 »
子群
假設(G, *)是一個群，若 H 是 G 的一個非空子集且同時 H 與相同的二元運算 * 亦構成一個群，則 (H, *) 稱為 (G, *) 的一個子群。參閱群論。 更精確地來說，若運算*在H的限制也是個在H上的群運算，则称H為G的子群。 一個群G的純子群是指一個子群H，其為G的純子集(即H ≠ G)。任一個群的當然群為只包含單位元素的子群。若H為G的子群，則G有時會被稱為H的「母群」。 相同的定義可以應用在更廣義的範圍內，當G為一任意的半群，但此一條目中只處理群的子群而已。群G有時會被標記成有序對(G,*)，通常用以強調其運算*當G帶有多重的代數或其他結構。 在下面的文章中，會使用省略掉*的常規，並將乘積a*b寫成ab。.
中心化子和正规化子
群论中，一个群G的子集S的中心化子和正规化子是G的子群。它们分别在S的元素和作为一个整体S有受限制的作用。这些子群给出了关于G的结构的有用信息。.
新！!: 正规子群和中心化子和正规化子 · 查看更多 »
并集
在集合论和数学的其他分支中，一组集合的并集（台湾叫做聯--集、港澳叫做--、大陆叫做--）是这些集合的所有元素构成的集合，而不包含其他元素。.
商群
在數學中，給定一個群G和G的正規子群N，G在N上的商群或因子群，在直覺上是把正規子群N“萎縮”為單位元的群。商群寫為G/N并念作G mod N（mod是模的簡寫）。如果N不是正規子群，商仍可得到，但結果將不是群，而是齊次空間。.
共軛閉包
在群論中，群 G 的子集 S 的共軛閉包是生成自 SG 的 G 的子群，即 SG 在群運算下的閉包，這里的 SG 是 S 元素的共軛的集合： S 的共軛閉包記為 G> 或 G。 S 的共軛閉包總是 G 的正規子群；事實上，它是包含 S 的最小的 G 的正規子群。為此，共軛閉包也叫做 S 的正規閉包或者 S 生成的正規子群。正規閉包也可以刻畫為包含 S 的所有 G 的正規子群的交集。如果 S 已經是正規子群則它等于它的正規閉包。 如果 S.
四元數
四元數是由爱尔兰數學家威廉·盧雲·哈密頓在1843年创立出的數學概念。 從明確地角度而言，四元數是複數的不可交換延伸。如把四元數的集合考慮成多維實數空間的話，四元數就代表著一個四维空间，相對於複數為二维空间。 作为用于描述现实空间的坐标表示方式，人们在复数的基础上创造了四元数并以a+bi+cj+dk的形式说明空间点所在位置。 i、j、k作为一种特殊的虚数单位参与运算，并有以下运算规则：i0.
理想
想可以指：.
等价关系
等價關係（equivalence relation）即设R是某個集合A上的一个二元关系。若R满足以下條件：.
等价类
在数学中，假設在一个集合X上定義一个等价关系（用 \sim來表示），则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果X是有限的并且等价类都是等势的，则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系，都有从X到X/ \sim的一个规范投影映射\pi，给出为\pi(x).
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群同態
在數學中，給定兩個群（G, *）和（H,·），從 (G, *)到 (H,·)的群同態是函數h: G → H使得對於所有G中的u和v下述等式成立 在這裡，等號左側的群運算*，是G中的運算；而右側的運算·是H中的運算。 從這個性質，可推導出h將G的單位元eG映射到H的單位元eH，并且它還在h(u-1).
群子集的乘積
在數學，若S和T為群G的子集，則其乘積為G的子集，其定義為 其中，S和T不必然需要是子群。其乘積的結合律源自群的結合律。因此，群子集的乘積定義出了一個於G冪集上的自然么半群結構。 即使S和T為G的子群，其乘積也不必然會是個子群。其乘積為子群若且唯若ST.
新！!: 正规子群和群子集的乘積 · 查看更多 »
直积
在數學中，經常定義已知對象的直積（direct product）來給出新對象。例子有集合的乘積（參見笛卡爾積），群的乘積（下面描述），環的乘積和其他代數結構的乘積。拓撲空間的乘積是另一個例子。.
阿贝尔群
阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.
逻辑等价
在逻辑中，陈述p和q是逻辑等价的，如果它们有相同的逻辑内容。 p和q是语法等价的，如果每个都可以证明自另一个。p和q是语义等价的，如果它们在所有模型中有相同的真值。 逻辑等价经常混淆于实质等价。前者是在元语言中的一个陈述，断言关于目标语言中的陈述p和q的某个事情。而p和q的实质等价（常写为"p ↔ q"）自身是在目标语言中另一个陈述。但它们是有联系的，p和q是语法等价的，当且仅当p ↔ q是一个定理，而p和q是语义等价的，当且仅当p ↔ q是重言式。 逻辑等价有时表示为p ≡ q或p ⇔ q。但是，后者记号也用于实质等价。.
陪集
数学上，若G为群，H为其子群，而g为G中元素，则 仅当H为正规子群时，左右陪集相同，这也是子群正规性的一个定义。 陪集指某个G中子群的左或右陪集。因为Hg.
换位子群
在抽象代数中，一个群的换位子群或导群，是指由这个群的所有交换子所生成的子群，记作、G′或G(1) 。每个群都对应着一个确定的交换子群。在一个群G的所有正规子群中，交换子群G′是使得G对它的商群为交换群的最小子群。在某种意义上，交换子群提供了群G的可交换程度。因为从交换子的定义：.
欧几里得空间
欧几里得几何是在约公元前300年，由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度，而这种空间叫做 n维欧几里得空间（甚至简称 n 维空间）或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形，称为实内积空间（不一定完备）， 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间，空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象，它却捕获了我们熟悉的欧几里得空间的根本本质，根本性质是它的平面性。 另存在其他種類的空间，例如球面非欧几里得空间，相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.
新！!: 正规子群和欧几里得空间 · 查看更多 »
重定向到这里：
不变子群。
