论文部分内容阅读
可数无限秩的自由格序群是同构于有理数集上的格序置换群A(Q)的2-可迁子群[1,2],THEOREM6.7).McCleary证明了有限秩的自由格序群有一个Q上的2-可迁表示.McCleary给出自由格序群Fη(1＜η＜N0)在Q上有一个o-2-可迁作用[4].这一想法被推广到格序群的自由积.若G是一个L-群,F是基数至少是| F|的无限生成子上的自由群,则自由积G∪H在一个基数|F|的秩域上有一个o-2-可迁表示.Glass和Gurevich则证明了两个可数L-群在Q上有一个o-2-可迁表示[6].证明