摘要
在假定R是全序Ore环,M_1、M_2是R 上的半序模,M_1■M_2 是模M_1、M_2的张量积,M_1■M_2是平凡序半序模M_1与半序模M_2的O-张量积,F_(M_1■M_2)是平凡序半序模M_1■M_2上的自由f-模的情形下,本文证明了F_(M_1■M_2)=M_1■_0M_2.
Let R be a totally ordered Ore domain,M_1 and M_2 be partially ordered modules over R,M_1(?)M_2 be the ordi-nary tensor product of modules,M_1(?)_0M_2 be the O-tensor product of trivially ordered partially ordered module M_1and partially ordered module M_2,F_(M_1(?)M_2) be the free f-module over M_1(?)M_2,this paper proves F_(M_1(?)M_2)=M_1(?)_0M_2.
出处
《四川师范大学学报（自然科学版）》
CAS
CSCD
1993年第1期20-22,共3页
Journal of Sichuan Normal University（Natural Science）
关键词
半序模
O-张量积
自由
f-模
partially ordered module
O-tensor product
free f-module
