有限生成投射模是代數K理論中的概念。
基本介紹
- 中文名:有限生成投射模
- 外文名:finitely generated projective module
- 所屬學科:代數K理論
有限生成投射模是代數K理論中的概念。
有限生成投射模是代數K理論中的概念。定義若模同時為有限生成模與投射模,則為有限生成投射模。性質麼環R上有限生成投射模同構類組成么半群Proj R,其中加法為直和⊕,零模為單位元。Proj R可被視為R上一般線性群GL(R...
,xₑ]上的每個有限生成的投射模是否是自由模?奎倫(Quillen,D.G.)和蘇斯林(Суслин,М.Я.)幾乎同時於1976年用不同方法給以解決(他們得出更強的結果,即只要限制F為主理想整環即可),另外,交換諾特局部環上每個有限生成...
《交換環上有限生成投射模》是2012年1月1日科學出版社出版的圖書,作者是陳煥良。編輯推薦 《交換環上有限生成投射模》所闡述的交換環上的K0群理論,對交換環上的有限生成投射模給出了很好的刻畫。該書論述中不僅保持了模論外部刻畫的...
投射生成子 投射生成子(progenerator)模範疇的特殊的生成子.若左A模P是有限生成投射模,並且是A模範疇A-Mod的生成子,則稼P是投射生成子.例如,‑A就是一個投射生成子.投射生成子在模範疇的等價中起著重要作用.
Gorenstein投射子範疇上的Auslander-Reiten問題起源於1975年著名的代數學家 M. Auslander 提出的Auslander-Reiten問題。具體的說來,對於一個Artinian代數A和有限生成A–模M,如果M滿足:M與A的直和是自正交的,那么M是投射的(簡稱GNC)...
帶積範疇(category with product)是環上模範疇、有限生成投射模範疇等重要範疇關於直和及(交換環的情況下)張量積性質的抽象與概括。設C為一個範疇,它有零對象0(即Hom(0,A)與Hom(A,0)都只有一個元素,A∈C)。若⊥:C×C→C...
環的格羅滕迪克群(Grothendieck group of a ring)是1993年公布的數學名詞,出自《數學名詞》第一版。定義 麼環R的格羅滕迪克群K₀(R)為R上有限生成投射模同構類的交換么半群ProjR的格羅滕迪克群。冪等矩陣定義 則R上一般線性群GL(R...
主不可分解模(principal indecomposable module)是一類最重要的不可分解模,即正則模的不可分解的非零直和項。若諾特環A滿足惟一分解條件,則不可分解A模V同構於主不可分解模,若且唯若V是有限生成的投射模。基本介紹 主不可分解模...
性質2無撓模的子模仍是無撓模。定理3 設P是一個有限生成的投射模,則P是自反模。定理4 (第三對偶性質)序列 是正合的(即存在一個 -同態 使 )。這裡 是標準同態。由定理4 立即得到下列定理:定理5 任意模的對偶模是個...
2.主理想整環R上任何有限生成投射模都同構於Rⁿ,其中n為模的秩,故 。3.設I是主理想整環R的非零真理想,則 I 是素理想 I 是極大理想。4.R中元r為不可約元,若且唯若(r)為極大理想。5.R中元為素元,若且唯若其為不...
我們引入了局部有限BIB-秩和常數BIB-秩的概念,利用BIB-秩,我們給出了半局部環(不必交換)上有限生成投射模是自由的充分必要條件,極大地推廣了Serre在局部環的相應經典結果;同時,我們還研究了K0群的行列式映射,給出了它們的新刻畫;...
,xₙ]上的每個有限生成的投射模是否是自由模?奎倫(Quillen,D.G.)和蘇斯林(Суслин,М.Я.)幾乎同時於1976年用不同方法給以解決(他們得出更強的結果,即只要限制F為主理想整環即可)。另外,交換諾特局部環上每個有限...
但Z是戴德金環(即遺傳環)而非主理想環.若R是左遺傳環,則任意自由左R模的子模同構於R的左理想的直和.因此,若R是左主理想環,則任意自由左R模的子模是自由的.環R稱為左半遺傳環,若R的任意有限生成左理想都是投射模.半遺傳...
第五章 模範疇之間的函子 §16. Hom函子和正合性——投射性和內射性 練習16 §17. 投射模和生成子 練習17 §18. 內射模和上生成子 練習18 §19. 張量函子和平坦模 練習19 §20. 自然變換 練習2 第六章 模範疇的等價和...
(1)給出了Gorenstein整體維數1的整環的完整刻畫;(2)解決了Gorenstein半遺傳環與投射模的有限生成子模的等價性關係問題;(3)證明了關於w-Noether環的Cartan-Eilenberg-Bass定理;(4)證明了w-模化理論下的關於w-滿同態和w-單...
-模 叫作平坦的,若對每個單同態 映射 也是單同態。相關性質定理 推論1平坦模的同構像也是平坦的。定理2令 (或 ),則有:是平坦的 是平坦的。定理3每個投射模都是平坦的。引理4設有 -模 和 ,(1) 若 ,則存在有限生成子模...