Let Gand H be two partially ordered groups,G■H be the O-tensor product of G and H,F(G),F(H) and F(G■H)be the free l-groups over G、H and G■H respectively.
在假设 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)。