自由函子与O-张量积函子的关系

在假设 G、H 是两个半序群,G■H 是 G 与 H 的 O-张量积,F(G),F(H),F(G■H)分别是半序群 G,H 和 G■H 上的自由 l-群的情形下,本文证明了存在 l-同构 F(G■H)=F(G)■F(H).

半序模的 O-张量积与自由 f-模

在假定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.