同構定理(isomorphism theorem)類域論的重要定理.該定理斷言:數域k的希爾伯特類域kH的伽羅瓦群G(kH/k)與k的理想類群同構.這一定理到一般類域上有推廣.
同構基本定理,即同態基本定理,由埃米·諾特提出。包含三個定理,在泛代數領域有廣泛的套用,證明了一些自然同構的存在性。...
同構定理(isomorphism theorem)類域論的重要定理.該定理斷言:數域k的希爾伯特類域kH的伽羅瓦群G(kH/k)與k的理想類群同構.這一定理到一般類域上有推廣. ...
在抽象代數(abstract algebra)中,同構(isomorphism)指的是一個保持結構的雙射(bijection)。在更一般的範疇論語言中,同構指的是一個態射,且存在另一個態射,使得...
曼希爾同構定理(Myhill isomorphism the -orem)遞歸論的一個重要定理.它揭示了遞歸同構與1一化歸間的關係.即:集合A,B遞歸同構,若且唯若A三1B.曼希爾同構定理是...
托姆同構定理(Thom isomorphism theorem )向量叢上同調群之間存在同構的定理.該定理斷言:若濘是有向n平面叢,n是係數環,則存在一個且僅有一個上同調類u E H"(...
模同構是一種特殊的模同態,假設f是模M到模N的同態,若f時一一的並且是映上的,則f為模M到模N的同構。兩個同構的模,從模的結構來看,它們沒有什麼區別。模...
華羅庚定理原意是:除環的半自同構,除了自同構和反自同構以外,再也沒有其它的了。...... 華羅庚定理原意是:除環的半自同構,除了自同構和反自同構以外,再也沒...
基斯勒-謝拉赫同構定理(Keisler-Shelah iso-morphism theorem)初等等價模型的代數判定定理.設ou},c}是語言獷的模型,則au三劣的充分必要條件是:存在一非空足碼集...
在群論中,凱萊定理,以阿瑟·凱萊命名,聲稱所有群G 同構於在G上的對稱群的子群。這可以被理解為G在G的元素上的群作用的一個例子。...
阿廷-施賴埃爾定理(Artin-Schreier theorem )序域實閉包的序同構性定理.對於任何一個序域(F,>),它所有的實閉包都是互為序同構的,換言之,除序同構不計外,序...
德拉姆定理是德拉姆同態為同構的定理。德拉姆定理還有另一個等價形式:設M為緊微分流形,則對每個整數p,p維德拉姆上同調群與p維可微奇異同調群的對偶同構。...
“華氏定理”是我國著名數學家華羅庚的研究成果。 華氏定理為:體的半自同構必是自同構自同體或反同體。 數學家華羅庚關於完整三角和的研究成果被國際數學界稱為“...
這個定理建立了希爾伯特空間與它的對偶空間的一個重要聯繫:如果底域是實數,兩者是等距同構;如果域是複數,兩者是等距反同構。在泛函分析中有多個有名的定理冠以里斯...
塞爾對偶定理(Serre duality theorem)是複流形上全純向量叢與對偶向量叢的上同調群同構的定理。...
在數學中,胡列維茨定理是代數拓撲的一個基本結論。定理通過“胡列維茨同態”將同倫論與同調論聯繫起來,是龐加萊此前部分結論的推廣。胡列維茨定理以維托爾德·...
嘉當-迪奧多內定理是數學中以埃利·嘉當與讓·迪厄多內命名的定理,此定理所涉及的是對稱雙線性形式的自同構群。...
柯里-霍華德同構是指電腦程式和數學證明之間的緊密聯繫;即函式的類型相當於命題,函式的實現相當於證明。這種對應也叫做柯里-霍華德對應、公式為類型對應或命題為...
在數學中,斯通氏布爾代數表示定理聲稱所有布爾代數都同構於集合域。這個定理是深入理解在二十世紀上半葉所拓展的布爾代數的基礎。這個定理首先由斯通氏(1936年)證明,...
良序定理(Well-ordering Theorem)聲稱所有集合都可以被良序排序。在ZF公理集合論系統中,它與選擇公理和佐恩引理是等價的。良序定理是選擇公理的等價形式之一。其內容...
在數學中, 黎曼映射定理是複分析最深刻的定理之一,也是複變函數幾何理論最基本、最重要的定理,此定理分類了C的單連通開子集。...
在數學中,斯通氏布爾代數表示定理聲稱所有布爾代數都同構於集合域。這個定理是深入理解在二十世紀上半葉所拓展的布爾代數的基礎。這個定理首先由斯通氏(1936年)證明,...
定理概述施瓦茨引理有一個版本是在單位圓盤的解析自同構(即單位圓盤 的全純雙射)下不變。這稱為施瓦茨—皮克定理。 設<math>f:\Delta\to\Delta</math> 全純...
[1] 康托定理2:一個集合本身的勢嚴格小於其冪集的勢。康托定理3:如果一個全序集是可列集,且是稠密的,無最大和最小值的,則它一定和有理數集序同構。康托...
辛格定理(theorem of Singer)是關於一類循環差集的存在性定理,該定理由辛格(J.Singer)於1938年利用有限射影幾何證得。...