9 关系: 平坦模,交換代數,伴隨函子,函子,諾特環,P進數,柯西序列,概形,正合函子。
平坦模
在抽象代數中,一個環 R 上的平坦模是一個 R-模 M,使得函子 - \otimes_R M 保持序列的正合性;若此函子還是忠實函子,則稱之為忠實平坦模 域上的向量空間都是平坦模。自由模或更一般的射影模也是平坦模。对于一个局部諾特環上的有限生成模,平坦性、射影性與自由性三者等價。 自塞爾的論文《代數幾何與微分幾何》以降,平坦性便在同調代數與代數幾何中扮演重要角色。其幾何意義甚深,詳見條目平坦態射。.
新!!: 完備化 (環論)和平坦模 · 查看更多 »
交換代數
在抽象代數中,交換代數旨在探討交換環及其理想,以及交換環上的模。代數數論與代數幾何皆奠基於交換代數。交換環中最突出的例子包括多項式環、代數整數環與p進數環,以及它們的各種商環與局部化。 由於概形無非是交換環譜的黏合,交換代數遂成為研究概形局部性質的主要語言。.
新!!: 完備化 (環論)和交換代數 · 查看更多 »
伴隨函子
在範疇論中,函子F, G若滿足\mathrm(F(-),-).
新!!: 完備化 (環論)和伴隨函子 · 查看更多 »
函子
在範疇論中,函子是範疇間的一類映射。函子也可以解釋為小範疇範疇內的態射。 函子首先現身於代數拓撲學,其中拓撲空間的連續映射給出相應的代數对象(如基本群、同調群或上同調群)的代數同態。在當代數學中,函子被用來描述各種範疇間的關係。「函子」(英文:Functor)一詞借自哲學家魯道夫·卡爾納普的用語。卡爾納普使用「函子」這一詞和函數之間的相關來類比謂詞和性質之間的相關。對卡爾納普而言,不同於當代範疇論的用法,函子是個語言學的詞彙。對範疇論者來說,函子則是個特別類型的函數。.
新!!: 完備化 (環論)和函子 · 查看更多 »
諾特環
諾特環是抽象代數中一類滿足升鏈條件的環。希爾伯特首先在研究不變量理論時證明了多項式環的每個理想都是有限生成的,隨後埃米·諾特從中提煉出升鏈條件,諾特環由此命名。.
新!!: 完備化 (環論)和諾特環 · 查看更多 »
P進數
进数是数论中的概念,也称作局部数域,是有理数域拓展成的完备数域的一种。这种拓展与常见的有理数域\mathbb到实数域\mathbb、复数域\mathbb的数系拓展不同,其具体在于所定义的“距离”概念。进数的距离概念建立在整数的整除性质上。给定素数,若两个数之差被的高次幂整除,那么这两个数距离就“接近”,幂次越高,距离越近。这种定义在数论性质上的“距离”能够反映同余的信息,使进数理论成为了数论研究中的有力工具。例如安德鲁·怀尔斯对费马大定理的证明中就用到了进数理论。 进数的概念首先由库尔特·亨泽尔于1897年构思并刻画,其发展动机主要是试图将幂级数方法引入到数论中,但现今进数的影响已远不止于此。例如可以在进数上建立p进数分析,将数论和分析的工具结合起来。此外进数在量子物理学、认知科学、计算机科学等领域都有应用。.
新!!: 完備化 (環論)和P進數 · 查看更多 »
柯西序列
在数学中,一个柯西列或柯西数列是指这样一个数列,它的元素随着序数的增加而愈发靠近。更确切地说,在去掉有限个元素后,可以使得余下的元素中任何两点间的距离的最大值不超过任意给定的正数。柯西列是以数学家奥古斯丁·路易·柯西的名字命名的。 柯西列的定义依赖于距离的定义,所以只有在度量空间中柯西列才有意义。在更一般的一致空间中,可以定义更为抽象的柯西滤子和柯西网。 一个重要性质是,在完备空间中,所有的柯西数列都有极限且极限在这空间里,这就让人们可以在不求出这个极限(如果存在)的情况下,利用柯西列的判别法则证明该数列的极限是存在的。柯西列在构造具有完备性的代数结构的过程中也有重要价值,如构造实数。.
新!!: 完備化 (環論)和柯西序列 · 查看更多 »
概形
概形是代數幾何學中的一個基本概念。.
新!!: 完備化 (環論)和概形 · 查看更多 »
正合函子
在範疇論中,正合函子(或譯作恰當函子)是保存有限極限的函子。在阿貝爾範疇中,這就相當於保存正合序列的函子。.
新!!: 完備化 (環論)和正合函子 · 查看更多 »