基本介紹
- 中文名:對偶模
- 外文名:dual module
- 適用範圍:數理科學
簡介,模,
簡介
如果f:M→R 是一個模同態,我們可以在集合上定義模運算:
則成為一個右R模,記作M*,稱為M的對偶模。
模
【module 】
模的概念是域上向量空間概念的一種推廣。
設R是一個環,一般取結合環,M是一個加法阿貝尓群。如果映射R×M→M,(a,m)⟼am滿足以下條件:
(1)a(m1+m2)=am1+am2;
(2)(a1+a2)m=a1m+a2m;
(3)(a1a2)m=a1(a2m),則稱M為一個左R模(left R-module),該映射稱為模運算(module operation)。特別地,如果環R有單位元1,並且要求1m=m,那么稱M為酉模(unitary module)。
類似地可以利用映射:M×R→M,(m,a)⟼ma定義右R模(right R-module)。一個右R模可以看作左模,其中是與R反同構的環。如果R是交換環,則左右R模沒有區別,統稱為R模。