子群和離散群

快捷方式: 差异，相似，杰卡德相似系数，参考。

子群和離散群之间的区别

子群 vs. 離散群

假設(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。帶有這種拓撲 G 成為了拓撲群。拓撲群 G 的離散子群是其相對拓撲為離散拓撲的子群 H。例如，整數集 Z 形成了實數集 R 的離散子群，但是有理數集 Q 不行。 任何群都可以給予離散拓撲。因為出自離散空間的所有映射都是連續的，離散群的拓撲同態完全就是底層群的群同態。因此，在群范疇和離散群范疇之間有一個同構，離散群因此同一於它們的底層(非拓撲)群。由于這個想法，術語離散群論被用來稱呼對沒有拓撲結構的群的研究，用來對比於拓撲群論或李群論。它在邏輯上和技術上被分為有限群論和無限群論。 在有些場合拓撲群或李群反自然的配備上離散拓撲是有用的。這可以在玻爾緊緻化理論和在李群的群上同調理論中找到實例。.

群

在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.

子群和群 · 群和離散群 · 查看更多 »

群同態

在數學中，給定兩個群（G, *）和（H,·），從 (G, *)到 (H,·)的群同態是函數h: G → H使得對於所有G中的u和v下述等式成立 在這裡，等號左側的群運算*，是G中的運算；而右側的運算·是H中的運算。 從這個性質，可推導出h將G的單位元eG映射到H的單位元eH，并且它還在h(u-1).

子群和群同態 · 群同態和離散群 · 查看更多 »

阿贝尔群

阿貝爾群（Abelian group）也稱爲交換群（commutative group）或可交換群，它是滿足其元素的運算不依賴於它們的次序（交換律公理）的群。阿貝爾群推廣了整數集合的加法運算。阿貝爾群以挪威數學家尼尔斯·阿貝爾命名。 阿貝爾群的概念是抽象代數的基本概念之一。其基本研究對象是模和向量空間。阿貝爾群的理論比其他非阿貝爾群簡單。有限阿貝爾群已經被徹底地研究了。無限阿貝爾群理論則是目前正在研究的領域。.

子群和阿贝尔群 · 阿贝尔群和離散群 · 查看更多 »