Abstract: 本文利用非交换格序群的一个例,证明了交换格序群一些命题中交换性条件的必要性。例令G是一个群有三个无穷阶、线性无关的生成元a,b,c;并且定义关系a+b=b+a,a+c—c+b,b+c—c+a;G+包含ma+m＇b+nc当且仅当n>0或n—0而m≥O,m＇≥0。