23 关系: 同調代數,同构,向量空间,導出函子,對稱群,序列,代数拓扑,像 (數學),分裂引理,矩陣加法,线性映射,群,群同態,群上同調,群论,當然群,Ext函子,范畴,蛇引理,模,正合函子,满射,数学。
同調代數
同調代數是數學的一個分支,它研究同調與上同調技術的一般框架。.
同构
在抽象代数中,同构(isomorphism)指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。 正式的表述是:同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射,那么这两个结构叫做是同构的。一般来说,如果忽略掉同构的对象的属性或操作的具体定义,单从结构上讲,同构的对象是完全等价的。.
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何,幾何上的向量及相关的運算即向量加法,標量乘法,以及对運算的一些限制如封闭性,结合律,已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中,“向量”的概念不仅限于此,满足下列公理的任何数学对象都可被当作向量处理。譬如,實系數多項式的集合在定义适当的运算后构成向量空間,在代数上处理是方便的。单变元实函数的集合在定义适当的运算后,也构成向量空间,研究此类函数向量空间的数学分支称为泛函分析。.
導出函子
在同調代數中,阿貝爾範疇間的某類函子可以「求導」,以獲得相應的導出函子。此概念可以融貫數學中許多領域裡的具體構造。.
對稱群
对称群可以指:.
序列
数学上,序列是被排成一列的对象(或事件);这样,每个元素不是在其他元素之前,就是在其他元素之后。这里,元素之间的顺序非常重要。.
代数拓扑
代数拓扑(Algebraic topology)是使用抽象代数的工具来研究拓扑空间的数学分支。.
像 (數學)
在数学中,像是一個跟函数相關的用語。.
新!!: 正合序列和像 (數學) · 查看更多 »
分裂引理
在数学中,更准确地是同调代数中,分裂引理(splitting lemma)说在任何阿贝尔范畴中,关于短正合序列的下列陈述是等价的。 给定一个具有映射q 与r 的短正合序列: 我们写出映射(可能不存在)的箭头t 与u: 下列陈述是等价的:;1.左分裂:存在一个映射t: B → A 使得tq 是A 的恒等;;2.右分裂:存在一个映射u: C → B 使得ru 是C 的恒等;;3.直和: B 同构于A 与C 的直和,q 是A 的自然内射而r 是到C 的投影。 如果上述陈述成立,短正合序列成为分裂的。 这使我们可改进第一同构定理:.
矩陣加法
在數學裡,矩陣加法一般是指兩個矩陣把其相對應元素加在一起的運算。但有另一運算也可以認為是一種矩陣的加法。.
线性映射
在数学中,线性映射(有的书上将“线性变换”作为其同义词,有的则不然)是在两个向量空间(包括由函数构成的抽象的向量空间)之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态,从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中,“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类(详见下文)。为叙述方便,本条目在提及“线性算子”时,采用后一种定义,即将线性算子与线性映射区别开来。.
群
在數學中,群是由一個集合以及一個二元運算所組成的,符合下述四个性质(称为“群公理”)的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征:它是保持物體不變的變換的集合。這種對稱群,特別是連續李群,在很多學術學科中扮演重要角色。例如,矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究,由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,它以自己的方式研究群。為了探索群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群、商群和單群。除了它們的抽象性質,群理論家還從理論和計算兩種角度來研究具體表示群的各種方式(群的表示)。對有限群已經發展出了特別豐富的理論,這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。.
群同態
在數學中,給定兩個群(G, *)和(H,·),從 (G, *)到 (H,·)的群同態是函數h: G → H使得對於所有G中的u和v下述等式成立 在這裡,等號左側的群運算*,是G中的運算;而右側的運算·是H中的運算。 從這個性質,可推導出h將G的單位元eG映射到H的單位元eH,并且它還在h(u-1).
群上同調
在同調代數中,群上同調是一套研究群及其表示的代數工具。群上同調源於代數拓撲,在代數數論上也有重要應用;它是現代類域論的基本構件之一。.
群论
在数学和抽象代数中,群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位:许多代数结构,包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现,而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群(linear algebraic groups)和李群作为群论的分支,在经历了重大的发展之后,已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中,因为许多不同的物理结构,如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果,有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果,它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.
當然群
在數學裡,當然群是指一個只包含單一元素e的群,其群運算只有e + e.
Ext函子
在同調代數中,Ext 函子是 Hom 函子的導函子。此函子首見於代數拓撲,但其應用遍佈許多領域。.
新!!: 正合序列和Ext函子 · 查看更多 »
范畴
----或--疇可以指:.
蛇引理
在同調代數中,蛇引理是構造長正合序列的關鍵工具,此引理在任何阿貝爾範疇中皆成立。依此構造的同態通常稱作連結同態。.
模
在數學的抽象代數中,環上的模 (module over a ring)的概念是對向量空間概念的推廣,這裡不再要求向量空間裡的純量的代數結構是體(field),進而放寬純量可以是環(ring)。 因此,模同向量空間一樣是加法交换群;在環元素和模元素之間定義了乘積運算,并且環元素和模元素的乘積是符合結合律的(在同環中的乘法一起用的時候)和分配律的。 模非常密切的關聯於群的表示理論。它們還是交換代數和同調代數的中心概念,并廣泛的用于代數幾何和代數拓撲中。.
正合函子
在範疇論中,正合函子(或譯作恰當函子)是保存有限極限的函子。在阿貝爾範疇中,這就相當於保存正合序列的函子。.
满射
满射或蓋射(surjection、onto),或稱满射函数或映成函數,一个函数f:X\rightarrow Y为满射,則对于任意的陪域 Y 中的元素 y,在函数的定义域 X 中存在一點 x 使得 f(x).
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.
重定向到这里:
恰當序列,正合列,短恰当序列,短正合序列,短正合列,裂正合,長正合序列,长恰当序列。