τ-群范畴的正向极限函子与张量积函子的一个关系

本文证明了下面结论：设｛Ｇａ，ψ＾ｉｊ｝和｛Ｈβ，ψ＾ｋｌ｝是ι－群的正向系统，从而｛Ｇａ×１Ｈβ，ψ＾Ｉｊ×ψ＾Ｋ｝是ι－群的正向系统，则：ιｉｍ→（Ｇａ×ιＨβ）≌＝ιｉｍ→Ｇａ×ιιｉｍ→Ｈβ。