自由分解(free resolution)是一種特殊的投射分解。投射分解是一種特殊的左復形。它是內射分解的對偶概念。設M是A模，M上的零調投射左復形稱為M的投射分解。
基本介紹
- 中文名：自由分解
- 外文名：free resolution
- 領域：數學
- 性質：特殊的投射分解
- 對偶概念：內射分解
- 對象：模
- 所屬學科：同調代數
概念,投射分解,正合序列,模,自由模,
概念
自由分解(free resolution)是一種特殊的投射分解。設M是A模，若有正合序列：
自由分解
其中每個Fn都是自由模，由序列(1)決定的投射分解稱為模M的自由分解。每個模M都有自由分解。若在M的自由分解(*)中，每一個Fn都是有限生成自由模，且分解(*)長度有限(只有有限個Fn)，則(*)又稱為M的有限自由分解(FFR)。有有限自由分解的M必為有限生成模。
投射分解
投射分解是一種特殊的左復形。它是內射分解的對偶概念。設M是A模，M上的零調投射左復形稱為M的投射分解，它是一個正合列：
投射分解
其中每個Pn都是投射模。每個模M都有投射分解，並且，除投射等價外是惟一確定的。
正合序列
正合序列這個同調代數的基本概念為線性代數提供了一種方便的記號。設A為環。 A模的正合序列是由一個A模族(En)n∈z，與對任一有理整數n，從En到En+1的一個線性映射 fn給定的序列，其中 fn的像等於fn+1的核：
Im(fn)=Ker(fn+1).
人們也稱圖：
正合序列
為一正合序列。
記縮成其中性元素的A模為0。如果En=0，則寫出fn-1與fn是無用的，因為只有唯一一個從En-1到0中或從0到En-1中的線性映射。稱給定的三個A模E，F和G，以及滿足：
Im (f)=Ker(g)
的從E到F中的線性映射f及從F到G中的線性映射g為短正合序列。
例如，當環A為交換環時，函子E↦E⨂F及F↦E⊗F都是左正合的，但一般說來，它們不是右正合的。同樣，函子F↦(E， F)是共變的，且是左正合的，至於函子E↦(E， F)則是反變的， 右正合的。當A為交換體時，這些函子都是正合的。
模
一個重要的代數系統。它是一個帶運算元區A的交換(加)群M。給定集合A與交換群M，若定義了a∈A與x∈M的乘積ax∈M，並且這個積滿足條件：
1.a(x+y)=ax+ay (a∈A，x，y∈M)，
則稱A為M的運算元區，稱M為帶運算元區A的模，又稱為A上的模或A模。這時，由對應(a，x)→ax確定的映射A×M→M，稱為A作用到M上的運算。任意a∈A可誘導出M的自同態aM：x→ax，而考慮交換群M能否成為A模就是看能否給出映射：
μ： A→End(M)， a→aM.
特別地，考慮A是結合環，若滿足上述條件1的A模還滿足：
2.(a+b)x=ax+bx;
3.(ab)x=a(bx);
即映射μ：A→End(M)為環同態，則稱M為左A模或左環模。由於A到M上的運算是寫在左側，所以M就稱為左A模，記為AM。類似地，有右A模M，記為MA。若A有單位元1，且又滿足條件：
